Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | changed dot visualization to svg to make it compatible with batik 1.14HEADmaster | 2022-04-01 | |
| | |||
* | Numeric solver fixes | 2022-04-01 | |
| | |||
* | adding slf4j dependency to avoid error message in logs | 2019-07-15 | |
| | |||
* | added sldf4j simple implementation to solve logging error message | 2019-02-17 | |
| | |||
* | Added support for running application in plain java. | 2018-07-05 | |
| | | | | (However, I might added several unnecessary dependencies to the visualisation package.) | ||
* | 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 | ||
* | removed maven + added refresh() to filesystem | 2018-02-28 | |
| | |||
* | Graphviz based visualisation for the concretizations of partial models. | 2017-07-12 | |