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

	Commit message (Expand)	Author	Age
...
\| * \| \| \| \|	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
\| \|\ \ \ \ \
\| * \| \| \| \| \|	[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
\| * \| \| \| \| \|	Polyhedron abstraction with Z3 for cardinality propagation	Kristóf Marussy	2019-07-14
\| * \| \| \| \| \|	Try fix statecode bug	Kristóf Marussy	2019-06-15
\| * \| \| \| \| \|	Bump MDEOptimizer version	Kristóf Marussy	2019-06-09
\| * \| \| \| \| \|	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
\| \|\ \ \ \ \ \
\| * \| \| \| \| \| \|	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
\| * \| \| \| \| \| \|	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
\| \|\ \ \ \ \ \ \
\| * \| \| \| \| \| \| \|	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
\| * \| \| \| \| \| \| \|	Do not use derived features in satellite case study vql	Kristóf Marussy	2019-05-07
\| * \| \| \| \| \| \| \|	Revert "Try to restructure satellite case study"	Kristóf Marussy	2019-05-07
\| * \| \| \| \| \| \| \|	Try to restructure satellite case study	Kristóf Marussy	2019-05-07
\| * \| \| \| \| \| \| \|	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-06
\| \|\ \ \ \ \ \ \ \
\| * \ \ \ \ \ \ \ \	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-05-04
\| \|\ \ \ \ \ \ \ \ \
\| * \| \| \| \| \| \| \| \| \|	Metrics for satellite case study	Kristóf Marussy	2019-05-04
\| * \| \| \| \| \| \| \| \| \|	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-04-16
\| \|\ \ \ \ \ \ \ \ \ \
\| * \| \| \| \| \| \| \| \| \| \|	Satellite constellation case study WIP	Kristóf Marussy	2019-04-15