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

	Commit message (Collapse)	Author	Age
...
* \| \| \| \| \| \| \| \| \| \|	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
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	Visualization fix for attributes with same value	Oszkar Semerath	2020-05-08
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	Fix check expressions in generated VIATRA	Kristóf Marussy	2020-05-07
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	Rebuild with Eclipse 2020-03	Kristóf Marussy	2020-05-07
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	multiple object additions fixes	Oszkar Semerath	2020-05-07
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	viatra parsing fixes	Oszkar Semerath	2020-05-07
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	missing commit	Oszkar Semerath	2020-05-01
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	UnitPropagationProvider added to the generated patterns	Oszkar Semerath	2020-04-30
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	UP rule precondition provider	Oszkar Semerath	2020-04-30
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	check expressions are mapped to WF constraints	Oszkar Semerath	2020-04-17
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	variable mapping trace is created after mapping	Oszkar Semerath	2020-04-17
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	(lipstick)	Oszkar Semerath	2020-04-15
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	memory management support for v8 javascript engine added (visualization)	Oszkar Semerath	2020-04-15
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	javascript engine memory increased for visualizing	Oszkar Semerath	2020-04-15
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	Alloy type mapping fix	Oszkar Semerath	2020-04-15
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	Alloy typeQuery fix	Oszkar Semerath	2020-04-14
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	restructured pattern generation	Oszkar Semerath	2020-04-14
\| \| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	Primitive object indexing update	Oszkar Semerath	2020-04-08
\| \|_\|_\|_\|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \|	fixing index out ot bound exceptions for state coders	Oszkar Semerath	2019-10-19
\| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \|	handler refactor	Oszkar Semerath	2019-10-01
\| \|_\|_\|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \|	Alloy upper multiplicity under-approximation with keyword bug fix	Oszkar Semerath	2019-09-02
\| \|_\|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	candidate 1
* \| \| \| \| \| \| \|	Type Interpretation for Alloy with Inheritance+Horizontal mapping	Oszkar Semerath	2019-08-30
\| \|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \|
* \| \| \| \| \| \|	scopes added to alloy	Oszkar Semerath	2019-08-30
\| \| \| \| \| \| \|