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

	Commit message (Collapse)	Author	Age
*	fix merging issue	20001LastOrder	2020-11-04
\|\
\| *	merge with current master, comment numerical solver related logging	20001LastOrder	2020-11-04
\| \|\
\| \| *	Must unit propagation	Kristóf Marussy	2020-08-28
\| \| \|
\| \| *	Merge branch 'kris'	Kristóf Marussy	2020-06-25
\| \| \|\
\| \| \| *	Scope unsat benchmarks	Kristóf Marussy	2020-05-07
\| \| \| \|
\| \| \| *	Measurements WIP	Kristóf Marussy	2019-08-14
\| \| \| \|
\| \| \| *	Ensure that experiment runner code compiles	Kristóf Marussy	2019-08-01
\| \| \| \|
\| \| \| *	Build with Eclipse 2018.12, generated files change	Kristóf Marussy	2019-02-19
\| \| \| \|
\| * \| \|	add realistic solver	20001LastOrder	2020-11-03
\| \|/ /
\| * /	Rebuild with Eclipse 2020-03	Kristóf Marussy	2020-05-07
\| \|/
* \|	comment out constraint for Synchronizations	20001LastOrder	2019-08-13
\| \|
* \|	REALMET: first impl of n'hood visualis. minor bug with adding outgng 0s.	ArenBabikian	2019-05-19
\|/
*	Added a set of mutated queries to yakindu	OszkarSemerath	2017-10-27
\|
*	Bug with outgoing transitions in yakindu example.	OszkarSemerath	2017-07-05
\|
*	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