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

	Commit message (Collapse)	Author	Age
*	VAMPIRE: fix model generation	ArenBabikian	2019-09-11
\|
*	VAMPIRE: Implement wf constraint handling	ArenBabikian	2019-09-08
\|
*	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
\|
*	Implement containment circularity avoidance #20	ArenBabikian	2019-04-05
\|
*	Closes #34, adds code to test cases where minScope>maxScope.	ArenBabikian	2019-04-04
\|
*	Add gitignore, commit everything	ArenBabikian	2019-03-20
\|
*	Query parser update to current Viatra milestone	OszkarSemerath	2018-05-18
\|
*	added gitignore to generated outputs	OszkarSemerath	2018-05-12
\|
*	Project update	OszkarSemerath	2018-05-12
\|
*	VSConfig update	OszkarSemerath	2018-05-12
\|
*	Example updated	OszkarSemerath	2018-05-12
\|
*	Removed unused projects	OszkarSemerath	2018-03-24
\|
*	example projects added	OszkarSemerath	2018-03-24
\|
*	Added a set of mutated queries to yakindu	OszkarSemerath	2017-10-27
\|
*	Alloy Examples	OszkarSemerath	2017-08-20
\|
*	Added progress and basic statstic report to the yakindu model	OszkarSemerath	2017-07-05
\| \| \|	translator.
*	Bug with outgoing transitions in yakindu example.	OszkarSemerath	2017-07-05
\|
*	Model translator and sanitiser from original yakindu files to simplified	OszkarSemerath	2017-06-21
\| \| \| \| \|	metamodel. Added a sample Main function.
*	generated code for the newly added types	OszkarSemerath	2017-06-21
\|
*	Added missing types: exit state, final state and choice	OszkarSemerath	2017-06-21
\|
*	Divers Generation times are added to statisticsexample scenario	OszkarSemerath	2017-06-16
\|
*	Migrating Additional projects	OszkarSemerath	2017-06-10