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

	Commit message (Collapse)	Author	Age
*	prepping measurement setup w/ dreal	Aren Babikian	2021-01-06
\|
*	merge models20 measurements	Aren Babikian	2021-01-05
\|\
\| *	add models20 measuement setup from VM	Aren Babikian	2021-01-05
\| \|
* \|	Fix Z3 dependency	Kristóf Marussy	2020-11-26
\|/
*	Merge branch 'kris'	Kristóf Marussy	2020-06-25
\|\
\| *	Implement Coin-OR CBC polyhedron saturation operator	Kristóf Marussy	2019-07-19
\| \|
\| *	Polyhedron abstraction with Z3 for cardinality propagation	Kristóf Marussy	2019-07-14
\| \|
\| *	[Stochastic] Fault tree transformation langauge	Kristóf Marussy	2019-02-19
\|/
*	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