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

	Commit message (Collapse)	Author	Age
*	Ensure that experiment runner code compiles	Kristóf Marussy	2019-08-01
\|
*	Clean up CPS and Satellite domains	Kristóf Marussy	2019-08-01
\|
*	Try fix statecode bug	Kristóf Marussy	2019-06-15
\| \| \| \|	Modified graph width calculation to not depend on order of nodes
*	Bump MDEOptimizer version	Kristóf Marussy	2019-06-09
\| \| \| \|	https://github.com/mde-optimiser/mde_optimiser/issues/49
*	Simplify satellite metamodel further	Kristóf Marussy	2019-06-09
\|
*	Trying to simplify Satellite case study	Kristóf Marussy	2019-06-08
\|
*	MDEOptimiser tuning for CPS	Kristóf Marussy	2019-05-25
\|
*	MDEOptimiser implementation of CPS benchmark	Kristóf Marussy	2019-05-22
\|
*	VIATRA DSE and COIN-OR CBC implementations of CPS case study	Kristóf Marussy	2019-05-21
\|
*	Model generator for CPS case study	Kristóf Marussy	2019-05-17
\| \| \| \|	Added extra constraint for redundancy in CPS deployments
*	Formalize CPS case study for optimization	Kristóf Marussy	2019-05-15
\|
*	Do not use derived features in satellite case study vql	Kristóf Marussy	2019-05-07
\|
*	Revert "Try to restructure satellite case study"	Kristóf Marussy	2019-05-07
\| \| \| \|	This reverts commit 9b83e33c055660f6de218d1b672f67734675f1f6.
*	Try to restructure satellite case study	Kristóf Marussy	2019-05-07
\|
*	Trying to implement spacecraft case study	Kristóf Marussy	2019-05-06
\|
*	Metrics for satellite case study	Kristóf Marussy	2019-05-04
\|
*	Satellite constellation case study WIP	Kristóf Marussy	2019-04-15
\|
*	Build with Eclipse 2018.12, generated files change	Kristóf Marussy	2019-02-19
\|
*	Query parser update to current Viatra milestone	OszkarSemerath	2018-05-18
\|
*	added gitignore to generated outputs	OszkarSemerath	2018-05-12
\|
*	Project update	OszkarSemerath	2018-05-12
\|
*	VSConfig update	OszkarSemerath	2018-05-12
\|
*	Example updated	OszkarSemerath	2018-05-12
\|
*	Removed unused projects	OszkarSemerath	2018-03-24
\|
*	example projects added	OszkarSemerath	2018-03-24
\|
*	Added a set of mutated queries to yakindu	OszkarSemerath	2017-10-27
\|
*	Alloy Examples	OszkarSemerath	2017-08-20
\|
*	Added progress and basic statstic report to the yakindu model	OszkarSemerath	2017-07-05
\| \| \|	translator.
*	Bug with outgoing transitions in yakindu example.	OszkarSemerath	2017-07-05
\|
*	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
\|
*	Divers Generation times are added to statisticsexample scenario	OszkarSemerath	2017-06-16
\|
*	Migrating Additional projects	OszkarSemerath	2017-06-10