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

	Commit message (Collapse)	Author	Age
*	VAMPIRE: last commit	ArenBabikian	2020-02-03
\|
*	VAMPIRE: Implement Vampire measurement code	ArenBabikian	2019-10-07
\|
*	VAMPIRE: fix model generation	ArenBabikian	2019-09-11
\|
*	VAMPIRE: Implement wf constraint handling	ArenBabikian	2019-09-08
\|
*	Implement containment circularity avoidance #20	ArenBabikian	2019-04-05
\|
*	Closes #34, adds code to test cases where minScope>maxScope.	ArenBabikian	2019-04-04
\|
*	Project update	OszkarSemerath	2018-05-12
\|
*	VSConfig update	OszkarSemerath	2018-05-12
\|
*	example projects added	OszkarSemerath	2018-03-24