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: complete first version of VampireModelInterpretation	ArenBabikian	2019-09-03
\|
*	VAMPIRE: implement Vampire Model Interpreter, 2/3 done	ArenBabikian	2019-09-02
\|
*	VAMPIRE: setup structure of model interpretation	ArenBabikian	2019-08-29
\|
*	VAMPIRE: integrate local Vampire executeable #32	ArenBabikian	2019-08-28
\|
*	VAMPIRE: fixed MANY bugs in containment and scope. #40 is good for now	ArenBabikian	2019-04-25
\|
*	VAMPIRE : initial model handling almost done. only typeScope remains #40	ArenBabikian	2019-04-24
\|
*	VAMPIRE: add to #40. I am tired	ArenBabikian	2019-04-24
\|
*	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
\|
*	Facilitate #31, close #36	ArenBabikian	2019-04-04
\|
*	Closes #34, adds code to test cases where minScope>maxScope.	ArenBabikian	2019-04-04
\|
*	Add to containment, add notObject case.	ArenBabikian	2019-03-21
\|
*	Add gitignore, commit everything	ArenBabikian	2019-03-20
\|
*	Implement Containment mapping (partially) and revisit enum mapping	ArenBabikian	2019-03-14
\|
*	Implement type scope for specific types	ArenBabikian	2019-03-13
\|
*	Improve TypeScope handling	ArenBabikian	2019-03-07
\|
*	Continue improving code style (need sleep)	ArenBabikian	2019-03-06
\|
*	Implement type scope handling	ArenBabikian	2019-03-05
\|
*	Begin handing of scope and fix type definitions.	ArenBabikian	2019-03-04
\|
*	Fix FAM Test. Begin Grammar Fix.	ArenBabikian	2019-02-01
\|
*	FAM MM transformation works	ArenBabikian	2019-01-16
\|
*	Initial workspace setup	ArenBabikian	2019-01-15