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

	Commit message (Collapse)	Author	Age
*	separated must and current UP rules to support non-prop neg finds	Oszkar Semerath	2020-05-11
\|
*	measurement time statistics + activation selection strategies	Oszkar Semerath	2020-05-10
\|
*	Numeric Solver integration to exploration	Oszkar Semerath	2020-05-09
\|
*	If scope available, then it is maintained during generation via VS	OszkarSemerath	2018-09-14
\|
*	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
\|
*	ViatraSolver reports progress and stops at cancel	OszkarSemerath	2018-03-03
\|
*	Set thread stop signal to volatile	OszkarSemerath	2017-09-27
\|
*	Rearranged the solver configuration into different subsections	OszkarSemerath	2017-07-12
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	DiversityDescriptor * Describes the required diversity between the solutions. * Null means that the solutions have to have different state codes only. InternalConsistencyCheckerConfiguration * A logic solver that able to check the consistency of an intermediate solution. * Null means that no solver is called. DebugConfiguration * Configuration for debugging support. SearchSpaceConstraint * Configuration for cutting search space.
*	Support for generationg multiple difference models by VIATRA-Solver	OszkarSemerath	2017-07-05
\|
*	Migrating Additional projects	OszkarSemerath	2017-06-10