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

	Commit message (Collapse)	Author	Age
*	Abstract supertype cardinality countcardinality-counter	LilianaBohus	2018-05-22
\|
*	Initial implementation of cardinality calculator	Lili	2018-05-15
\|
*	Moved partial model management is moved to one project (+1 PM edge fix)	OszkarSemerath	2018-05-14
\|
*	derived feature -> partial relation bugfix	OszkarSemerath	2018-05-12
\|
*	Cleared metafiles	OszkarSemerath	2018-05-12
\|
*	File extension is set to *.png	OszkarSemerath	2018-05-12
\|
*	added gitignore to generated outputs	OszkarSemerath	2018-05-12
\|
*	Visualisation queue	OszkarSemerath	2018-05-12
\|
*	Project update	OszkarSemerath	2018-05-12
\|
*	VSConfig update	OszkarSemerath	2018-05-12
\|
*	Example updated	OszkarSemerath	2018-05-12
\|
*	Visualiser queue started	OszkarSemerath	2018-05-12
\|
*	Run config for application	OszkarSemerath	2018-05-10
\|
*	Renamed	OszkarSemerath	2018-05-10
\|
*	Regenerated Application Configuration Language	OszkarSemerath	2018-05-08
\|
*	Refactored to the milestone version of Viatra 2.0	OszkarSemerath	2018-05-08
\|
*	Updated and fixed dependencies:	OszkarSemerath	2018-05-07
\| \| \| \| \| \|	- All java library dependency: fixed to java 1.8 - Added Automatic-Module-Name to be compatible with java 1.9 - Added all sources explicitly to build.properties - removed .util packages generated by previous versions of Viatra
*	Debug for SMT scopes	OszkarSemerath	2018-05-05
\|
*	Alloy file writer configuration	OszkarSemerath	2018-05-05
\|
*	containment mapping fix	OszkarSemerath	2018-05-05
\|
*	Removed unused projects	OszkarSemerath	2018-03-24
\|
*	example projects added	OszkarSemerath	2018-03-24
\|
*	upgraded attribute support for the graph solver	OszkarSemerath	2018-03-24
\|
*	Factory for string literals.	OszkarSemerath	2018-03-24
\|
*	Renaming some configuration concepts	OszkarSemerath	2018-03-24
\|
*	Rebooting Z3 solver Containment vs Inheritance still has a bug	OszkarSemerath	2018-03-07
\|
*	removed unnecessary println	OszkarSemerath	2018-03-07
\|
*	Validation for abstract dynamic types	OszkarSemerath	2018-03-07
\|
*	copyMap bugfix	OszkarSemerath	2018-03-07
\|
*	Path as additional parameter	OszkarSemerath	2018-03-07
\|
*	More detailed error message	OszkarSemerath	2018-03-07
\|
*	Merge branch 'master' of https://github.com/viatra/VIATRA-Generator	OszkarSemerath	2018-03-05
\|\
\| *	Update README.md	Oszkár Semeráth	2018-03-05
\| \|
\| *	Update README.md	Oszkár Semeráth	2018-03-05
\| \|
\| *	moved to developer guide in wiki	Oszkár Semeráth	2018-03-05
\| \|
* \|	Fixed nasty bug with creating root element	OszkarSemerath	2018-03-05
\|/
*	Default visualisation set to .svg	OszkarSemerath	2018-03-04
\|
*	Statistics are appended	OszkarSemerath	2018-03-04
\|
*	More explanation added to exception	OszkarSemerath	2018-03-04
\|
*	derived feature referred query searcher expanded	OszkarSemerath	2018-03-04
\|
*	Statistics added	OszkarSemerath	2018-03-04
\|
*	Consoles	OszkarSemerath	2018-03-04
\|
*	Generation is executed in a job	OszkarSemerath	2018-03-03
\|
*	Alloy solver report progress and does not call solver if cancelled	OszkarSemerath	2018-03-03
\|
*	ViatraSolver reports progress and stops at cancel	OszkarSemerath	2018-03-03
\|
*	+SolverProcessMonitor to (optionally) report process and request cancel	OszkarSemerath	2018-03-03
\|
*	separated init and clear phases in workspaces	OszkarSemerath	2018-03-03
\|
*	fixed default model number overriding custom value + added visualisation	OszkarSemerath	2018-02-28
\|
*	removed maven + added refresh() to filesystem	OszkarSemerath	2018-02-28
\|
*	added getFile() and refresh() to workspace	OszkarSemerath	2018-02-28
\|