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

	Commit message (Collapse)	Author	Age
*	Refactored to the milestone version of Viatra 2.0	OszkarSemerath	2018-05-08
\|
*	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
*	Debug for SMT scopes	OszkarSemerath	2018-05-05
\|
*	containment mapping fix	OszkarSemerath	2018-05-05
\|
*	Removed unused projects	OszkarSemerath	2018-03-24
\|
*	Rebooting Z3 solver Containment vs Inheritance still has a bug	OszkarSemerath	2018-03-07
\|
*	SMT support for primitive types	OszkarSemerath	2017-08-16
\|
*	SMT solver implementation of multiple model generation	OszkarSemerath	2017-07-02
\|
*	Added generated Xtext artefacts	OszkarSemerath	2017-06-10
\|
*	Migrating Additional projects	OszkarSemerath	2017-06-10