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

	Commit message (Collapse)	Author	Age
*	fix merging issue	20001LastOrder	2020-11-04
\|\
\| *	Optimizing generator with linear objective functions	Kristóf Marussy	2020-11-02
\| \|
\| *	Must unit propagation	Kristóf Marussy	2020-08-28
\| \|
\| *	Trying to fix performance regressions	Kristóf Marussy	2020-07-07
\| \|
\| *	Fix scope + numerical propagation WIP	Kristóf Marussy	2020-06-27
\| \|
\| *	Merge branch 'kris'	Kristóf Marussy	2020-06-25
\| \|\
\| \| *	Measurements WIP	Kristóf Marussy	2019-08-14
\| \| \|
\| \| *	Configurability and better statistics for measurements	Kristóf Marussy	2019-08-01
\| \| \|
\| \| *	Try fix statecode bug	Kristóf Marussy	2019-06-15
\| \| \| \| \| \| \| \| \| \| \| \|	Modified graph width calculation to not depend on order of nodes
\| \| *	Trying to implement spacecraft case study	Kristóf Marussy	2019-05-06
\| \| \|
\| \| *	Make diversity checking work with optimization	Kristóf Marussy	2019-04-09
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Proof of concept implementation, mixing diversity checking and optimization may not be very effective in practice
\| \| *	Infrastructure for objective functions	Kristóf Marussy	2019-04-07
\| \| \|
\| * \|	Measurements framework fixes	Kristóf Marussy	2020-06-23
\| \| \|
\| * \|	Fix numeric-solver-at-end	Kristóf Marussy	2020-05-20
\| \| \|
\| * \|	removed every occurence of check expressions	Oszkar Semerath	2020-05-18
\| \| \|
\| * \|	TransformationExecutionTime + weights can be controlled from config	Oszkar Semerath	2020-05-17
\| \| \|
\| * \|	detailed runtimes + counting defined objects only	Oszkar Semerath	2020-05-17
\| \| \|
\| * \|	fixes for the measurement	Oszkar Semerath	2020-05-14
\| \| \|
\| * \|	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
\| \|/
* \|	Further development of realistic solver, create generation config for ecore ↵	20001LastOrder	2019-07-31
\| \| \| \| \| \| \| \|	models
* \|	Hill climbing for realistic graphs with consistency feature	20001LastOrder	2019-06-13
\| \|
* \|	add hill climbing to best first strategy	20001LastOrder	2019-06-05
\| \|
* \|	calculate metrics at the end of model generation	chuningli	2019-05-28
\| \|
* \|	fix the null pointer error when trying reproducing the generation procedure	20001LastOrder	2019-05-27
\| \|
* \|	modify generation to log metrics measurements	20001LastOrder	2019-05-27
\|/
*	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