Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Containment root constraint propagator | Kristóf Marussy | 2019-07-24 |
| | |||
* | Cardinality propagator WIP | Kristóf Marussy | 2019-07-24 |
| | |||
* | Fault tree transformation for partial models WIP | Kristóf Marussy | 2019-03-20 |
| | |||
* | Translated PQueryies are added to annotation. | OszkarSemerath | 2018-02-24 |
| | |||
* | Support for generationg multiple difference models by VIATRA-Solver | OszkarSemerath | 2017-07-05 |
| | |||
* | Divers Generation times are added to statisticsexample scenario | OszkarSemerath | 2017-06-16 |
| | |||
* | Migrating Additional projects | OszkarSemerath | 2017-06-10 |