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

	Commit message (Collapse)	Author	Age
*	Facilitate #31, close #36	ArenBabikian	2020-06-07
\|
*	Closes #34, adds code to test cases where minScope>maxScope.	ArenBabikian	2020-06-07
\|
*	Add to containment, add notObject case.	ArenBabikian	2020-06-07
\|
*	Add gitignore, commit everything	ArenBabikian	2020-06-07
\|
*	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
\|
*	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
\| \|
* \|	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
\|