Commit message (Expand) | Author | Age | |
---|---|---|---|
* | VAMPIRE: last commit | 2020-02-03 | |
* | added sldf4j simple implementation to solve logging error message | 2019-02-17 | |
* | Added support for running application in plain java. | 2018-07-05 | |
* | Updated and fixed dependencies: | 2018-05-07 | |
* | removed maven + added refresh() to filesystem | 2018-02-28 | |
* | Graphviz based visualisation for the concretizations of partial models. | 2017-07-12 |