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

	Commit message (Expand)	Author	Age
...
\| * \| \| \| \| \| \| \| \| \| \| \|	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
\| \|_\|_\|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \|	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
* \| \| \| \| \| \|	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
* \| \| \|	Removed unwanted OCL dependency	OszkarSemerath	2019-05-05
\| \|_\|/ \|/\| \|
* \| \|	typo in launch config name	OszkarSemerath	2019-05-04
* \| \|	removed unused test case	OszkarSemerath	2019-05-04
* \| \|	Added aggregate expressions to logic language on the model level	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
\|/