dump of labs

1 files changed, 10 insertions, 0 deletions

diff --git a/README b/README
new file mode 100644
index 0000000..9708900
--- /dev/null
+++ b/README
@@ -0,0 +1,10 @@
+Labs I've written for classes
+
+    - sat-chaff: implement a basic DPLL SAT solver, profile it, then optimize
+      it with the watched literals trick from Chaff
+
+    - smt-symex: implement a bitblasting QF_ABV SMT solver and use it to build
+      a symbolic execution engine (builds on sat-chaff)
+
+    - static-analysis: implement a mini static analysis pass that finds some
+      bugs in the Linux kernel