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

	Commit message (Collapse)	Author	Age
*	Fix Z3 dependency	Kristóf Marussy	2020-11-26
\|
*	Able to run Pledge Case Study	ArenBabikian	2020-04-28
\|
*	parsing count, min, max, check and eval v1	Oszkar Semerath	2019-07-15
\|
*	ParseUtil hijacked original vql parser and caused errors - fix by kris7t	OszkarSemerath	2019-03-19
\| \| \|	https://github.com/kris7t
*	Updated type provider to support java native types	OszkarSemerath	2018-08-10
\|
*	Updated and fixed dependencies:	OszkarSemerath	2018-05-07
\| \| \| \| \| \|	- All java library dependency: fixed to java 1.8 - Added Automatic-Module-Name to be compatible with java 1.9 - Added all sources explicitly to build.properties - removed .util packages generated by previous versions of Viatra
*	Migrating Additional projects	OszkarSemerath	2017-06-10