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

	Commit message (Collapse)	Author	Age
...
\| * \| \| \| \| \|	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
\| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \|	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
\| \|\ \ \ \ \ \ \ \
\| * \ \ \ \ \ \ \ \	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
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	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
\| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \|	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
\| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \|	[Stochastic] Fault tree transformation langauge	Kristóf Marussy	2019-02-19
\| \| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \|	Build with Eclipse 2018.12, generated files change	Kristóf Marussy	2019-02-19
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	Measurements framework fixes	Kristóf Marussy	2020-06-23
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	Fix numeric-solver-at-end	Kristóf Marussy	2020-05-20
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	Fix attribute export to xmi	Kristóf Marussy	2020-05-20
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	FIx Boolean export to gml	Kristóf Marussy	2020-05-20
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	Merge branch 'master' of https://github.com/viatra/VIATRA-Generator	Oszkar Semerath	2020-05-20
\|\ \ \ \ \ \ \ \ \ \ \
\| * \| \| \| \| \| \| \| \| \| \|	Add new state coder	Kristóf Marussy	2020-05-19
\| \| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \| \|	adding numbers to gml visualization	Oszkar Semerath	2020-05-20
\|/ / / / / / / / / / /
* \| \| \| \| \| \| \| \| \| \|	option to calculate object creation costs in fitness	Oszkar Semerath	2020-05-19
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	intermediateConsistencyCheck controls the maySatisfiable only	Oszkar Semerath	2020-05-19
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	removed every occurence of check expressions	Oszkar Semerath	2020-05-18
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	TransformationExecutionTime + weights can be controlled from config	Oszkar Semerath	2020-05-17
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	detailed runtimes + counting defined objects only	Oszkar Semerath	2020-05-17
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	fixes for the measurement	Oszkar Semerath	2020-05-14
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	removeOne for object scope	Oszkar Semerath	2020-05-14
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	upper limit is soft	Oszkar Semerath	2020-05-13
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	logging detailed measurement data for the numerical solver	Oszkar Semerath	2020-05-12
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	removed unnecessary printing	Oszkar Semerath	2020-05-12
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	Missed containment indexer	Oszkar Semerath	2020-05-12
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	advanced goal heuristics for missing containment and non-cont. edges	Oszkar Semerath	2020-05-12
\| \| \| \| \| \| \| \| \| \| \|