diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-14 03:45:46 -0400 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-14 03:45:46 -0400 |
| commit | 56df1f808fa2289c3e97d45d84bce8acc8937280 (patch) | |
| tree | 8956a784e9bc76f5f05411e891da86776c10629d /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.gitignore | |
| parent | Implement type scope for specific types (diff) | |
| download | VIATRA-Generator-56df1f808fa2289c3e97d45d84bce8acc8937280.tar.gz VIATRA-Generator-56df1f808fa2289c3e97d45d84bce8acc8937280.tar.zst VIATRA-Generator-56df1f808fa2289c3e97d45d84bce8acc8937280.zip | |
Implement Containment mapping (partially) and revisit enum mapping
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.gitignore')
| -rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.gitignore index ec8107e8..8a9aa4bb 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.gitignore +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.gitignore | |||
| @@ -38,3 +38,5 @@ | |||
| 38 | /.VampireSolutionModel.java._trace | 38 | /.VampireSolutionModel.java._trace |
| 39 | /.VampireCallerWithTimeout.java._trace | 39 | /.VampireCallerWithTimeout.java._trace |
| 40 | /.Logic2VampireLanguageMapper_ScopeMapper.java._trace | 40 | /.Logic2VampireLanguageMapper_ScopeMapper.java._trace |
| 41 | /.Logic2VampireLanguageMapper_Containment.java._trace | ||
| 42 | /.Logic2VampireLanguageMapper_ContainmentMapper.java._trace | ||