| Commit message (Expand) | Author | Age |
* | VAMPIRE: integrate local Vampire executeable #32 | ArenBabikian | 2020-06-07 |
* | Pre-realisticBranchCreation Commit | ArenBabikian | 2020-06-07 |
* | Pre-realisticBranchCreation Commit | ArenBabikian | 2020-06-07 |
* | VAMPIRE: fixed MANY bugs in containment and scope. #40 is good for now | ArenBabikian | 2020-06-07 |
* | VAMPIRE : initial model handling almost done. only typeScope remains #40 | ArenBabikian | 2020-06-07 |
* | VAMPIRE: add to #40. I am tired | ArenBabikian | 2020-06-07 |
* | VAMPIRE: close #22, improve test structure for #39, .vql file trouble | ArenBabikian | 2020-06-07 |
* | VAMPIRE: #39 Reorganise tests, working yakindu test, need debugging | ArenBabikian | 2020-06-07 |
* | Implement containment circularity avoidance #20 | ArenBabikian | 2020-06-07 |
* | Revert previous commit. Everyone is happy. | ArenBabikian | 2020-06-07 |
* | Facilitate #31, close #36 | ArenBabikian | 2020-06-07 |
* | Closes #34, adds code to test cases where minScope>maxScope. | ArenBabikian | 2020-06-07 |
* | Add to containment, add notObject case. | ArenBabikian | 2020-06-07 |
* | Add gitignore, commit everything | ArenBabikian | 2020-06-07 |
* | Implement Containment mapping (partially) and revisit enum mapping | ArenBabikian | 2020-06-07 |
* | Implement type scope for specific types | ArenBabikian | 2020-06-07 |
* | Improve TypeScope handling | ArenBabikian | 2020-06-07 |
* | Fix Enum handling for Paradox Integration | ArenBabikian | 2020-06-07 |
* | Implement Enum handling and study hierarchy handling | ArenBabikian | 2020-06-07 |
* | Restructure Vampire Reasoner project | ArenBabikian | 2020-06-07 |
* | Continue improving code style (need sleep) | ArenBabikian | 2020-06-07 |
* | Partially improve coding style (leaving for soccer) | ArenBabikian | 2020-06-07 |
* | Implement type scope handling | ArenBabikian | 2020-06-07 |
* | Begin handing of scope and fix type definitions. | ArenBabikian | 2020-06-07 |
* | complete vsconfig files #19 | ArenBabikian | 2020-06-07 |
* | Commit before merge | ArenBabikian | 2020-06-07 |
* | Integrate queries partially #19 | ArenBabikian | 2020-06-07 |
* | Set up #19 | ArenBabikian | 2020-06-07 |
* | Fix FAM Test. Begin Grammar Fix. | ArenBabikian | 2020-06-07 |
* | FAM MM transformation works | ArenBabikian | 2020-06-07 |
* | Initial workspace setup | ArenBabikian | 2020-06-07 |
* | Merge branch 'master' of github.com:viatra/VIATRA-Generator | Kristóf Marussy | 2020-05-19 |
|\ |
|
| * | smarter fitness for satellite | Oszkar Semerath | 2020-05-19 |
* | | Merge branch 'master' of github.com:viatra/VIATRA-Generator | Kristóf Marussy | 2020-05-19 |
|\| |
|
| * | taxation config update | Oszkar Semerath | 2020-05-19 |
* | | Merge remote-tracking branch 'upstream/master' | Kristóf Marussy | 2020-05-19 |
|\| |
|
| * | Add most of the measurements | ArenBabikian | 2020-05-18 |
| * | update measurements setup. make archives. | ArenBabikian | 2020-05-17 |
| * | Adjust Taxation model. | ArenBabikian | 2020-05-17 |
| * | Adjust Pledge, handling of many households. | ArenBabikian | 2020-05-14 |
| * | Adjust case study master file. Add some measurements | ArenBabikian | 2020-05-13 |
| * | Add measurements, generate new jar that allows upper limit (w/o viz) | ArenBabikian | 2020-05-13 |
| * | Adjust measurement setup. TaxationWithRoot support. JAR creation | ArenBabikian | 2020-05-13 |
| * | Adjust FamilyTree MM. Add new Taxation MM with possible Multiple Roots | ArenBabikian | 2020-05-13 |
| * | reformulating (potentially inconsistent) inv49 | Oszkar Semerath | 2020-05-12 |
| * | Add Satellite Case Study to testing framework | ArenBabikian | 2020-05-11 |
| * | Fine Tune PLEDGE Case Study Project and Main Method | ArenBabikian | 2020-05-11 |
| * | Remove derived features from the PLEDGE MM | ArenBabikian | 2020-05-11 |
| * | Fix PLEDGE Case Study File | ArenBabikian | 2020-05-10 |
* | | Config language WIP | Kristóf Marussy | 2020-05-19 |
|/ |
|