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

	Commit message (Collapse)	Author	Age
*	finished first impl that works sometimes (issue w/ SAT in Dreal rerun)	Aren Babikian	2021-02-14
\|
*	Add strategy flag + implement alost working crossingScenarioStrategy	Aren Babikian	2021-02-14
\|
*	measurement setup is ready for server	Aren Babikian	2021-02-07
\|
*	Fix bug for ignored-attributes + better logic problem creation	Aren Babikian	2021-01-24
\|
*	Issue where blocker is not between source and target	Aren Babikian	2021-01-22
\|
*	implement ignored attribute values as a config option	Aren Babikian	2021-01-22
\|
*	almost finish crossscen VQL + implement ITE handling + prelim results	Aren Babikian	2021-01-20
\|
*	add Actor+CollisionExists constrs & adjust dreal parser & measurements	Aren Babikian	2021-01-19
\|
*	add vsconfig flag to allow running dreal locally	Aren Babikian	2021-01-19
\|
*	Begin vql implementation + fix enums bug	Aren Babikian	2021-01-15
\|
*	complete change of real representation BigDecimal->Double	Aren Babikian	2021-01-14
\|
*	crlf fix	Aren Babikian	2021-01-06
\|
*	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
\|
*	merge models20 measurements	Aren Babikian	2021-01-05
\|\
\| *	add models20 measuement setup from VM	Aren Babikian	2021-01-05
\| \|
* \|	Fix VQL validator breakage after Execute Application Configuration	Kristóf Marussy	2020-12-02
\| \|
* \|	Fix Z3 dependency	Kristóf Marussy	2020-11-26
\| \|
* \|	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
\| \|
* \|	Fix time measurement	Kristóf Marussy	2020-07-29
\|/
*	Fix numeric-solver-at-end	Kristóf Marussy	2020-07-16
\|
*	Optimizations	Kristóf Marussy	2020-07-14
\|
*	Fix event storm on EMF transaction finish	Kristóf Marussy	2020-07-08
\|
*	Restore inverse punishSize	Kristóf Marussy	2020-07-07
\|
*	Trying to fix performance regressions	Kristóf Marussy	2020-07-07
\|
*	Add modified VIATRA-DSE version	Kristóf Marussy	2020-06-30
\|
*	Disable unrepairable match scoping for now	Kristóf Marussy	2020-06-30
\|
*	Fix scope + numerical solver interaction	Kristóf Marussy	2020-06-28
\|
*	Fix scope + numerical propagation WIP	Kristóf Marussy	2020-06-27
\|
*	Merge branch 'kris'	Kristóf Marussy	2020-06-25
\|\
\| *	Scope unsat benchmarks	Kristóf Marussy	2020-05-07
\| \|
\| *	Polyhedron solver SAT fix and initial scope filtering	Kristóf Marussy	2019-10-29
\| \|
\| *	Measurements WIP	Kristóf Marussy	2019-08-22
\| \|
\| *	Measurements WIP	Kristóf Marussy	2019-08-14
\| \|
\| *	Be more lenient with rounding IP solver results	Kristóf Marussy	2019-08-02
\| \|
\| *	Handle floating point rounding errors in Cbc	Kristóf Marussy	2019-08-02
\| \|
\| *	Fix enum literal support for FAM	Kristóf Marussy	2019-08-02
\| \|
\| *	Trying to run generator in measurement environment	Kristóf Marussy	2019-08-01
\| \|
\| *	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-08-01
\| \|\
\| * \|	Counting scope propagator (simpler than BasicTypeHierarchy)	Kristóf Marussy	2019-08-01
\| \| \|
\| * \|	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
\| \| \|
\| * \|	Allow infiite upper scope bound in PolyhedronScopePropagator	Kristóf Marussy	2019-07-29
\| \| \|
\| * \|	Fix CBC timeout	Kristóf Marussy	2019-07-29
\| \| \|
\| * \|	Make CbcPolyhedronSolver more robust	Kristóf Marussy	2019-07-29
\| \| \|
\| * \|	Parse rational numbers in Z3PolyhedronSolver	Kristóf Marussy	2019-07-25
\| \| \|
\| * \|	Make polyhedron solvers more robust	Kristóf Marussy	2019-07-25
\| \| \|
\| * \|	Containment root constraint propagator	Kristóf Marussy	2019-07-24
\| \| \|