aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
* VAMPIRE: fix model generationLibravatar ArenBabikian2020-06-07
* VAMPIRE: Implement wf constraint handlingLibravatar ArenBabikian2020-06-07
* VAMPIRE: complete first version of VampireModelInterpretationLibravatar ArenBabikian2020-06-07
* VAMPIRE: implement Vampire Model Interpreter, 2/3 doneLibravatar ArenBabikian2020-06-07
* VAMPIRE: setup structure of model interpretationLibravatar ArenBabikian2020-06-07
* VAMPIRE: adapt grammar to Vampire solution + get model from textLibravatar ArenBabikian2020-06-07
* VAMPIRE: integrate local Vampire executeable #32Libravatar ArenBabikian2020-06-07
* Pre-realisticBranchCreation CommitLibravatar ArenBabikian2020-06-07
* Pre-realisticBranchCreation CommitLibravatar 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
* VAMPIRE: add to #40. I am tiredLibravatar ArenBabikian2020-06-07
* VAMPIRE: close #22, improve test structure for #39, .vql file troubleLibravatar ArenBabikian2020-06-07
* VAMPIRE: #39 Reorganise tests, working yakindu test, need debuggingLibravatar ArenBabikian2020-06-07
* Implement containment circularity avoidance #20Libravatar ArenBabikian2020-06-07
* test pushLibravatar ArenBabikian2020-06-07
* Revert previous commit. Everyone is happy.Libravatar 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
* Add gitignore, commit everythingLibravatar 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
* Fix Enum handling for Paradox IntegrationLibravatar ArenBabikian2020-06-07
* Implement Enum handling and study hierarchy handlingLibravatar ArenBabikian2020-06-07
* Restructure Vampire Reasoner projectLibravatar ArenBabikian2020-06-07
* Continue improving code style (need sleep)Libravatar ArenBabikian2020-06-07
* Partially improve coding style (leaving for soccer)Libravatar ArenBabikian2020-06-07
* Implement type scope handlingLibravatar ArenBabikian2020-06-07
* Begin handing of scope and fix type definitions.Libravatar ArenBabikian2020-06-07
* complete vsconfig files #19Libravatar ArenBabikian2020-06-07
* Commit before mergeLibravatar ArenBabikian2020-06-07
* Integrate queries partially #19Libravatar ArenBabikian2020-06-07
* Set up #19Libravatar ArenBabikian2020-06-07
* Fix FAM Test. Begin Grammar Fix.Libravatar ArenBabikian2020-06-07
* FAM MM transformation worksLibravatar ArenBabikian2020-06-07
* Initial workspace setupLibravatar ArenBabikian2020-06-07
* Fix numeric-solver-at-endLibravatar Kristóf Marussy2020-05-20
* Fix attribute export to xmiLibravatar Kristóf Marussy2020-05-20
* FIx Boolean export to gmlLibravatar Kristóf Marussy2020-05-20
* Merge branch 'master' of https://github.com/viatra/VIATRA-GeneratorLibravatar Oszkar Semerath2020-05-20
|\
| * Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-05-19
| |\
| * | Add new state coderLibravatar Kristóf Marussy2020-05-19
| * | Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-05-19
| |\ \
| * \ \ Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-05-19
| |\ \ \
| * \ \ \ Merge remote-tracking branch 'upstream/master'Libravatar Kristóf Marussy2020-05-19
| |\ \ \ \
| * | | | | Config language WIPLibravatar Kristóf Marussy2020-05-19
* | | | | | adding numbers to gml visualizationLibravatar Oszkar Semerath2020-05-20
| |_|_|_|/ |/| | | |
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 10:31:29 +0000