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

	Commit message (Collapse)	Author	Age
*	Fix Z3 dependency	Kristóf Marussy	2020-11-26
\|
*	Optimizing generator with linear objective functions	Kristóf Marussy	2020-11-02
\|
*	Fix event storm on EMF transaction finish	Kristóf Marussy	2020-07-08
\|
*	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
\|
*	More aggregation operators	Kristóf Marussy	2019-05-10
\|
*	Interval arithmetic WIP	Kristóf Marussy	2019-05-08
\|
*	Build with Eclipse 2018.12, generated files change	Kristóf Marussy	2019-02-19
\|
*	some missing string support bugs in partial interpretation are fixed	OszkarSemerath	2018-11-07
\|
*	Update support for java and emf DATATYPES, and basic scope propagator	OszkarSemerath	2018-09-14
\|
*	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
*	Migrating Additional projects	OszkarSemerath	2017-06-10