Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | complete change of real representation BigDecimal->Double | 2021-01-14 | |
| | |||
* | Merge branch 'kris' | 2020-06-25 | |
|\ | |||
| * | Merge remote-tracking branch 'origin/master' into kris | 2019-08-30 | |
| |\ | |||
| * \ | Merge remote-tracking branch 'origin/master' into kris | 2019-08-01 | |
| |\ \ | |||
| * | | | Infrastructure for objective functions | 2019-04-07 | |
| | | | | |||
| * | | | Two-valued fault tree analyzer WIP | 2019-02-19 | |
| | | | | |||
* | | | | Fix attribute export to xmi | 2020-05-20 | |
| | | | | |||
* | | | | Setting delimier in every printing mode to ',' | 2020-05-17 | |
| | | | | |||
* | | | | separtor ; -> \t | 2020-05-14 | |
| |_|/ |/| | | |||
* | | | Bug fixed in transitive closure expression builder | 2019-08-30 | |
| |/ |/| | |||
* | | parsing count, min, max, check and eval v1 | 2019-07-15 | |
| | | |||
* | | aggregated partial substitution + builder | 2019-07-09 | |
|/ | |||
* | Removed unnecessary logging | 2019-02-17 | |
| | |||
* | Logic structure builder fix for string building | 2018-11-07 | |
| | |||
* | Progress monitor fix | 2018-09-14 | |
| | |||
* | ReasonerWorkspace adds Schema Location for saving Models into XMI. Fixes | 2018-07-21 | |
| | | | | | | | | #16 Therefore models can be opened using **Sample Reflective Ecore Model Editor** even if the metamodel is reachable. close | ||
* | Support for building float, double and BigDecimal literals | 2018-07-15 | |
| | |||
* | cleanup imported package | 2018-07-15 | |
| | |||
* | Added scope validation as a service of the solver interface | 2018-07-15 | |
| | |||
* | Additional packages for standalone runtime environment | 2018-07-06 | |
| | |||
* | Added support for running application in plain java. | 2018-07-05 | |
| | | | | (However, I might added several unnecessary dependencies to the visualisation package.) | ||
* | Refactored to the milestone version of Viatra 2.0 | 2018-05-08 | |
| | |||
* | Factory for string literals. | 2018-03-24 | |
| | |||
* | copyMap bugfix | 2018-03-07 | |
| | |||
* | Statistics are appended | 2018-03-04 | |
| | |||
* | Consoles | 2018-03-04 | |
| | |||
* | +SolverProcessMonitor to (optionally) report process and request cancel | 2018-03-03 | |
| | |||
* | separated init and clear phases in workspaces | 2018-03-03 | |
| | |||
* | added getFile() and refresh() to workspace | 2018-02-28 | |
| | |||
* | Project workspace folder structure generation patch | 2018-02-24 | |
| | |||
* | Documentation level is in the config interface | 2018-02-24 | |
| | |||
* | Printing string statistics do not add linebreaks | 2017-09-27 | |
| | |||
* | Listing all files in folder. | 2017-09-27 | |
| | |||
* | Transitive closure | 2017-08-16 | |
| | |||
* | Added known primitives to the scope | 2017-08-15 | |
| | |||
* | Added support for string attributes when mapping metamodels | 2017-08-15 | |
| | |||
* | Type scope cleanup | 2017-08-15 | |
| | |||
* | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator | 2017-08-08 | |
|\ | |||
| * | Modified LogicSolver to support the use of integer, string and real | 2017-08-08 | |
| | | | | | | attribute sets | ||
* | | Support for double and string attributes | 2017-08-08 | |
|/ | |||
* | added String to the logic problem, and representations returns the set | 2017-08-07 | |
| | | | of relevant primitive objects. | ||
* | When there is a definition to a declaration in the logic problem, the | 2017-07-05 | |
| | | | | logic structure builder calls the definition when the interpretation of the declaration is requested. | ||
* | Multiple model with interpretations | 2017-07-02 | |
| | |||
* | Migrating Additional projects | 2017-06-10 | |