diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2019-07-15 18:52:18 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2019-07-15 18:52:18 +0200 |
| commit | 9b80b60bbf8bc7ec0ce8985b66399a179126882d (patch) | |
| tree | 5e5fcf64b916317425226edf2456dfed5ffd8c5e /src/versions/standard/_CoqProject | |
| parent | c2f860da64b15ef094d2905330e74658934f9cc2 (diff) | |
| download | smtcoq-9b80b60bbf8bc7ec0ce8985b66399a179126882d.tar.gz smtcoq-9b80b60bbf8bc7ec0ce8985b66399a179126882d.zip | |
3rdparty
Diffstat (limited to 'src/versions/standard/_CoqProject')
| -rw-r--r-- | src/versions/standard/_CoqProject | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/src/versions/standard/_CoqProject b/src/versions/standard/_CoqProject index f283e00..8b88cb5 100644 --- a/src/versions/standard/_CoqProject +++ b/src/versions/standard/_CoqProject @@ -29,6 +29,7 @@ -I versions/standard -I versions/standard/Int63 -I versions/standard/Array +-I ../3rdparty/alt-ergo versions/standard/Int63/Int63.v versions/standard/Int63/Int63Native.v @@ -74,16 +75,17 @@ trace/smtMisc.mli trace/smtTrace.ml trace/smtTrace.mli -smtlib2/smtlib2_parse.ml -smtlib2/smtlib2_parse.mli -smtlib2/smtlib2_lex.ml -smtlib2/smtlib2_lex.mli -smtlib2/smtlib2_ast.ml -smtlib2/smtlib2_ast.mli +../3rdparty/alt-ergo/smtlib2_parse.ml +../3rdparty/alt-ergo/smtlib2_parse.mli +../3rdparty/alt-ergo/smtlib2_lex.ml +../3rdparty/alt-ergo/smtlib2_lex.mli +../3rdparty/alt-ergo/smtlib2_ast.ml +../3rdparty/alt-ergo/smtlib2_ast.mli +../3rdparty/alt-ergo/smtlib2_util.ml +../3rdparty/alt-ergo/smtlib2_util.mli + smtlib2/smtlib2_genConstr.ml smtlib2/smtlib2_genConstr.mli -smtlib2/smtlib2_util.ml -smtlib2/smtlib2_util.mli smtlib2/sExpr.ml smtlib2/sExpr.mli smtlib2/smtlib2_solver.ml |