trying to split solvers to simplify embedding new solvers.

gmalecha · Mar 1, 2016 · eedced0 · eedced0
1 parent 499cd8b
commit eedced0
Show file tree

Hide file tree

Showing 5 changed files with 530 additions and 389 deletions.
diff --git a/.gitignore b/.gitignore
@@ -9,4 +9,7 @@
 *.ml4.d
 *.o
 Makefile.coq
-*.aux
+*.aux
+*.ml.d
+*.mli.d
+.merlin
diff --git a/_CoqProject b/_CoqProject
@@ -3,5 +3,8 @@
 
 -I $(COQLIB)/user-contrib/PluginUtils/
 
-src/smtTactic.ml4
+# src/smtTactic.ml4
+src/solver.mli
+src/solver.ml
+
 theories/Tactic.v
-Original file line number
+Diff line change
@@ Expand Up / @@ -9,4 +9,7 @@ @@
     *.ml4.d
     *.o
     Makefile.coq
-    *.aux
+    *.aux
+    *.ml.d
+    *.mli.d
+    .merlin