aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies
Commit message (Expand)AuthorAge
* CrossingScenario case study is ready for serverdreal-integrationLibravatar Aren Babikian2021-02-16
* Minor adjsutments to CrossScen ad FamTree local case studiesLibravatar Aren Babikian2021-02-16
* measurement setup is ready for serverLibravatar Aren Babikian2021-02-07
* Fix bin/ and xtend-gen/ ignoring for diversity-calculatorLibravatar Aren Babikian2021-01-26
* 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
* fix dup decl bug + adjust famTree case studyLibravatar Aren Babikian2021-01-07
* crlf fixLibravatar Aren Babikian2021-01-06
* 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
* 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
* | Optimizing generator with linear objective functionsLibravatar Kristóf Marussy2020-11-02
* | 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 solver interactionLibravatar Kristóf Marussy2020-06-28
* Fix scope + numerical propagation WIPLibravatar Kristóf Marussy2020-06-27
* New configuration language parser WIPLibravatar Kristóf Marussy2020-06-23
* Measurements framework fixesLibravatar Kristóf Marussy2020-06-23
* Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-05-19
|\
| * smarter fitness for satelliteLibravatar Oszkar Semerath2020-05-19
* | Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-05-19
|\|
| * taxation config updateLibravatar Oszkar Semerath2020-05-19
* | Merge remote-tracking branch 'upstream/master'Libravatar Kristóf Marussy2020-05-19
|\|
| * Add most of the measurementsLibravatar ArenBabikian2020-05-18
| * update measurements setup. make archives.Libravatar ArenBabikian2020-05-17
| * Adjust Taxation model.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
| * Adjust FamilyTree MM. Add new Taxation MM with possible Multiple RootsLibravatar 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
| * Remove derived features from the PLEDGE MMLibravatar ArenBabikian2020-05-11
| * Fix PLEDGE Case Study FileLibravatar ArenBabikian2020-05-10
* | Config language WIPLibravatar Kristóf Marussy2020-05-19
|/
* Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-05-10
|\
| * Adjust PLEDEG Java Case Study fileLibravatar ArenBabikian2020-05-09
| * Merge branch 'master' of https://github.com/viatra/VIATRA-GeneratorLibravatar Oszkar Semerath2020-05-09
| |\
| | * Finish UML2GML visualization (formerly UML2TGF)Libravatar ArenBabikian2020-05-09
| | * Implement UML Instance 2 GML visualization mappingLibravatar ArenBabikian2020-05-09
generated by cgit v1.2.3-54-g00ecf (git 2.44.0) at 2024-05-02 20:14:46 +0000