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

	Commit message (Expand)	Author	Age
*	Implement Containment mapping (partially) and revisit enum mapping	ArenBabikian	2020-06-07
*	Implement type scope for specific types	ArenBabikian	2020-06-07
*	Improve TypeScope handling	ArenBabikian	2020-06-07
*	Fix Enum handling for Paradox Integration	ArenBabikian	2020-06-07
*	Implement Enum handling and study hierarchy handling	ArenBabikian	2020-06-07
*	Restructure Vampire Reasoner project	ArenBabikian	2020-06-07
*	Continue improving code style (need sleep)	ArenBabikian	2020-06-07
*	Partially improve coding style (leaving for soccer)	ArenBabikian	2020-06-07
*	Implement type scope handling	ArenBabikian	2020-06-07
*	Begin handing of scope and fix type definitions.	ArenBabikian	2020-06-07
*	complete vsconfig files #19	ArenBabikian	2020-06-07
*	Commit before merge	ArenBabikian	2020-06-07
*	Integrate queries partially #19	ArenBabikian	2020-06-07
*	Set up #19	ArenBabikian	2020-06-07
*	Fix FAM Test. Begin Grammar Fix.	ArenBabikian	2020-06-07
*	FAM MM transformation works	ArenBabikian	2020-06-07
*	Initial workspace setup	ArenBabikian	2020-06-07
*	Fix numeric-solver-at-end	Kristóf Marussy	2020-05-20
*	Fix attribute export to xmi	Kristóf Marussy	2020-05-20
*	FIx Boolean export to gml	Kristóf Marussy	2020-05-20
*	Merge branch 'master' of https://github.com/viatra/VIATRA-Generator	Oszkar Semerath	2020-05-20
\|\
\| *	Merge branch 'master' of github.com:viatra/VIATRA-Generator	Kristóf Marussy	2020-05-19
\| \|\
\| * \|	Add new state coder	Kristóf Marussy	2020-05-19
\| * \|	Merge branch 'master' of github.com:viatra/VIATRA-Generator	Kristóf Marussy	2020-05-19
\| \|\ \
\| * \ \	Merge branch 'master' of github.com:viatra/VIATRA-Generator	Kristóf Marussy	2020-05-19
\| \|\ \ \
\| * \ \ \	Merge remote-tracking branch 'upstream/master'	Kristóf Marussy	2020-05-19
\| \|\ \ \ \
\| * \| \| \| \|	Config language WIP	Kristóf Marussy	2020-05-19
* \| \| \| \| \|	adding numbers to gml visualization	Oszkar Semerath	2020-05-20
\| \|_\|_\|_\|/ \|/\| \| \| \|
* \| \| \| \|	smarter fitness for satellite	Oszkar Semerath	2020-05-19
\| \|_\|_\|/ \|/\| \| \|
* \| \| \|	taxation config update	Oszkar Semerath	2020-05-19
\| \|_\|/ \|/\| \|
* \| \|	option to calculate object creation costs in fitness	Oszkar Semerath	2020-05-19
\| \|/ \|/\|
* \|	Merge branch 'master' of https://github.com/viatra/VIATRA-Generator	Oszkar Semerath	2020-05-19
\|\ \
\| * \|	Add most of the measurements	ArenBabikian	2020-05-18
* \| \|	intermediateConsistencyCheck controls the maySatisfiable only	Oszkar Semerath	2020-05-19
\|/ /
* \|	removed every occurence of check expressions	Oszkar Semerath	2020-05-18
* \|	Merge branch 'master' of https://github.com/viatra/VIATRA-Generator	Oszkar Semerath	2020-05-17
\|\ \
\| * \|	update measurements setup. make archives.	ArenBabikian	2020-05-17
\| * \|	Adjust Taxation model.	ArenBabikian	2020-05-17
* \| \|	TransformationExecutionTime + weights can be controlled from config	Oszkar Semerath	2020-05-17
\|/ /
* \|	detailed runtimes + counting defined objects only	Oszkar Semerath	2020-05-17
* \|	Setting delimier in every printing mode to ','	Oszkar Semerath	2020-05-17
* \|	setting delimier (third attempt)	Oszkar Semerath	2020-05-17
* \|	separtor ; -> \t	Oszkar Semerath	2020-05-14
* \|	Merge branch 'master' of https://github.com/viatra/VIATRA-Generator	Oszkar Semerath	2020-05-14
\|\ \
\| * \|	Adjust Pledge, handling of many households.	ArenBabikian	2020-05-14
* \| \|	fixes for the measurement	Oszkar Semerath	2020-05-14
\|/ /
* \|	Merge branch 'master' of https://github.com/viatra/VIATRA-Generator	Oszkar Semerath	2020-05-14
\|\ \
\| * \|	Adjust case study master file. Add some measurements	ArenBabikian	2020-05-13
\| * \|	Use String to create RealExpr	anqili426	2020-05-13
\| * \|	Add measurements, generate new jar that allows upper limit (w/o viz)	ArenBabikian	2020-05-13