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

	Commit message (Expand)	Author	Age
*	Add config flag for selecting numeric solver. Integ with Z3	Aren Babikian	2021-01-06
*	rebase dreal-integ on models20-measurements	Aren Babikian	2021-01-06
*	Prefer the global scope insted of nsURI in application configuration	Kristóf Marussy	2020-12-02
*	Merge branch 'master' of github.com:viatra/VIATRA-Generator	Kristóf Marussy	2020-12-02
\|\
\| *	Merge branch 'master' of https://github.com/viatra/VIATRA-Generator.git	Oszkar Semerath	2020-11-27
\| \|\
\| * \|	System default backend set by EngineOptions	Oszkar Semerath	2020-11-27
* \| \|	Fix VQL validator breakage after Execute Application Configuration	Kristóf Marussy	2020-12-02
\| \|/ \|/\|
* \|	Merge branch 'master' of github.com:viatra/VIATRA-Generator	Kristóf Marussy	2020-11-26
\|\\|
\| *	copy-paste error fix attempt no2	Oszkar Semerath	2020-11-13
\| *	Update SolverLoader.xtend	Oszkár Semeráth	2020-11-11
* \|	Fix Z3 dependency	Kristóf Marussy	2020-11-26
\|/
*	Optimizing generator with linear objective functions	Kristóf Marussy	2020-11-02
*	Must unit propagation	Kristóf Marussy	2020-08-28
*	MoDeS3 unit propagation WIP	Kristóf Marussy	2020-08-06
*	Fix time measurement	Kristóf Marussy	2020-07-29
*	Fix numeric-solver-at-end	Kristóf Marussy	2020-07-16
*	Optimizations	Kristóf Marussy	2020-07-14
*	Fix event storm on EMF transaction finish	Kristóf Marussy	2020-07-08
*	Restore inverse punishSize	Kristóf Marussy	2020-07-07
*	Trying to fix performance regressions	Kristóf Marussy	2020-07-07
*	Disable unrepairable match scoping for now	Kristóf Marussy	2020-06-30
*	Fix scope + numerical solver interaction	Kristóf Marussy	2020-06-28
*	Fix scope + numerical propagation WIP	Kristóf Marussy	2020-06-27
*	Merge branch 'kris'	Kristóf Marussy	2020-06-25
\|\
\| *	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
\| *	Configurability and better statistics for measurements	Kristóf Marussy	2019-08-01
\| *	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-05-04
\| \|\
\| * \|	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
\| * \|	Add reliability probability and mtff objectives	Kristóf Marussy	2019-03-25
\| * \|	Do not throw exception for empty package names in application configuration f...	Kristóf Marussy	2019-03-21
\| * \|	Clean up dependencies of the application configuration plugin	Kristóf Marussy	2019-03-21
\| * \|	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
* \| \|	New configuration language parser WIP	Kristóf Marussy	2020-06-23
* \| \|	Fix numeric-solver-at-end	Kristóf Marussy	2020-05-20
* \| \|	Merge branch 'master' of github.com:viatra/VIATRA-Generator	Kristóf Marussy	2020-05-19
\|\ \ \
\| * \| \|	option to calculate object creation costs in fitness	Oszkar Semerath	2020-05-19
* \| \| \|	Merge remote-tracking branch 'upstream/master'	Kristóf Marussy	2020-05-19
\|\\| \| \|
\| * \| \|	TransformationExecutionTime + weights can be controlled from config	Oszkar Semerath	2020-05-17
\| * \| \|	setting delimier (third attempt)	Oszkar Semerath	2020-05-17
\| * \| \|	fixes for the measurement	Oszkar Semerath	2020-05-14