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

	Commit message (Collapse)	Author	Age
*	PS language update	Oszkar Semerath	2020-05-06
\|
*	color update	Oszkar Semerath	2020-05-06
\|
*	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
\|
*	Merge branch 'master' of https://github.com/viatra/VIATRA-Generator	Oszkar Semerath	2020-04-28
\|\
\| *	Rename pledge case study file	ArenBabikian	2020-04-28
\| \|
\| *	Able to run Pledge Case Study	ArenBabikian	2020-04-28
\| \|
\| *	rename Pledge Case Studies and add familyTree case study	ArenBabikian	2020-04-27
\| \|
\| *	Merge branch 'Attribute-Solver'	anqili426	2020-04-26
\| \|\
\| \| *	Added FakeIntegerElement	anqili426	2020-04-26
\| \| \|
\| * \|	Add PLEDGE case study files	ArenBabikian	2020-04-26
\| \| \|
\| * \|	Merge branch 'Attribute-Solver'	anqili426	2020-04-25
\| \|\\|
\| \| *	Added new test	anqili426	2020-04-22
\| \| \|
\| \| *	Added measurements	anqili426	2020-04-15
\| \| \|
\| \| *	Added test methods with running time measurement	anqili426	2020-04-15
\| \| \|
\| \| *	Added logic to get a solution	anqili426	2020-04-15
\| \| \|
\| \| *	Updated logic that creates a numeric problem using matches	anqili426	2020-04-08
\| \| \|
\| \| *	Added logic to create a numeric problem instance with pattern matches	anqili426	2020-04-07
\| \| \|
\| \| *	Added logic to form numeric problem templates	anqili426	2020-03-31
\| \| \|
\| \| *	Added call to form numeric problem templates	anqili426	2020-03-31
\| \| \|
* \| \|	initial commit	Oszkar Semerath	2020-04-28
\|/ /
* \|	check expressions are mapped to WF constraints	Oszkar Semerath	2020-04-17
\| \|
* \|	variable mapping trace is created after mapping	Oszkar Semerath	2020-04-17
\| \|
* \|	Variable trace added to Viatra2Logic 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
\| \|
* \|	check constraint is a special eval	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
\|
*	Whitespacing in manifest updated	Oszkar Semerath	2019-08-30
\|
*	Bug fixed in transitive closure expression builder	Oszkar Semerath	2019-08-30
\|
*	Alloy RunCommand int scope fix candidate	Oszkar Semerath	2019-08-27
\|
*	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
\|
*	parsing count, min, max, check and eval v1	Oszkar Semerath	2019-07-15
\|
*	aggregated partial substitution + builder	Oszkar Semerath	2019-07-09
\|
*	Updated link to Alloy	Oszkar Semerath	2019-06-25
\|
*	Default state coder range set to Width, as it should be	OszkarSemerath	2019-06-01
\|
*	Inverse references works if opposite reference is pruned away.	OszkarSemerath	2019-06-01
\|
*	Fix for symmetric activation codes on symmetric models	OszkarSemerath	2019-05-13
\|
*	fixed manifest	OszkarSemerath	2019-05-05
\|