Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | fix derived feature handling + impove dreal calling | 2021-02-03 | |
| | |||
* | Measurements WIP | 2019-08-22 | |
| | |||
* | Created new module to load referred patterns. hacked metamodel linking. | 2019-02-17 | |
| | |||
* | Query parser update to current Viatra milestone | 2018-05-18 | |
| | |||
* | Refactored to the milestone version of Viatra 2.0 | 2018-05-08 | |
| | |||
* | derived feature referred query searcher expanded | 2018-03-04 | |
| | |||
* | Loading services | 2018-01-24 | |
| | |||
* | Initial commit of the configuration language and application | 2018-01-13 | |