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

	Commit message (Expand)	Author	Age
*	Nodewise and graphwise diversity added	OszkarSemerath	2018-11-07
*	Fix boolean element mapping handling in logic structures for VS	OszkarSemerath	2018-11-07
*	Solver gives partial solutions even if it fails due to timeout or unsat	OszkarSemerath	2018-11-07
*	If scope available, then it is maintained during generation via VS	OszkarSemerath	2018-09-14
*	Lowered documentation level requirement for initial partial models	OszkarSemerath	2018-08-10
*	Fixing multiple true/false + bug preventing generation without PS	OszkarSemerath	2018-06-25
*	Fixing multiple "true" and "false" objects	OszkarSemerath	2018-06-20
*	Visualisation stub removed	OszkarSemerath	2018-06-20
*	Visualisation example using matches during generation	OszkarSemerath	2018-06-14
*	Visualisation potentionally gets the patterns	OszkarSemerath	2018-06-14
*	Updated partial model representation handling	OszkarSemerath	2018-06-13
*	Missing src-gen folders are supposed to be solved	OszkarSemerath	2018-05-18
*	Moved partial model management is moved to one project (+1 PM edge fix)	OszkarSemerath	2018-05-14
*	Updated and fixed dependencies:	OszkarSemerath	2018-05-07
*	ViatraSolver reports progress and stops at cancel	OszkarSemerath	2018-03-03
*	Translated PQueryies are added to annotation.	OszkarSemerath	2018-02-24
*	Diverse Solution Store runs with hash code of the representation	OszkarSemerath	2017-10-27
*	Set thread stop signal to volatile	OszkarSemerath	2017-09-27
*	Bugfixing typo in generated queries	OszkarSemerath	2017-08-16
*	Viatra Solver result support for primitive types	OszkarSemerath	2017-08-15
*	Rearranged the solver configuration into different subsections	OszkarSemerath	2017-07-12
*	Support for generationg multiple difference models by VIATRA-Solver	OszkarSemerath	2017-07-05
*	Divers Generation times are added to statisticsexample scenario	OszkarSemerath	2017-06-16
*	Migrating Additional projects	OszkarSemerath	2017-06-10