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

	Commit message (Expand)	Author	Age
*	merge with current master, comment numerical solver related logging	20001LastOrder	2020-11-04
\|\
\| *	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
* \| \|	add realistic solver	20001LastOrder	2020-11-03
\|/ /
* /	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