diff options
author | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-07-20 18:05:22 +0200 |
---|---|---|
committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-07-20 18:05:22 +0200 |
commit | df1a51daed17539599db551073c9013326cd3068 (patch) | |
tree | 70ab539fde3b14d643994215fb4e22797a41bff4 /.gitignore | |
parent | 45b44e86a506aef03ff23f601abc13cb353fd01a (diff) | |
download | smtcoq-df1a51daed17539599db551073c9013326cd3068.tar.gz smtcoq-df1a51daed17539599db551073c9013326cd3068.zip |
now compiles with standard coq (including 8.6.1 from opam)
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 87 |
1 files changed, 87 insertions, 0 deletions
@@ -255,3 +255,90 @@ src/zchaff/zchaffParser.cmx src/zchaff/zchaffParser.ml.d src/zchaff/zchaffParser.mli.d src/zchaff/zchaffParser.o +src/.Misc.aux +src/.SMTCoq.aux +src/.SMT_terms.aux +src/.State.aux +src/.Trace.aux +src/.lia.cache +src/cnf/.Cnf.aux +src/euf/.Euf.aux +src/g_smtcoq.cmi +src/g_smtcoq.cmo +src/g_smtcoq.cmx +src/g_smtcoq.ml4 +src/g_smtcoq.ml4.d +src/g_smtcoq.o +src/lia/.Lia.aux +src/lia/lia.cmo +src/smtcoq_plugin.mlpack +src/smtcoq_plugin.mlpack.d +src/smtlib2/smtlib2_ast.cmo +src/smtlib2/smtlib2_genConstr.cmo +src/smtlib2/smtlib2_lex.cmo +src/smtlib2/smtlib2_parse.cmo +src/smtlib2/smtlib2_parse.mli +src/smtlib2/smtlib2_util.cmo +src/spl/.Arithmetic.aux +src/spl/.Assumptions.aux +src/spl/.Operators.aux +src/spl/.Syntactic.aux +src/trace/coqTerms.cmo +src/trace/satAtom.cmo +src/trace/smtAtom.cmo +src/trace/smtCertif.cmo +src/trace/smtCnf.cmo +src/trace/smtCommands.cmo +src/trace/smtForm.cmo +src/trace/smtMisc.cmo +src/trace/smtTrace.cmo +src/verit/verit.cmo +src/verit/veritLexer.cmo +src/verit/veritParser.cmo +src/verit/veritParser.mli +src/verit/veritSyntax.cmo +src/versions/standard/.Structures.aux +src/versions/standard/Array/.PArray.aux +src/versions/standard/Array/PArray.glob +src/versions/standard/Array/PArray.v +src/versions/standard/Array/PArray.v.d +src/versions/standard/Array/PArray.vo +src/versions/standard/Int63/.Int63.aux +src/versions/standard/Int63/.Int63Axioms.aux +src/versions/standard/Int63/.Int63Native.aux +src/versions/standard/Int63/.Int63Op.aux +src/versions/standard/Int63/.Int63Properties.aux +src/versions/standard/Int63/Int63.glob +src/versions/standard/Int63/Int63.v +src/versions/standard/Int63/Int63.v.d +src/versions/standard/Int63/Int63.vo +src/versions/standard/Int63/Int63Axioms.glob +src/versions/standard/Int63/Int63Axioms.v +src/versions/standard/Int63/Int63Axioms.v.d +src/versions/standard/Int63/Int63Axioms.vo +src/versions/standard/Int63/Int63Native.glob +src/versions/standard/Int63/Int63Native.v +src/versions/standard/Int63/Int63Native.v.d +src/versions/standard/Int63/Int63Native.vo +src/versions/standard/Int63/Int63Op.glob +src/versions/standard/Int63/Int63Op.v +src/versions/standard/Int63/Int63Op.v.d +src/versions/standard/Int63/Int63Op.vo +src/versions/standard/Int63/Int63Properties.glob +src/versions/standard/Int63/Int63Properties.v +src/versions/standard/Int63/Int63Properties.v.d +src/versions/standard/Int63/Int63Properties.vo +src/versions/standard/Structures.glob +src/versions/standard/Structures.v +src/versions/standard/Structures.v.d +src/versions/standard/Structures.vo +src/versions/standard/structures.cmi +src/versions/standard/structures.cmo +src/versions/standard/structures.cmx +src/versions/standard/structures.ml.d +src/versions/standard/structures.mli.d +src/versions/standard/structures.o +src/zchaff/cnfParser.cmo +src/zchaff/satParser.cmo +src/zchaff/zchaff.cmo +src/zchaff/zchaffParser.cmo |