remove OCaml files after migration to verdi-runtime library, move ext…

…raction files, adjust configure for OPAM packaging
uwplse · Jan 13, 2017 · b47309f · b47309f
1 parent b206e6b
commit b47309f
Show file tree

Hide file tree

Showing 14 changed files with 37 additions and 965 deletions.
diff --git a/configure b/configure
@@ -4,10 +4,10 @@
 
 ## Configuration options for coqproject.sh
 DEPS=(StructTact InfSeqExt)
-DIRS=(core lib systems extraction/coq)
+DIRS=(core lib systems extraction)
 CANARIES=("mathcomp.ssreflect.ssreflect" "Verdi requires mathcomp to be installed" "StructTact.StructTactics" "Build StructTact before building Verdi" "InfSeqExt.infseq" "Build InfSeqExt before building Verdi")
 NAMESPACE_core="Verdi"
 NAMESPACE_lib="Verdi"
 NAMESPACE_systems="Verdi"
-NAMESPACE_extraction_coq="Verdi"
+NAMESPACE_extraction="Verdi"
 source script/coqproject.sh
diff --git a/descr b/descr
@@ -0,0 +1 @@
+Verdi is a framework for verification of implementations of distributed systems in Coq.
diff --git a/extraction/coq/ExtrOcamlBasicExt.v → extraction/ExtrOcamlBasicExt.v b/extraction/coq/ExtrOcamlBasicExt.v → extraction/ExtrOcamlBasicExt.v
diff --git a/extraction/coq/ExtrOcamlBool.v → extraction/ExtrOcamlBool.v b/extraction/coq/ExtrOcamlBool.v → extraction/ExtrOcamlBool.v
diff --git a/extraction/coq/ExtrOcamlFin.v → extraction/ExtrOcamlFin.v b/extraction/coq/ExtrOcamlFin.v → extraction/ExtrOcamlFin.v
diff --git a/extraction/coq/ExtrOcamlList.v → extraction/ExtrOcamlList.v b/extraction/coq/ExtrOcamlList.v → extraction/ExtrOcamlList.v
diff --git a/extraction/coq/ExtrOcamlNatIntExt.v → extraction/ExtrOcamlNatIntExt.v b/extraction/coq/ExtrOcamlNatIntExt.v → extraction/ExtrOcamlNatIntExt.v
diff --git a/extraction/ocaml/Daemon.ml b/extraction/ocaml/Daemon.ml
diff --git a/extraction/ocaml/Opts.ml b/extraction/ocaml/Opts.ml