aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers
Commit message (Expand)AuthorAge
* 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
* variable indexing bugs in referred patterns in UPLibravatar Oszkar Semerath2020-05-12
* Bigliteral serialization in xmi transformation fixedLibravatar Oszkar Semerath2020-05-11
* fix for inverse referencesLibravatar Oszkar Semerath2020-05-11
* Allow real numbers to be in the solutionLibravatar anqili4262020-05-10
* temporally removed check expressions for real valuesLibravatar Oszkar Semerath2020-05-11
* Instead of Bigdecimals doubleValue are used in checkLibravatar Oszkar Semerath2020-05-11
* separated must and current UP rules to support non-prop neg findsLibravatar Oszkar Semerath2020-05-11
* automated containment and attribute addition for subclassesLibravatar Oszkar Semerath2020-05-11
* measurement time statistics + activation selection strategiesLibravatar Oszkar Semerath2020-05-10
* uninvolved objects are filled with a default valueLibravatar Oszkar Semerath2020-05-09
* Numeric Solver integration to explorationLibravatar Oszkar Semerath2020-05-09
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-30 23:20:12 +0000