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

	Commit message (Collapse)	Author	Age
*	Scope unsat benchmarks	Kristóf Marussy	2020-05-07
\|
*	Re-run generation for ApplicationConfiguration language	Kristóf Marussy	2019-10-29
\|
*	FAM metamodel loader experiments	Kristóf Marussy	2019-08-30
\|
*	Measurements WIP	Kristóf Marussy	2019-08-22
\|
*	Measurements WIP	Kristóf Marussy	2019-08-14
\|
*	[Stochastic] Remove fault tree support for now	Kristóf Marussy	2019-08-01
\|
*	Infrastructure for objective functions	Kristóf Marussy	2019-04-07
\|
*	Add reliability probability and mtff objectives	Kristóf Marussy	2019-03-25
\|
*	Fault tree transformation for partial models WIP	Kristóf Marussy	2019-03-20
\|
*	Two-valued fault tree analyzer WIP	Kristóf Marussy	2019-02-19
\|
*	Generated files change	Kristóf Marussy	2019-02-19
\|
*	Build with Eclipse 2018.12, generated files change	Kristóf Marussy	2019-02-19
\|
*	Scope support for attributes	OszkarSemerath	2018-07-16
\|
*	Regenerated Application Configuration Language	OszkarSemerath	2018-05-08