aboutsummaryrefslogtreecommitdiffstats
path: root/Framework
Commit message (Expand)AuthorAge
...
| * | | | | | | | 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
* Scope support for attributesLibravatar OszkarSemerath2018-07-16
* Support for building float, double and BigDecimal literalsLibravatar OszkarSemerath2018-07-15
* cleanup imported packageLibravatar OszkarSemerath2018-07-15
* Added scope validation as a service of the solver interfaceLibravatar OszkarSemerath2018-07-15
* Additional packages for standalone runtime environmentLibravatar OszkarSemerath2018-07-06
* Added support for running application in plain java.Libravatar OszkarSemerath2018-07-05
* type multiplicity is refined to 0Libravatar OszkarSemerath2018-06-13
* derived feature -> partial relation bugfixLibravatar OszkarSemerath2018-05-12
* Cleared metafilesLibravatar OszkarSemerath2018-05-12
* Refactored to the milestone version of Viatra 2.0Libravatar OszkarSemerath2018-05-08
* Updated and fixed dependencies:Libravatar OszkarSemerath2018-05-07
* upgraded attribute support for the graph solverLibravatar OszkarSemerath2018-03-24
* Factory for string literals.Libravatar OszkarSemerath2018-03-24
* Validation for abstract dynamic typesLibravatar OszkarSemerath2018-03-07
* copyMap bugfixLibravatar OszkarSemerath2018-03-07
* Statistics are appendedLibravatar OszkarSemerath2018-03-04
* More explanation added to exceptionLibravatar OszkarSemerath2018-03-04
* ConsolesLibravatar OszkarSemerath2018-03-04
* +SolverProcessMonitor to (optionally) report process and request cancelLibravatar OszkarSemerath2018-03-03
* separated init and clear phases in workspacesLibravatar OszkarSemerath2018-03-03
* added getFile() and refresh() to workspaceLibravatar OszkarSemerath2018-02-28
* Translated PQueryies are added to annotation.Libravatar OszkarSemerath2018-02-24
* Project workspace folder structure generation patchLibravatar OszkarSemerath2018-02-24
* Documentation level is in the config interfaceLibravatar OszkarSemerath2018-02-24
* Removed PQuery from API, IQuerySpecification is used insteadLibravatar OszkarSemerath2018-01-23
* If a query is not supported query exception.Libravatar OszkarSemerath2017-09-27
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-06-02 01:01:07 +0000