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

	Commit message (Collapse)	Author	Age
*	Numeric solver dreal hardcoding -> configV4transformation	OszkarSemerath	2021-07-30
\|
*	add dreal-timeout flag	Aren Babikian	2021-02-16
\|
*	Add strategy flag + implement alost working crossingScenarioStrategy	Aren Babikian	2021-02-14
\|
*	implement ignored attribute values as a config option	Aren Babikian	2021-01-22
\|
*	add vsconfig flag to allow running dreal locally	Aren Babikian	2021-01-19
\|
*	Add config flag for selecting numeric solver. Integ with Z3	Aren Babikian	2021-01-06
\|
*	copy-paste error fix attempt no2	Oszkar Semerath	2020-11-13
\|
*	Update SolverLoader.xtend	Oszkár Semeráth	2020-11-11
\| \| \|	AlloySolverConfiguration returned SMTSolverConfiguration
*	Restore inverse punishSize	Kristóf Marussy	2020-07-07
\|
*	Trying to fix performance regressions	Kristóf Marussy	2020-07-07
\|
*	Merge branch 'kris'	Kristóf Marussy	2020-06-25
\|\
\| *	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
\| \|
* \|	Fix numeric-solver-at-end	Kristóf Marussy	2020-05-20
\| \|
* \|	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
\| \|
* \|	fixes for the measurement	Oszkar Semerath	2020-05-14
\| \|
* \|	(lipstick)	Oszkar Semerath	2020-04-15
\|/
*	Diversity support for Solver config	OszkarSemerath	2018-09-14
\|
*	Config supports "diversity-range" parameter	OszkarSemerath	2018-08-27
\|
*	Visualisation potentionally gets the patterns	OszkarSemerath	2018-06-14
\|
*	Path as additional parameter	OszkarSemerath	2018-03-07
\|
*	Execution update	OszkarSemerath	2018-02-24
\|
*	Generation specification -> execution	OszkarSemerath	2018-02-15