Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Numeric solver dreal hardcoding -> configV4transformation | 2021-07-30 | |
* | CrossingScenario case study is ready for serverdreal-integration | 2021-02-16 | |
* | merge models20 measurements | 2021-01-05 | |
|\ | |||
| * | add models20 measuement setup from VM | 2021-01-05 | |
* | | Fix time measurement | 2020-07-29 | |
|/ | |||
* | Fix event storm on EMF transaction finish | 2020-07-08 | |
* | Add modified VIATRA-DSE version | 2020-06-30 |