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

	Commit message (Collapse)	Author	Age
*	When there is a definition to a declaration in the logic problem, the	OszkarSemerath	2017-07-05
\| \| \| \|	logic structure builder calls the definition when the interpretation of the declaration is requested.
*	SMT solver implementation of multiple model generation	OszkarSemerath	2017-07-02
\|
*	Alloy implementation of multiple model generation	OszkarSemerath	2017-07-02
\|
*	Multiple model with interpretations	OszkarSemerath	2017-07-02
\|
*	Logic interpretation -> standard EMF instance model	OszkarSemerath	2017-06-21
\|
*	Model translator and sanitiser from original yakindu files to simplified	OszkarSemerath	2017-06-21
\| \| \| \| \|	metamodel. Added a sample Main function.
*	generated code for the newly added types	OszkarSemerath	2017-06-21
\|
*	Added missing types: exit state, final state and choice	OszkarSemerath	2017-06-21
\|
*	Merge branch 'master' of https://github.com/viatra/VIATRA-Generator	OszkarSemerath	2017-06-16
\|\
\| *	Create README.md	Oszkár Semeráth	2017-06-10
\| \| \| \| \| \|	Added Contributors guide instructions
* \|	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
\|
*	Initial commit, migrating from SVN	OszkarSemerath	2017-06-10
\|
*	Initial commit	Istvan Rath	2017-05-31