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

	Commit message (Collapse)	Author	Age
*	UP patterns -> decision procedure trace finished	Oszkar Semerath	2020-05-08
\|
*	UnitPropagationProvider added to the generated patterns	Oszkar Semerath	2020-04-30
\|
*	restructured pattern generation	Oszkar Semerath	2020-04-14
\|
*	Primitive object indexing update	Oszkar Semerath	2020-04-08
\|
*	Fixed misformalization of (may/must)(X!=Y) for abstract objects	oszka	2019-04-16
\|
*	Fixing indexing symbolic prototype objects as untyped EObjects	OszkarSemerath	2018-08-10
\|
*	Fixing multiple true/false + bug preventing generation without PS	OszkarSemerath	2018-06-25
\|
*	Support for updated partial model representation during generationScope-PS-Refactor	OszkarSemerath	2018-06-13
\|
*	upgraded attribute support for the graph solver	OszkarSemerath	2018-03-24
\|
*	Primitive types added to the logic problem only if needed	OszkarSemerath	2017-08-27
\|
*	Bugfixing typo in generated queries	OszkarSemerath	2017-08-16
\|
*	Mapping of primitive types in patterns	OszkarSemerath	2017-08-16
\|
*	Viatra Solver result support for primitive types	OszkarSemerath	2017-08-15
\|
*	The generated patterns follow the new naming convention.	OszkarSemerath	2017-07-12
\|
*	Migrating Additional projects	OszkarSemerath	2017-06-10