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

	Commit message (Collapse)	Author	Age
*	Scope unsat benchmarks	Kristóf Marussy	2020-05-07
\|
*	Build with Eclipse 2018.12, generated files change	Kristóf Marussy	2019-02-19
\|
*	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
*	Documentation level for Alloy	OszkarSemerath	2018-02-24
\|
*	Migrating Additional projects	OszkarSemerath	2017-06-10