Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | code for paperRealistic-Generation-SURE | 2020-11-15 | |
| | |||
* | fix merging issue | 2020-11-04 | |
|\ | |||
| * | 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 | |
| | |\ \ | |||
| | * \ \ | Merge remote-tracking branch 'origin/master' into kris | 2019-05-04 | |
| | |\ \ \ | |||
| | * | | | | Infrastructure for objective functions | 2019-04-07 | |
| | | | | | | |||
| | * | | | | Two-valued fault tree analyzer WIP | 2019-02-19 | |
| | | | | | | |||
| | * | | | | Build with Eclipse 2018.12, generated files change | 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 | |
| | | | | | | |||
| * | | | | | Rebuild with Eclipse 2020-03 | 2020-05-07 | |
| | |_|_|/ | |/| | | | |||
| * | | | | 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 | |
| | |/ | |/| | |||
* | | | fix the null pointer error when trying reproducing the generation procedure | 2019-05-27 | |
| | | | |||
* | | | modify generation to log metrics measurements | 2019-05-27 | |
| | | | |||
* | | | REALMET: first impl of n'hood visualis. minor bug with adding outgng 0s. | 2019-05-19 | |
|/ / | |||
* / | Added aggregate expressions to logic language on the model level | 2019-05-04 | |
|/ | |||
* | 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.) | ||
* | type multiplicity is refined to 0 | 2018-06-13 | |
| | |||
* | Cleared metafiles | 2018-05-12 | |
| | |||
* | Refactored to the milestone version of Viatra 2.0 | 2018-05-08 | |
| | |||
* | Updated and fixed dependencies: | 2018-05-07 | |
| | | | | | | - All java library dependency: fixed to java 1.8 - Added Automatic-Module-Name to be compatible with java 1.9 - Added all sources explicitly to build.properties - removed .util packages generated by previous versions of Viatra | ||
* | 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 | |
| | |||
* | :lipstick: | 2017-09-27 | |
| | |||
* | Printing string statistics do not add linebreaks | 2017-09-27 | |
| | |||
* | Listing all files in folder. | 2017-09-27 | |
| | |||
* | Transitive closure | 2017-08-16 | |
| | |||
* | Adding transitive closure to the logic language | 2017-08-16 | |
| | |||
* | Added known primitives to the scope | 2017-08-15 | |
| | |||
* | Added support for string attributes when mapping metamodels | 2017-08-15 | |
| | |||
* | Primitive elements in the partial interpretation | 2017-08-15 | |
| |