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

	Commit message (Collapse)	Author	Age
*	Satellite constellation case study WIP	Kristóf Marussy	2019-04-15
\|
*	Fix solution store for optimization	Kristóf Marussy	2019-04-08
\|
*	Objective POC implementation	Kristóf Marussy	2019-04-08
\|
*	Infrastructure for objective functions	Kristóf Marussy	2019-04-07
\|
*	Fault tree transformation for partial models WIP	Kristóf Marussy	2019-03-20
\|
*	Trying to get FAMTest to work	Kristóf Marussy	2019-02-19
\|
*	Build with Eclipse 2018.12, generated files change	Kristóf Marussy	2019-02-19
\|
*	ViatraSolver as default	OszkarSemerath	2018-11-07
\|
*	Ecore gen test	OszkarSemerath	2018-11-07
\|
*	Example standalone runs	OszkarSemerath	2018-10-08
\|
*	Removed PQuery from API, IQuerySpecification is used instead	OszkarSemerath	2018-01-23
\|
*	Test and measurement runners	OszkarSemerath	2017-10-27
\|
*	Runners	OszkarSemerath	2017-10-17
\|
*	measurement and mutant coverage	OszkarSemerath	2017-10-16
\|
*	Research paper measurement configuration updates	OszkarSemerath	2017-09-27
\|
*	Alloy Examples	OszkarSemerath	2017-08-20
\|
*	Bugfixing typo in generated queries	OszkarSemerath	2017-08-16
\|
*	runners with new type scopes	OszkarSemerath	2017-08-16
\|
*	The test runners now ignore every folder beginning with "output*"	OszkarSemerath	2017-07-12
\| \| \|	Those folders are used for generated models.
*	Corrected the configuration in the test runners.	OszkarSemerath	2017-07-12
\|
*	Pattern coverage measuring program.	OszkarSemerath	2017-07-05
\|
*	Example configuration for running measurements.	OszkarSemerath	2017-07-05
\|
*	Divers Generation times are added to statisticsexample scenario	OszkarSemerath	2017-06-16
\|
*	Migrating Additional projects	OszkarSemerath	2017-06-10
\|
*	Initial commit, migrating from SVN	OszkarSemerath	2017-06-10