| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Numeric solver dreal hardcoding -> configV4transformation |  OszkarSemerath | 2021-07-30 |
| * | Fix Z3 dependency |  Kristóf Marussy | 2020-11-26 |
| * | Able to run Pledge Case Study |  ArenBabikian | 2020-04-28 |
| * | parsing count, min, max, check and eval v1 | Oszkar Semerath | 2019-07-15 |
| * | ParseUtil hijacked original vql parser and caused errors - fix by kris7t |  OszkarSemerath | 2019-03-19 |
| * | Updated type provider to support java native types | OszkarSemerath | 2018-08-10 |
| * | Updated and fixed dependencies: | OszkarSemerath | 2018-05-07 |
| * | 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 |