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

	Commit message (Collapse)	Author	Age
*	Fix scope + numerical propagation WIP	Kristóf Marussy	2020-06-27
\|
*	Merge branch 'kris'	Kristóf Marussy	2020-06-25
\|\
\| *	Measurements WIP	Kristóf Marussy	2019-08-14
\| \|
\| *	Configurability and better statistics for measurements	Kristóf Marussy	2019-08-01
\| \|
\| *	Polyhedron abstraction with Z3 for cardinality propagation	Kristóf Marussy	2019-07-14
\| \|
* \|	removed every occurence of check expressions	Oszkar Semerath	2020-05-18
\| \|
* \|	Object is recursively instantiated if it has no subtype alternative	Oszkar Semerath	2020-05-12
\| \|
* \|	fix for inverse references	Oszkar Semerath	2020-05-11
\| \|
* \|	automated containment and attribute addition for subclasses	Oszkar Semerath	2020-05-11
\| \|
* \|	UP patterns -> decision procedure trace finished	Oszkar Semerath	2020-05-08
\| \|
* \|	contained objects instantiated immediately if target class non-abstract	Oszkar Semerath	2020-05-08
\| \|
* \|	multiple object additions fixes	Oszkar Semerath	2020-05-07
\| \|
* \|	missing commit	Oszkar Semerath	2020-05-01
\|/
*	Update support for java and emf DATATYPES, and basic scope propagator	OszkarSemerath	2018-09-14
\|
*	Support for updated partial model representation during generationScope-PS-Refactor	OszkarSemerath	2018-06-13
\|
*	derived feature -> partial relation bugfix	OszkarSemerath	2018-05-12
\|
*	removed unnecessary println	OszkarSemerath	2018-03-07
\|
*	Fixed nasty bug with creating root element	OszkarSemerath	2018-03-05
\|
*	Migrating Additional projects	OszkarSemerath	2017-06-10