moved lpvs to proofs/qfo

94e32b4b · hondet · 9c7a1f58 · 94e32b4b · 94e32b4b · 94e32b4b
Commit 94e32b4b authored 3 years ago by hondet
--- a/bin/dune
+++ b/bin/dune
--- a/bin/qfo.ml
+++ b/bin/qfo.ml
--- a/dune-project
+++ b/dune-project
--- a/lib/dune
+++ b/lib/dune
--- a/lib/encodings.ml
+++ b/lib/encodings.ml
--- a/lib/lpCert.ml
+++ b/lib/lpCert.ml
--- a/lib/mappings.ml
+++ b/lib/mappings.ml
--- a/lpvs.opam
+++ b/lpvs.opam
--- a/test/dune
+++ b/test/dune
--- a/test/encoding/connectives.lp
+++ b/test/encoding/connectives.lp
--- a/test/encoding/cpl.lp
+++ b/test/encoding/cpl.lp
--- a/test/encoding/depconnectives.lp
+++ b/test/encoding/depconnectives.lp
--- a/test/encoding/lhol.lp
+++ b/test/encoding/lhol.lp
--- a/test/encoding/pcert.lp
+++ b/test/encoding/pcert.lp
--- a/test/false.lp
+++ b/test/false.lp
--- a/test/lambdapi.pkg
+++ b/test/lambdapi.pkg
--- a/test/lpvs.ml
+++ b/test/lpvs.ml
--- a/test/qfo.json
+++ b/test/qfo.json
--- a/test/qfo.t
+++ b/test/qfo.t