| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | some cleanup |  Aren Babikian | 2021-01-14 |
| * | Optimizing generator with linear objective functions |  Kristóf Marussy | 2020-11-02 |
| * | Merge branch 'kris' | Kristóf Marussy | 2020-06-25 |
| |\ | |||
| | * | Scope unsat benchmarks | Kristóf Marussy | 2020-05-07 |
| | * | Remove empty src directories from build path |  Kristóf Marussy | 2019-10-29 |
| | * | Measurements WIP | Kristóf Marussy | 2019-08-15 |
| | * | Ensure that experiment runner code compiles | Kristóf Marussy | 2019-08-01 |
| | * | Build with Eclipse 2018.12, generated files change | Kristóf Marussy | 2019-02-19 |
| * | | Rebuild with Eclipse 2020-03 | Kristóf Marussy | 2020-05-07 |
| |/ | |||
| * | Alloy Examples |  OszkarSemerath | 2017-08-20 |
 |
index : VIATRA-Generator | |
| Mirror of https://github.com/viatra/VIATRA-Generator | Contributors to the VIATRA Generator project |
| aboutsummaryrefslogtreecommitdiffstats |