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

	Commit message (Collapse)	Author	Age
*	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
\| \| \|
\| \| *	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
\| \| \| \| \|
\| \| \| * \|	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
\| \| \| \| \|
\| \| \| * \|	Try fix statecode bug	Kristóf Marussy	2019-06-15
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Modified graph width calculation to not depend on order of nodes
\| \| \| * \|	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-06-08
\| \| \| \|\ \
\| \| \| * \| \|	Interval hull aggregation operator	Kristóf Marussy	2019-05-18
\| \| \| \| \| \|
\| \| \| * \| \|	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-05-13
\| \| \| \|\ \ \
\| \| \| * \| \| \|	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
\| \| \| \| \| \| \|