aboutsummaryrefslogtreecommitdiffstats
path: root/Framework
Commit message (Expand)AuthorAge
* Add gitignore, commit everythingLibravatar ArenBabikian2020-06-07
* Fix attribute export to xmiLibravatar Kristóf Marussy2020-05-20
* Setting delimier in every printing mode to ','Libravatar Oszkar Semerath2020-05-17
* separtor ; -> \tLibravatar Oszkar Semerath2020-05-14
* Use String to create RealExprLibravatar anqili4262020-05-13
* removed unnecesary printingLibravatar Oszkar Semerath2020-05-12
* logging detailed measurement data for the numerical solverLibravatar Oszkar Semerath2020-05-12
* precise time measurements for the numeric solverLibravatar Oszkar Semerath2020-05-12
* Merge branch 'master' of https://github.com/viatra/VIATRA-GeneratorLibravatar Oszkar Semerath2020-05-11
|\
| * Fixed bug in setting constant typesLibravatar anqili4262020-05-11
* | Bigliteral serialization in xmi transformation fixedLibravatar Oszkar Semerath2020-05-11
|/
* Added support for real numbersLibravatar anqili4262020-05-10
* closing numerical solverLibravatar Oszkar Semerath2020-05-10
* Numeric Solver integration to explorationLibravatar Oszkar Semerath2020-05-09
* Rebuild with Eclipse 2020-03Libravatar Kristóf Marussy2020-05-07
* viatra parsing fixesLibravatar Oszkar Semerath2020-05-07
* Adjust classpath for Z3 in viatra2logicLibravatar ArenBabikian2020-05-06
* Able to run Pledge Case StudyLibravatar ArenBabikian2020-04-28
* Merge branch 'Attribute-Solver'Libravatar anqili4262020-04-26
|\
| * Added FakeIntegerElementLibravatar anqili4262020-04-26
* | Merge branch 'Attribute-Solver'Libravatar anqili4262020-04-25
|\|
| * Added new testLibravatar anqili4262020-04-22
| * Added measurementsLibravatar anqili4262020-04-15
| * Added test methods with running time measurementLibravatar anqili4262020-04-15
| * Added logic to get a solutionLibravatar anqili4262020-04-15
| * Updated logic that creates a numeric problem using matchesLibravatar anqili4262020-04-08
| * Added logic to create a numeric problem instance with pattern matchesLibravatar anqili4262020-04-07
| * Added logic to form numeric problem templatesLibravatar anqili4262020-03-31
| * Added call to form numeric problem templatesLibravatar anqili4262020-03-31
* | variable mapping trace is created after mappingLibravatar Oszkar Semerath2020-04-17
* | Variable trace added to Viatra2Logic mappingLibravatar Oszkar Semerath2020-04-17
* | check constraint is a special evalLibravatar Oszkar Semerath2020-04-15
|/
* Bug fixed in transitive closure expression builderLibravatar Oszkar Semerath2019-08-30
* parsing count, min, max, check and eval v1Libravatar Oszkar Semerath2019-07-15
* aggregated partial substitution + builderLibravatar Oszkar Semerath2019-07-09
* Inverse references works if opposite reference is pruned away.Libravatar OszkarSemerath2019-06-01
* fixed manifestLibravatar OszkarSemerath2019-05-05
* Removed unwanted OCL dependencyLibravatar OszkarSemerath2019-05-05
* Added aggregate expressions to logic language on the model levelLibravatar OszkarSemerath2019-05-04
* ParseUtil hijacked original vql parser and caused errors - fix by kris7tLibravatar OszkarSemerath2019-03-19
* Removed unnecessary loggingLibravatar OszkarSemerath2019-02-17
* Fixed xmi generation with attributes. Added better error messages.Libravatar OszkarSemerath2018-11-07
* Logic structure builder fix for string buildingLibravatar OszkarSemerath2018-11-07
* Attributes are filled in instance modelsLibravatar OszkarSemerath2018-10-11
* Update error message for untranslated types in ViatraLibravatar OszkarSemerath2018-10-11
* Progress monitor fixLibravatar OszkarSemerath2018-09-14
* updated support for java typesLibravatar OszkarSemerath2018-09-14
* Added support for SHORT type as integerLibravatar OszkarSemerath2018-08-28
* Updated type provider to support java native typesLibravatar OszkarSemerath2018-08-10
* ReasonerWorkspace adds Schema Location for saving Models into XMI. FixesLibravatar OszkarSemerath2018-07-21
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 07:49:11 +0000