reorganize docs

Kraks · Dec 15, 2021 · 978e975 · 978e975
1 parent e6962e0
commit 978e975
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 5 deletions.
diff --git a/dev-clean/src/main/scala/sai/ccbse/Engine.scala b/dev-clean/src/main/scala/sai/ccbse/Engine.scala
@@ -25,6 +25,8 @@ import scala.collection.immutable.{List => StaticList, Map => StaticMap}
 import scala.collection.mutable.{Map => StaticMutMap, Queue => StaticQueue, Set => StaticSet}
 import sai.lmsx.smt.SMTBool
 
+// Note (ST): possible optimization - track path information to branch level
+
 @virtualize
 trait CCBSEEngine extends SAIOps with StagedNondet with SymExeDefs {
   object CompileTimeRuntime {

diff --git a/dev-clean/src/main/scala/sai/ccbse/possible_optimization b/dev-clean/src/main/scala/sai/ccbse/possible_optimization
diff --git a/...c/main/scala/sai/lang/LLVMInstructions.md → doc/LLVMInstructions.md b/...c/main/scala/sai/lang/LLVMInstructions.md → doc/LLVMInstructions.md
@@ -1,7 +1,11 @@
-##### Note: bold instructions appear in `coreutils`
+LLVM instructions supported by `llsc/engines/Engine.scala`.
 
->count: 
->>umimplemented: 25\
+THIS IS OUTDATED, NEED UPDATE.
+
+** Note: bold instructions appear in `coreutils` **
+
+>count:
+>>unimplemented: 25\
 >>implemented: 17
 
 >types missing: float, struct
@@ -83,4 +87,4 @@
     7. va_arg Instruction
     8. landingpad Instruction
     9. catchpad Instruction
-    10. cleanuppad Instruction
+    10. cleanuppad Instruction