VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

	Commit message (Collapse)	Author	Age
*	measurement setup is ready for server	Aren Babikian	2021-02-07
\|
*	almost finish crossscen VQL + implement ITE handling + prelim results	Aren Babikian	2021-01-20
\|
*	add Actor+CollisionExists constrs & adjust dreal parser & measurements	Aren Babikian	2021-01-19
\|
*	crlf fix	Aren Babikian	2021-01-06
\|
*	fine-tune measurement setup	Aren Babikian	2021-01-06
\|
*	prepping measurement setup w/ dreal	Aren Babikian	2021-01-06
\|
*	rebase dreal-integ on models20-measurements	Aren Babikian	2021-01-06
\|
*	merge models20 measurements	Aren Babikian	2021-01-05
\|\
\| *	add readme and diversity measurementsmodels20-measurements	Aren Babikian	2021-01-05
\| \|
\| *	add notebook for generating plots	Aren Babikian	2021-01-05
\| \|
\| *	add models20 measuement setup from VM	Aren Babikian	2021-01-05
\| \|
* \|	Fix time measurement	Kristóf Marussy	2020-07-29
\|/
*	Clean up MODELS20 files	Kristóf Marussy	2020-07-16
\|
*	Optimizations	Kristóf Marussy	2020-07-14
\|
*	Restore inverse punishSize	Kristóf Marussy	2020-07-07
\|
*	Trying to fix performance regressions	Kristóf Marussy	2020-07-07
\|
*	Fix scope + numerical propagation WIP	Kristóf Marussy	2020-06-27
\|
*	Measurements framework fixes	Kristóf Marussy	2020-06-23
\|
*	smarter fitness for satellite	Oszkar Semerath	2020-05-19
\|
*	taxation config update	Oszkar Semerath	2020-05-19
\|
*	Add most of the measurements	ArenBabikian	2020-05-18
\|
*	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
\|
*	reformulating (potentially inconsistent) inv49	Oszkar Semerath	2020-05-12
\|
*	Add Satellite Case Study to testing framework	ArenBabikian	2020-05-11
\|
*	Fine Tune PLEDGE Case Study Project and Main Method	ArenBabikian	2020-05-11
\|
*	Fix PLEDGE Case Study File	ArenBabikian	2020-05-10
\|
*	Adjust PLEDEG Java Case Study file	ArenBabikian	2020-05-09
\|
*	Rebuild with Eclipse 2020-03	Kristóf Marussy	2020-05-07
\|
*	Adjustments to FamilyTree and Pledge Case studies	ArenBabikian	2020-05-06
\|
*	Rename pledge case study file	ArenBabikian	2020-04-28
\|
*	Able to run Pledge Case Study	ArenBabikian	2020-04-28