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
\|
*	Fix bin/ and xtend-gen/ ignoring for diversity-calculator	Aren Babikian	2021-01-26
\|
*	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
\|
*	fix dup decl bug + adjust famTree case study	Aren Babikian	2021-01-07
\|
*	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
\|
*	Add config flag for selecting numeric solver. Integ with Z3	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
\| \|
* \|	Optimizing generator with linear objective functions	Kristóf Marussy	2020-11-02
\| \|
* \|	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 solver interaction	Kristóf Marussy	2020-06-28
\|
*	Fix scope + numerical propagation WIP	Kristóf Marussy	2020-06-27
\|
*	New configuration language parser WIP	Kristóf Marussy	2020-06-23
\|
*	Measurements framework fixes	Kristóf Marussy	2020-06-23
\|
*	Merge branch 'master' of github.com:viatra/VIATRA-Generator	Kristóf Marussy	2020-05-19
\|\
\| *	smarter fitness for satellite	Oszkar Semerath	2020-05-19
\| \|
* \|	Merge branch 'master' of github.com:viatra/VIATRA-Generator	Kristóf Marussy	2020-05-19
\|\\|
\| *	taxation config update	Oszkar Semerath	2020-05-19
\| \|
* \|	Merge remote-tracking branch 'upstream/master'	Kristóf Marussy	2020-05-19
\|\\|
\| *	Add most of the measurements	ArenBabikian	2020-05-18
\| \|
\| *	update measurements setup. make archives.	ArenBabikian	2020-05-17
\| \|
\| *	Adjust Taxation model.	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
\| \|
\| *	Adjust FamilyTree MM. Add new Taxation MM with possible Multiple Roots	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
\| \|
\| *	Remove derived features from the PLEDGE MM	ArenBabikian	2020-05-11
\| \|
\| *	Fix PLEDGE Case Study File	ArenBabikian	2020-05-10
\| \|
* \|	Config language WIP	Kristóf Marussy	2020-05-19
\|/
*	Merge branch 'master' of github.com:viatra/VIATRA-Generator	Kristóf Marussy	2020-05-10
\|\
\| *	Adjust PLEDEG Java Case Study file	ArenBabikian	2020-05-09
\| \|
\| *	Merge branch 'master' of https://github.com/viatra/VIATRA-Generator	Oszkar Semerath	2020-05-09
\| \|\
\| \| *	Finish UML2GML visualization (formerly UML2TGF)	ArenBabikian	2020-05-09
\| \| \|
\| \| *	Implement UML Instance 2 GML visualization mapping	ArenBabikian	2020-05-09
\| \| \|
\| * \|	case study fix	Oszkar Semerath	2020-05-09
\| \|/
\| *	Adjust FamilyTree Case Study	ArenBabikian	2020-05-08
\| \|