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

	Commit message (Collapse)	Author	Age
*	fix dup decl bug + adjust famTree case study	Aren Babikian	2021-01-07
\|
*	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
\|
*	add models20 measuement setup from VM	Aren Babikian	2021-01-05
\|
*	Clean up MODELS20 files	Kristóf Marussy	2020-07-16
\|
*	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
\|
*	Config language WIP	Kristóf Marussy	2020-05-19
\|
*	Merge branch 'master' of github.com:viatra/VIATRA-Generator	Kristóf Marussy	2020-05-10
\|\
\| *	case study fix	Oszkar Semerath	2020-05-09
\| \|
\| *	Adjust FamilyTree Case Study	ArenBabikian	2020-05-08
\| \|
* \|	Update solver language grammar	Kristóf Marussy	2020-05-08
\|/ \| \| \|	First version, still needs TokenSource and Linker to work.
*	Rebuild with Eclipse 2020-03	Kristóf Marussy	2020-05-07
\|
*	Adjustments to FamilyTree and Pledge Case studies	ArenBabikian	2020-05-06
\|
*	Able to run Pledge Case Study	ArenBabikian	2020-04-28
\|
*	rename Pledge Case Studies and add familyTree case study	ArenBabikian	2020-04-27