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

	Commit message (Expand)	Author	Age
...
\| * \| \| \| \| \| \| \|	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
\| * \| \| \| \| \| \| \| \| \|	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
* \| \| \| \| \| \| \| \| \| \|	removed potential equivalence between real values and integers	Oszkar Semerath	2020-05-12
* \| \| \| \| \| \| \| \| \| \|	Object is recursively instantiated if it has no subtype alternative	Oszkar Semerath	2020-05-12
* \| \| \| \| \| \| \| \| \| \|	variable indexing bugs in referred patterns in UP	Oszkar Semerath	2020-05-12
* \| \| \| \| \| \| \| \| \| \|	Bigliteral serialization in xmi transformation fixed	Oszkar Semerath	2020-05-11
* \| \| \| \| \| \| \| \| \| \|	fix for inverse references	Oszkar Semerath	2020-05-11
* \| \| \| \| \| \| \| \| \| \|	Allow real numbers to be in the solution	anqili426	2020-05-10
* \| \| \| \| \| \| \| \| \| \|	temporally removed check expressions for real values	Oszkar Semerath	2020-05-11
* \| \| \| \| \| \| \| \| \| \|	Instead of Bigdecimals doubleValue are used in check	Oszkar Semerath	2020-05-11
* \| \| \| \| \| \| \| \| \| \|	separated must and current UP rules to support non-prop neg finds	Oszkar Semerath	2020-05-11
* \| \| \| \| \| \| \| \| \| \|	automated containment and attribute addition for subclasses	Oszkar Semerath	2020-05-11
* \| \| \| \| \| \| \| \| \| \|	measurement time statistics + activation selection strategies	Oszkar Semerath	2020-05-10
* \| \| \| \| \| \| \| \| \| \|	uninvolved objects are filled with a default value	Oszkar Semerath	2020-05-09
* \| \| \| \| \| \| \| \| \| \|	Numeric Solver integration to exploration	Oszkar Semerath	2020-05-09
* \| \| \| \| \| \| \| \| \| \|	removed unnecesary logging	Oszkar Semerath	2020-05-08
* \| \| \| \| \| \| \| \| \| \|	UP patterns -> decision procedure trace finished	Oszkar Semerath	2020-05-08
* \| \| \| \| \| \| \| \| \| \|	contained objects instantiated immediately if target class non-abstract	Oszkar Semerath	2020-05-08
* \| \| \| \| \| \| \| \| \| \|	Unit propagation trace fixes	Oszkar Semerath	2020-05-08