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

	Commit message (Collapse)	Author	Age
*	VAMPIRE: fix bug in transformation, further implement measurement code	ArenBabikian	2019-10-08
\|
*	VAMPIRE: Implement Vampire measurement code	ArenBabikian	2019-10-07
\|
*	VAMPIRE: integrate local Vampire executeable #32	ArenBabikian	2019-08-28
\|
*	Pre-realisticBranchCreation Commit	ArenBabikian	2019-05-12
\|
*	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 type scope handling	ArenBabikian	2019-03-05
\|
*	Fix FAM Test. Begin Grammar Fix.	ArenBabikian	2019-02-01