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

	Commit message (Collapse)	Author	Age
*	Ready for strategies case study	Aren Babikian	2021-02-16
\|
*	finished first impl that works sometimes (issue w/ SAT in Dreal rerun)	Aren Babikian	2021-02-14
\|
*	add vsconfig flag to allow running dreal locally	Aren Babikian	2021-01-19
\|
*	complete change of real representation BigDecimal->Double	Aren Babikian	2021-01-14
\|
*	Add config flag for selecting numeric solver. Integ with Z3	Aren Babikian	2021-01-06
\|
*	implement isSatisfiable with Dreal integration	Aren Babikian	2021-01-06
\|
*	Optimizing generator with linear objective functions	Kristóf Marussy	2020-11-02
\|
*	Must unit propagation	Kristóf Marussy	2020-08-28
\|
*	MoDeS3 unit propagation WIP	Kristóf Marussy	2020-08-06
\|
*	Optimizations	Kristóf Marussy	2020-07-14
\|
*	Restore inverse punishSize	Kristóf Marussy	2020-07-07
\|
*	Trying to fix performance regressions	Kristóf Marussy	2020-07-07
\|
*	Fix scope + numerical solver interaction	Kristóf Marussy	2020-06-28
\|
*	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
\| \|
\| *	Polyhedron scope propagator for non-containment references	Kristóf Marussy	2019-07-30
\| \|
\| *	Polyhedron abstraction with Z3 for cardinality propagation	Kristóf Marussy	2019-07-14
\| \|
\| *	Try fix statecode bug	Kristóf Marussy	2019-06-15
\| \| \| \| \| \| \| \|	Modified graph width calculation to not depend on order of nodes
\| *	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
\| *	Fix solution store for optimization	Kristóf Marussy	2019-04-08
\| \|
\| *	Objective POC implementation	Kristóf Marussy	2019-04-08
\| \|
\| *	Infrastructure for objective functions	Kristóf Marussy	2019-04-07
\| \|
* \|	Measurements framework fixes	Kristóf Marussy	2020-06-23
\| \|
* \|	option to calculate object creation costs in fitness	Oszkar Semerath	2020-05-19
\| \|
* \|	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
\| \|
* \|	logging detailed measurement data for the numerical solver	Oszkar Semerath	2020-05-12
\| \|
* \|	measurement time statistics + activation selection strategies	Oszkar Semerath	2020-05-10
\| \|
* \|	Numeric Solver integration to exploration	Oszkar Semerath	2020-05-09
\| \|
* \|	multiple object additions fixes	Oszkar Semerath	2020-05-07
\| \|
* \|	(lipstick)	Oszkar Semerath	2020-04-15
\|/
*	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
\| \| \|	As handling primitive types requires more complex initialisation.
*	Fixing multiple true/false + bug preventing generation without PS	OszkarSemerath	2018-06-25
\|
*	Visualisation potentionally gets the patterns	OszkarSemerath	2018-06-14
\|
*	ViatraSolver reports progress and stops at cancel	OszkarSemerath	2018-03-03
\|
*	Translated PQueryies are added to annotation.	OszkarSemerath	2018-02-24
\|
*	Viatra Solver result support for primitive types	OszkarSemerath	2017-08-15
\|
*	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
\|
*	Divers Generation times are added to statisticsexample scenario	OszkarSemerath	2017-06-16
\|
*	Migrating Additional projects	OszkarSemerath	2017-06-10