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

	Commit message (Expand)	Author	Age
...
\| \| \| * \| \| \| \| \|	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
\| \| \| * \| \| \| \| \| \| \| \| \| \|	Make diversity checking work with optimization	Kristóf Marussy	2019-04-09
\| \| \| * \| \| \| \| \| \| \| \| \| \|	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
\| \| \| * \| \| \| \| \| \| \| \| \| \|	Add reliability probability and mtff objectives	Kristóf Marussy	2019-03-25
\| \| \| * \| \| \| \| \| \| \| \| \| \|	Do not throw exception for empty package names in application configuration f...	Kristóf Marussy	2019-03-21
\| \| \| * \| \| \| \| \| \| \| \| \| \|	Clean up dependencies of the application configuration plugin	Kristóf Marussy	2019-03-21
\| \| \| * \| \| \| \| \| \| \| \| \| \|	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
\| \| \| * \| \| \| \| \| \| \| \| \| \|	Trying to get FAMTest to work	Kristóf Marussy	2019-02-19
\| \| \| * \| \| \| \| \| \| \| \| \| \|	Fix recursive use of computeIfAbsent	Kristóf Marussy	2019-02-19
\| \| \| * \| \| \| \| \| \| \| \| \| \|	Two-valued fault tree analyzer WIP	Kristóf Marussy	2019-02-19