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

	Commit message (Expand)	Author	Age
*	Merge branch 'Vampire-New' into Vampire-New	ArenBabikian	2020-06-07
\|\
\| *	VAMPIRE: Implement Vampire measurement code	ArenBabikian	2019-10-07
\| *	VAMPIRE: close #22, improve test structure for #39, .vql file trouble	ArenBabikian	2019-04-15
\| *	VAMPIRE: #39 Reorganise tests, working yakindu test, need debugging	ArenBabikian	2019-04-11
* \|	VAMPIRE: Implement Vampire measurement code	ArenBabikian	2020-06-07
* \|	VAMPIRE: close #22, improve test structure for #39, .vql file trouble	ArenBabikian	2020-06-07
* \|	VAMPIRE: #39 Reorganise tests, working yakindu test, need debugging	ArenBabikian	2020-06-07
* \|	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