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
\|
*	fine-tune measurement setup	Aren Babikian	2021-01-06
\|
*	prepping measurement setup w/ dreal	Aren Babikian	2021-01-06
\|
*	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
\|
*	smarter fitness for satellite	Oszkar Semerath	2020-05-19
\|
*	Add most of the measurements	ArenBabikian	2020-05-18
\|
*	update measurements setup. make archives.	ArenBabikian	2020-05-17
\|
*	Adjust measurement setup. TaxationWithRoot support. JAR creation	ArenBabikian	2020-05-13
\|
*	Add Satellite Case Study to testing framework	ArenBabikian	2020-05-11