aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.run
Commit message (Expand)AuthorAge
* measurement setup is ready for serverLibravatar Aren Babikian2021-02-07
* almost finish crossscen VQL + implement ITE handling + prelim resultsLibravatar Aren Babikian2021-01-20
* add Actor+CollisionExists constrs & adjust dreal parser & measurementsLibravatar Aren Babikian2021-01-19
* crlf fixLibravatar Aren Babikian2021-01-06
* fine-tune measurement setupLibravatar Aren Babikian2021-01-06
* prepping measurement setup w/ drealLibravatar Aren Babikian2021-01-06
* rebase dreal-integ on models20-measurementsLibravatar Aren Babikian2021-01-06
* merge models20 measurementsLibravatar Aren Babikian2021-01-05
|\
| * add readme and diversity measurementsmodels20-measurementsLibravatar Aren Babikian2021-01-05
| * add notebook for generating plotsLibravatar Aren Babikian2021-01-05
| * add models20 measuement setup from VMLibravatar Aren Babikian2021-01-05
* | Fix time measurementLibravatar Kristóf Marussy2020-07-29
|/
* Clean up MODELS20 filesLibravatar Kristóf Marussy2020-07-16
* OptimizationsLibravatar Kristóf Marussy2020-07-14
* 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
* smarter fitness for satelliteLibravatar Oszkar Semerath2020-05-19
* taxation config updateLibravatar Oszkar Semerath2020-05-19
* Add most of the measurementsLibravatar ArenBabikian2020-05-18
* update measurements setup. make archives.Libravatar ArenBabikian2020-05-17
* Adjust Pledge, handling of many households.Libravatar ArenBabikian2020-05-14
* Adjust case study master file. Add some measurementsLibravatar ArenBabikian2020-05-13
* Add measurements, generate new jar that allows upper limit (w/o viz)Libravatar ArenBabikian2020-05-13
* Adjust measurement setup. TaxationWithRoot support. JAR creationLibravatar ArenBabikian2020-05-13
* reformulating (potentially inconsistent) inv49Libravatar Oszkar Semerath2020-05-12
* Add Satellite Case Study to testing frameworkLibravatar ArenBabikian2020-05-11
* Fine Tune PLEDGE Case Study Project and Main MethodLibravatar ArenBabikian2020-05-11
* Fix PLEDGE Case Study FileLibravatar ArenBabikian2020-05-10
* Adjust PLEDEG Java Case Study fileLibravatar ArenBabikian2020-05-09
* Rebuild with Eclipse 2020-03Libravatar Kristóf Marussy2020-05-07
* Adjustments to FamilyTree and Pledge Case studiesLibravatar ArenBabikian2020-05-06
* Rename pledge case study fileLibravatar ArenBabikian2020-04-28
* Able to run Pledge Case StudyLibravatar ArenBabikian2020-04-28
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-25 11:39:07 +0000