diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-02-01 16:03:30 -0500 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:06:28 -0400 |
| commit | 57e614aabedc176ba9965d0ca5e6daa23c5f4758 (patch) | |
| tree | 16806454dff463419af99b14f6abfab3d1fa5291 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen | |
| parent | FAM MM transformation works (diff) | |
| download | VIATRA-Generator-57e614aabedc176ba9965d0ca5e6daa23c5f4758.tar.gz VIATRA-Generator-57e614aabedc176ba9965d0ca5e6daa23c5f4758.tar.zst VIATRA-Generator-57e614aabedc176ba9965d0ca5e6daa23c5f4758.zip | |
Fix FAM Test. Begin Grammar Fix.
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen')
| -rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore index 190dbd80..f357d2af 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore | |||
| @@ -11,3 +11,16 @@ | |||
| 11 | /.VLSUnaryNegation.java._trace | 11 | /.VLSUnaryNegation.java._trace |
| 12 | /.VLSUniversalQuantifier.java._trace | 12 | /.VLSUniversalQuantifier.java._trace |
| 13 | /.VampireQueries.java._trace | 13 | /.VampireQueries.java._trace |
| 14 | /VLSAnd.java | ||
| 15 | /VLSAnnotation.java | ||
| 16 | /VLSComment.java | ||
| 17 | /VLSEquivalent.java | ||
| 18 | /VLSExistentialQuantifier.java | ||
| 19 | /VLSFofFormula.java | ||
| 20 | /VLSFunction.java | ||
| 21 | /VLSFunctionFof.java | ||
| 22 | /VLSInequality.java | ||
| 23 | /VLSOr.java | ||
| 24 | /VLSUnaryNegation.java | ||
| 25 | /VLSUniversalQuantifier.java | ||
| 26 | /VampireQueries.java | ||