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

	Commit message (Collapse)	Author	Age
*	Trying to fix performance regressions	Kristóf Marussy	2020-07-07
\|
*	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
\| \|
\| *	Objective POC implementation	Kristóf Marussy	2019-04-08
\| \|
\| *	Infrastructure for objective functions	Kristóf Marussy	2019-04-07
\| \|
* \|	TransformationExecutionTime + weights can be controlled from config	Oszkar Semerath	2020-05-17
\| \|
* \|	detailed runtimes + counting defined objects only	Oszkar Semerath	2020-05-17
\| \|
* \|	advanced goal heuristics for missing containment and non-cont. edges	Oszkar Semerath	2020-05-12
\| \|
* \|	separated must and current UP rules to support non-prop neg finds	Oszkar Semerath	2020-05-11
\| \|
* \|	measurement time statistics + activation selection strategies	Oszkar Semerath	2020-05-10
\|/
*	If scope available, then it is maintained during generation via VS	OszkarSemerath	2018-09-14
\|
*	Migrating Additional projects	OszkarSemerath	2017-06-10