| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Scope unsat benchmarks |  Kristóf Marussy | 2020-05-07 |
| | | |||
| * | Measurements WIP |  Kristóf Marussy | 2019-08-14 |
| | | |||
| * | Added a set of mutated queries to yakindu |  OszkarSemerath | 2017-10-27 |
| | | |||
| * | Bug with outgoing transitions in yakindu example. | OszkarSemerath | 2017-07-05 |
| | | |||
| * | Added missing types: exit state, final state and choice | OszkarSemerath | 2017-06-21 |
| | | |||
| * | Divers Generation times are added to statisticsexample scenario | OszkarSemerath | 2017-06-16 |
| | | |||
| * | Migrating Additional projects | OszkarSemerath | 2017-06-10 |
 |
index : VIATRA-Generator | |
| Mirror of https://github.com/viatra/VIATRA-Generator | Contributors to the VIATRA Generator project |
| aboutsummaryrefslogtreecommitdiffstats |