| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | CrossingScenario case study is ready for serverdreal-integration |  Aren Babikian | 2021-02-16 |
| * | measurement setup is ready for server | Aren Babikian | 2021-02-07 |
| * | fine-tune measurement setup | Aren Babikian | 2021-01-06 |
| * | prepping measurement setup w/ dreal | Aren Babikian | 2021-01-06 |
| * | Fix scope + numerical propagation WIP |  Kristóf Marussy | 2020-06-27 |
| * | Measurements framework fixes | Kristóf Marussy | 2020-06-23 |
| * | update measurements setup. make archives. | ArenBabikian | 2020-05-17 |
| * | Adjust Pledge, handling of many households. | ArenBabikian | 2020-05-14 |
| * | Adjust case study master file. Add some measurements | ArenBabikian | 2020-05-13 |
| * | Add measurements, generate new jar that allows upper limit (w/o viz) | ArenBabikian | 2020-05-13 |
| * | Adjust measurement setup. TaxationWithRoot support. JAR creation | ArenBabikian | 2020-05-13 |
 |
index : VIATRA-Generator | |
| Mirror of https://github.com/viatra/VIATRA-Generator | Contributors to the VIATRA Generator project |
| aboutsummaryrefslogtreecommitdiffstats |