aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.java
Commit message (Collapse)AuthorAge
* This branch is ready to be merged into masterVampire-NewLibravatar ArenBabikian2020-06-14
|
* VAMPIRE: post-submission pushLibravatar ArenBabikian2020-06-07
|
* VAMPIRE: complete testing setupLibravatar ArenBabikian2020-06-07
|
* implement http requests for the TPTP serverLibravatar ArenBabikian2020-06-07
|
* VAMPIRE: implement Vampire Model Interpreter, 2/3 doneLibravatar ArenBabikian2020-06-07
|
* VAMPIRE: adapt grammar to Vampire solution + get model from textLibravatar ArenBabikian2020-06-07
|
* VAMPIRE: fixed MANY bugs in containment and scope. #40 is good for nowLibravatar ArenBabikian2020-06-07
|
* VAMPIRE : initial model handling almost done. only typeScope remains #40Libravatar ArenBabikian2020-06-07
|
* Implement containment circularity avoidance #20Libravatar ArenBabikian2020-06-07
|
* test pushLibravatar ArenBabikian2020-06-07
|
* Add small detail to #36Libravatar ArenBabikian2020-06-07
|
* Facilitate #31, close #36Libravatar ArenBabikian2020-06-07
|
* Closes #34, adds code to test cases where minScope>maxScope.Libravatar ArenBabikian2020-06-07
|
* Add to containment, add notObject case.Libravatar ArenBabikian2020-06-07
|
* Implement Containment mapping (partially) and revisit enum mappingLibravatar ArenBabikian2020-06-07
|
* Implement type scope for specific typesLibravatar ArenBabikian2020-06-07
|
* Improve TypeScope handlingLibravatar ArenBabikian2020-06-07
|
* Implement Enum handling and study hierarchy handlingLibravatar ArenBabikian2020-06-07
|
* Implement type scope handlingLibravatar ArenBabikian2020-06-07
|
* Begin handing of scope and fix type definitions.Libravatar ArenBabikian2020-06-07
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-07 04:54:35 +0000