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

	Commit message (Collapse)	Author	Age
*	crlf fix	Aren Babikian	2021-01-06
\|
*	Must unit propagation	Kristóf Marussy	2020-08-28
\|
*	Merge branch 'kris'	Kristóf Marussy	2020-06-25
\|\
\| *	Scope unsat benchmarks	Kristóf Marussy	2020-05-07
\| \|
\| *	Measurements WIP	Kristóf Marussy	2019-08-14
\| \|
\| *	Build with Eclipse 2018.12, generated files change	Kristóf Marussy	2019-02-19
\| \|
* \|	Rebuild with Eclipse 2020-03	Kristóf Marussy	2020-05-07
\|/
*	Added a set of mutated queries to yakindu	OszkarSemerath	2017-10-27
\|
*	Added missing types: exit state, final state and choice	OszkarSemerath	2017-06-21
\|
*	Migrating Additional projects	OszkarSemerath	2017-06-10