aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers
Commit message (Expand)AuthorAge
* 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
* 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
* 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
|\
| * Add new state coderLibravatar Kristóf Marussy2020-05-19
* | adding numbers to gml visualizationLibravatar Oszkar Semerath2020-05-20
|/
* option to calculate object creation costs in fitnessLibravatar Oszkar Semerath2020-05-19
* intermediateConsistencyCheck controls the maySatisfiable onlyLibravatar Oszkar Semerath2020-05-19
* removed every occurence of check expressionsLibravatar Oszkar Semerath2020-05-18
* TransformationExecutionTime + weights can be controlled from configLibravatar Oszkar Semerath2020-05-17
* detailed runtimes + counting defined objects onlyLibravatar Oszkar Semerath2020-05-17
* fixes for the measurementLibravatar Oszkar Semerath2020-05-14
* removeOne for object scopeLibravatar Oszkar Semerath2020-05-14
* upper limit is softLibravatar Oszkar Semerath2020-05-13
* logging detailed measurement data for the numerical solverLibravatar Oszkar Semerath2020-05-12
* removed unnecessary printingLibravatar Oszkar Semerath2020-05-12
* Missed containment indexerLibravatar Oszkar Semerath2020-05-12
* advanced goal heuristics for missing containment and non-cont. edgesLibravatar Oszkar Semerath2020-05-12
* removed potential equivalence between real values and integersLibravatar Oszkar Semerath2020-05-12
* Object is recursively instantiated if it has no subtype alternativeLibravatar Oszkar Semerath2020-05-12
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-28 18:30:32 +0000