From badf58ffdd9a8c85d8d8cfc51fff1398a4932a30 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 21 Nov 2016 15:02:35 +0100 Subject: [PATCH] update doc by merging everything into one dir --- Makefile | 2 +- src/msat.odocl | 17 +++++++++++++++++ src/msat_sat.odocl | 5 ----- src/msat_smt.odocl | 5 ----- 4 files changed, 18 insertions(+), 11 deletions(-) delete mode 100644 src/msat_sat.odocl delete mode 100644 src/msat_smt.odocl diff --git a/Makefile b/Makefile index b15b541b..6fbc8a0d 100644 --- a/Makefile +++ b/Makefile @@ -3,7 +3,7 @@ LOG=build.log COMP=ocamlbuild -log $(LOG) -use-ocamlfind FLAGS= -DOC=src/msat.docdir/index.html src/msat_sat.docdir/index.html src/msat_smt.docdir/index.html +DOC=src/msat.docdir/index.html BIN=main.native TEST_BIN=tests/test_api.native diff --git a/src/msat.odocl b/src/msat.odocl index b4fcb575..8a2003a7 100644 --- a/src/msat.odocl +++ b/src/msat.odocl @@ -28,3 +28,20 @@ backend/Backend_intf # Auxiliary util/Hashcons + + +# SAT solver frontend +sat/Expr_sat +sat/Sat +sat/Type_sat + +# SMT solver frontend +smt/Expr_smt +smt/Smt +smt/Type_smt +smt/Unionfind + +# MCsat +mcsat/Eclosure +mcsat/Mcsat +mcsat/Plugin_mcsat diff --git a/src/msat_sat.odocl b/src/msat_sat.odocl deleted file mode 100644 index 89dc2675..00000000 --- a/src/msat_sat.odocl +++ /dev/null @@ -1,5 +0,0 @@ - -sat/Expr_sat -sat/Sat -sat/Type_sat - diff --git a/src/msat_smt.odocl b/src/msat_smt.odocl deleted file mode 100644 index 09393931..00000000 --- a/src/msat_smt.odocl +++ /dev/null @@ -1,5 +0,0 @@ - -smt/Expr_smt -smt/Smt -smt/Type_smt -smt/Unionfind