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

	Commit message (Collapse)	Author	Age
*	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
\|\
\| *	https://github.com/kris7t graph width calculation ->	Oszkar Semerath	2019-07-15
\| \| \| \| \| \| \| \|	from https://github.com/kris7t/VIATRA-Generator/blob/c0c5a1644cc221352b8b9b370eea6a87677ba948/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/PartialInterpretation2NeighbourhoodRepresentation.xtend#L99-L138
\| *	adding slf4j dependency to avoid error message in logs	Oszkar Semerath	2019-07-15
\| \|
\| *	Updated link to Alloy	Oszkar Semerath	2019-06-25
\| \|
* \|	Counting scope propagator (simpler than BasicTypeHierarchy)	Kristóf Marussy	2019-08-01
\| \|
* \|	Configurability and better statistics for measurements	Kristóf Marussy	2019-08-01
\| \|
* \|	Build Cbc wrapper under Ubuntu 18.04	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
\|\\|
\| *	Default state coder range set to Width, as it should be	OszkarSemerath	2019-06-01
\| \|
* \|	Interval hull aggregation operator	Kristóf Marussy	2019-05-18
\| \|
* \|	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-05-13
\|\\|
\| *	Fix for symmetric activation codes on symmetric models	OszkarSemerath	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
\| \|
* \|	Interval arithmetic WIP	Kristóf Marussy	2019-05-08
\| \|
* \|	Trying to implement spacecraft case study	Kristóf Marussy	2019-05-06
\| \|
* \|	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-05-04
\|\\|
\| *	removed unused test case	OszkarSemerath	2019-05-04
\| \|
* \|	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-04-16
\|\\|
\| *	Fixed misformalization of (may/must)(X!=Y) for abstract objects	oszka	2019-04-16
\| \|
\| *	ParseUtil hijacked original vql parser and caused errors - fix by kris7t	OszkarSemerath	2019-03-19
\| \| \| \| \| \|	https://github.com/kris7t
* \|	Satellite constellation case study WIP	Kristóf Marussy	2019-04-15
\| \|
* \|	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
\| \|