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

	Commit message (Collapse)	Author	Age
*	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