diff options
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 |