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

	Commit message (Collapse)	Author	Age
*	code for paperRealistic-Generation-SURE	20001LastOrder	2020-11-15
\|
*	fix merging issue	20001LastOrder	2020-11-04
\|\
\| *	merge with current master, comment numerical solver related logging	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
\| \| \|
\| \| *	MoDeS3 unit propagation WIP	Kristóf Marussy	2020-08-06
\| \| \|
\| \| *	Fix time measurement	Kristóf Marussy	2020-07-29
\| \| \|
\| \| *	Optimizations	Kristóf Marussy	2020-07-14
\| \| \|
\| \| *	Fix event storm on EMF transaction finish	Kristóf Marussy	2020-07-08
\| \| \|
\| \| *	Trying to fix performance regressions	Kristóf Marussy	2020-07-07
\| \| \|
\| \| *	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
\| \| \|\
\| \| \| *	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
\| \| \| \|
\| \| \| *	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
\| \| \| \|
\| \| \| *	Cardinality propagator WIP	Kristóf Marussy	2019-07-24
\| \| \| \|
\| \| \| *	Implement Coin-OR CBC polyhedron saturation operator	Kristóf Marussy	2019-07-19
\| \| \| \|
\| \| \| *	Transitive closure of type hierarchy in ScopePropagator	Kristóf Marussy	2019-07-14
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	This does not mappter for propagateAllScopeConstraints(), but propagateAdditionToType gets more exact this way.
\| \| \| *	Polyhedron abstraction with Z3 for cardinality propagation	Kristóf Marussy	2019-07-14
\| \| \| \|
\| \| \| *	Interval hull aggregation operator	Kristóf Marussy	2019-05-18
\| \| \| \|
\| \| \| *	Interval power and aggregator fix	Kristóf Marussy	2019-05-10
\| \| \| \|
\| \| \| *	More aggregation operators	Kristóf Marussy	2019-05-10
\| \| \| \|
\| \| \| *	Neutral element for sum is [0, 0]	Kristóf Marussy	2019-05-10
\| \| \| \|
\| \| \| *	Interval aggregation operators	Kristóf Marussy	2019-05-09
\| \| \| \|
\| \| \| *	Fix interval join	Kristóf Marussy	2019-05-09
\| \| \| \|
\| \| \| *	Interval comparison	Kristóf Marussy	2019-05-09
\| \| \| \|
\| \| \| *	Implement interval arithmetic without exponentiation	Kristóf Marussy	2019-05-08
\| \| \| \|
\| \| \| *	Interval arithmetic WIP	Kristóf Marussy	2019-05-08
\| \| \| \|
\| \| \| *	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-04-16
\| \| \| \|\
\| \| \| * \|	Objective POC implementation	Kristóf Marussy	2019-04-08
\| \| \| \| \|
\| \| \| * \|	Infrastructure for objective functions	Kristóf Marussy	2019-04-07
\| \| \| \| \|
\| \| \| * \|	Fault tree transformation for partial models WIP	Kristóf Marussy	2019-03-20
\| \| \| \| \|
\| \| \| * \|	Fix ParseUtil to avoid breaking the .vql editor in Eclipse	Kristóf Marussy	2019-02-21
\| \| \| \| \|
\| * \| \| \|	add realistic solver	20001LastOrder	2020-11-03
\| \|/ / /
\| * \| \|	option to calculate object creation costs in fitness	Oszkar Semerath	2020-05-19
\| \| \| \|