aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.familyTree.run
Commit message (Expand)AuthorAge
* fix dup decl bug + adjust famTree case studyLibravatar Aren Babikian2021-01-07
* fine-tune measurement setupLibravatar Aren Babikian2021-01-06
* prepping measurement setup w/ drealLibravatar Aren Babikian2021-01-06
* Add config flag for selecting numeric solver. Integ with Z3Libravatar Aren Babikian2021-01-06
* rebase dreal-integ on models20-measurementsLibravatar Aren Babikian2021-01-06
* add models20 measuement setup from VMLibravatar Aren Babikian2021-01-05
* Clean up MODELS20 filesLibravatar Kristóf Marussy2020-07-16
* Restore inverse punishSizeLibravatar Kristóf Marussy2020-07-07
* Trying to fix performance regressionsLibravatar Kristóf Marussy2020-07-07
* Fix scope + numerical propagation WIPLibravatar Kristóf Marussy2020-06-27
* Measurements framework fixesLibravatar Kristóf Marussy2020-06-23
* Config language WIPLibravatar Kristóf Marussy2020-05-19
* Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-05-10
|\
| * case study fixLibravatar Oszkar Semerath2020-05-09
| * Adjust FamilyTree Case StudyLibravatar ArenBabikian2020-05-08
* | Update solver language grammarLibravatar Kristóf Marussy2020-05-08
|/
* Rebuild with Eclipse 2020-03Libravatar Kristóf Marussy2020-05-07
* Adjustments to FamilyTree and Pledge Case studiesLibravatar ArenBabikian2020-05-06
* Able to run Pledge Case StudyLibravatar ArenBabikian2020-04-28
* rename Pledge Case Studies and add familyTree case studyLibravatar ArenBabikian2020-04-27
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-17 18:53:49 +0000