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

	Commit message (Collapse)	Author	Age
...
*	Changed naming convention in generated logic problems.	OszkarSemerath	2017-07-12
\| \| \| \| \| \| \| \| \| \|	An identifier usually separated by whitespaces into name sections, creating hierarchic names. By convention names with at most three sections are represented in the following way: "nameOfObject typeOfObject namespaceOfObject". For example, the name of a relation "vertices" representing a "reference" in class "Region" will be: "vertices reference Region"
*	Support for generationg multiple difference models by VIATRA-Solver	OszkarSemerath	2017-07-05
\|
*	Adding multiple model generation support for the alloy solver.	OszkarSemerath	2017-07-05
\|
*	SMT solver implementation of multiple model generation	OszkarSemerath	2017-07-02
\|
*	Alloy implementation of multiple model generation	OszkarSemerath	2017-07-02
\|
*	Divers Generation times are added to statisticsexample scenario	OszkarSemerath	2017-06-16
\|
*	Instruction to install alloy added	OszkarSemerath	2017-06-10
\|
*	Added generated artefacts for the alloy parser	OszkarSemerath	2017-06-10
\|
*	Added generated Xtext artefacts	OszkarSemerath	2017-06-10
\|
*	Migrating Additional projects	OszkarSemerath	2017-06-10