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

	Commit message (Collapse)	Author	Age
*	Bugfixing typo in generated queries	OszkarSemerath	2017-08-16
\|
*	SMT support for primitive types	OszkarSemerath	2017-08-16
\|
*	Mapping of primitive types in patterns	OszkarSemerath	2017-08-16
\|
*	Added separate symbolic objects to all primitive objects	OszkarSemerath	2017-08-16
\|
*	Alloy mapping of integer scopes	OszkarSemerath	2017-08-16
\|
*	Added known primitives to the scope	OszkarSemerath	2017-08-15
\|
*	Viatra Solver result support for primitive types	OszkarSemerath	2017-08-15
\|
*	Type scope support for initial instance model mapping	OszkarSemerath	2017-08-15
\|
*	Partial interpretation from initial instance model	OszkarSemerath	2017-08-15
\|
*	Literals from the problem are added to the initial set of primitive	OszkarSemerath	2017-08-15
\| \| \|	objects.
*	Partial interpretation initialiser with primitive types	OszkarSemerath	2017-08-15
\|
*	Primitive elements in the partial interpretation	OszkarSemerath	2017-08-15
\|
*	Added primitive types to the model code	OszkarSemerath	2017-08-15
\|
*	attributes and references that not included to a logic problem are	OszkarSemerath	2017-08-02
\| \| \|	excluded from the partial model mapping.
*	Removed dependency	OszkarSemerath	2017-07-13
\|
*	Repaired dependency	OszkarSemerath	2017-07-13
\|
*	added /xtend-gen/ to excluded folders.	OszkarSemerath	2017-07-12
\|
*	Graphviz based visualisation for the concretizations of partial models.	OszkarSemerath	2017-07-12
\|
*	Rearranged the solver configuration into different subsections	OszkarSemerath	2017-07-12
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	DiversityDescriptor * Describes the required diversity between the solutions. * Null means that the solutions have to have different state codes only. InternalConsistencyCheckerConfiguration * A logic solver that able to check the consistency of an intermediate solution. * Null means that no solver is called. DebugConfiguration * Configuration for debugging support. SearchSpaceConstraint * Configuration for cutting search space.
*	Adding visualisation support for partial interpretations.	OszkarSemerath	2017-07-12
\|
*	The generated patterns follow the new naming convention.	OszkarSemerath	2017-07-12
\|
*	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