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

	Commit message (Collapse)	Author	Age
*	Measurements WIP	Kristóf Marussy	2019-08-15
\|
*	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
\|
*	Ensure that experiment runner code compiles	Kristóf Marussy	2019-08-01
\|
*	Clean up CPS and Satellite domains	Kristóf Marussy	2019-08-01
\|
*	Dump required Xbase version down to 2.17	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
\| \|
\| *	parsing count, min, max, check and eval v1	Oszkar Semerath	2019-07-15
\| \|
\| *	aggregated partial substitution + builder	Oszkar Semerath	2019-07-09
\| \|
\| *	Updated link to Alloy	Oszkar Semerath	2019-06-25
\| \|
* \|	[Stochastic] Remove fault tree support for now	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
\| \|
* \|	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
* \|	Bump MDEOptimizer version	Kristóf Marussy	2019-06-09
\| \| \| \| \| \| \| \|	https://github.com/mde-optimiser/mde_optimiser/issues/49
* \|	Simplify satellite metamodel further	Kristóf Marussy	2019-06-09
\| \|
* \|	Trying to simplify Satellite case study	Kristóf Marussy	2019-06-08
\| \|
* \|	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
\| \|
\| *	Inverse references works if opposite reference is pruned away.	OszkarSemerath	2019-06-01
\| \|
* \|	MDEOptimiser tuning for CPS	Kristóf Marussy	2019-05-25
\| \|
* \|	MDEOptimiser implementation of CPS benchmark	Kristóf Marussy	2019-05-22
\| \|
* \|	VIATRA DSE and COIN-OR CBC implementations of CPS case study	Kristóf Marussy	2019-05-21
\| \|
* \|	Interval hull aggregation operator	Kristóf Marussy	2019-05-18
\| \|
* \|	Model generator for CPS case study	Kristóf Marussy	2019-05-17
\| \| \| \| \| \| \| \|	Added extra constraint for redundancy in CPS deployments
* \|	Formalize CPS case study for optimization	Kristóf Marussy	2019-05-15
\| \|
* \|	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
\| \|