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

	Commit message (Collapse)	Author	Age
...
* \| \| \| \| \| \|	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
\| \| \| \| \| \| \|
* \| \| \| \| \| \|	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
\| \|_\|_\|_\|_\|/ \|/\| \| \| \| \|
* \| \| \| \| \|	https://github.com/kris7t graph width calculation ->	Oszkar Semerath	2019-07-15
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	from https://github.com/kris7t/VIATRA-Generator/blob/c0c5a1644cc221352b8b9b370eea6a87677ba948/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/PartialInterpretation2NeighbourhoodRepresentation.xtend#L99-L138
* \| \| \| \| \|	adding slf4j dependency to avoid error message in logs	Oszkar Semerath	2019-07-15
\| \|_\|_\|_\|/ \|/\| \| \| \|
* \| \| \| \|	Default state coder range set to Width, as it should be	OszkarSemerath	2019-06-01
\| \|_\|_\|/ \|/\| \| \|
* \| \| \|	Fix for symmetric activation codes on symmetric models	OszkarSemerath	2019-05-13
\| \|_\|/ \|/\| \|
* \| \|	removed unused test case	OszkarSemerath	2019-05-04
\| \|/ \|/\|
* \|	Fixed misformalization of (may/must)(X!=Y) for abstract objects	oszka	2019-04-16
\| \|
* \|	ParseUtil hijacked original vql parser and caused errors - fix by kris7t	OszkarSemerath	2019-03-19
\|/ \| \|	https://github.com/kris7t
*	Solution store diversity requirement set to 1 as default	OszkarSemerath	2019-02-17
\|
*	Removed visualisation test	OszkarSemerath	2019-02-17
\|
*	added sldf4j simple implementation to solve logging error message	OszkarSemerath	2019-02-17
\|
*	Nodewise and graphwise diversity added	OszkarSemerath	2018-11-07
\|
*	Fix boolean element mapping handling in logic structures for VS	OszkarSemerath	2018-11-07
\|
*	Solver gives partial solutions even if it fails due to timeout or unsat	OszkarSemerath	2018-11-07
\|
*	some missing string support bugs in partial interpretation are fixed	OszkarSemerath	2018-11-07
\|
*	If scope available, then it is maintained during generation via VS	OszkarSemerath	2018-09-14
\|
*	Scope initialisation is default	OszkarSemerath	2018-09-14
\|
*	Update support for java and emf DATATYPES, and basic scope propagator	OszkarSemerath	2018-09-14
\|
*	Added support for SHORT type as integer	OszkarSemerath	2018-08-28
\|
*	Lowered documentation level requirement for initial partial models	OszkarSemerath	2018-08-10
\| \| \|	As handling primitive types requires more complex initialisation.
*	Fixing indexing symbolic prototype objects as untyped EObjects	OszkarSemerath	2018-08-10
\|