aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/generator/.VampireLanguageGenerator.xtendbin
Commit message (Expand)AuthorAge
* Closes #34, adds code to test cases where minScope>maxScope.Libravatar ArenBabikian2020-06-07
* Add to containment, add notObject case.Libravatar ArenBabikian2020-06-07
* Add gitignore, commit everythingLibravatar ArenBabikian2020-06-07
* Implement type scope for specific typesLibravatar ArenBabikian2020-06-07
* Improve TypeScope handlingLibravatar ArenBabikian2020-06-07
* Restructure Vampire Reasoner projectLibravatar ArenBabikian2020-06-07
* Implement type scope handlingLibravatar ArenBabikian2020-06-07
* Begin handing of scope and fix type definitions.Libravatar ArenBabikian2020-06-07
* Fix FAM Test. Begin Grammar Fix.Libravatar ArenBabikian2020-06-07
* Initial workspace setupLibravatar ArenBabikian2020-06-07
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 07:15:42 +0000