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

	Commit message (Expand)	Author	Age
*	add readme and diversity measurementsmodels20-measurements	Aren Babikian	2021-01-05
*	add notebook for generating plots	Aren Babikian	2021-01-05
*	add models20 measuement setup from VM	Aren Babikian	2021-01-05
*	Clean up MODELS20 files	Kristóf Marussy	2020-07-16
*	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
*	Add modified VIATRA-DSE version	Kristóf Marussy	2020-06-30
*	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
\| *	Fix concurrency bug in AlloyHandler	Kristóf Marussy	2020-02-12
\| *	Re-run generation for ApplicationConfiguration language	Kristóf Marussy	2019-10-29
\| *	MeasurementScriptRunner fix	Kristóf Marussy	2019-10-29
\| *	Polyhedron solver SAT fix and initial scope filtering	Kristóf Marussy	2019-10-29
\| *	Alloy cardinality fixes	Kristóf Marussy	2019-10-29
\| *	Remove empty src directories from build path	Kristóf Marussy	2019-10-29
\| *	Remove MDEOptimiser dependency	Kristóf Marussy	2019-10-29
\| *	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-10-29
\| \|\
\| * \	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-09-02
\| \|\ \
\| * \ \	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-08-31
\| \|\ \ \
\| * \ \ \	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-08-30
\| \|\ \ \ \
\| * \| \| \| \|	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-15
\| * \| \| \| \|	Measurements WIP	Kristóf Marussy	2019-08-14
\| * \| \| \| \|	Be more lenient with rounding IP solver results	Kristóf Marussy	2019-08-02
\| * \| \| \| \|	Handle floating point rounding errors in Cbc	Kristóf Marussy	2019-08-02
\| * \| \| \| \|	Fix enum literal support for FAM	Kristóf Marussy	2019-08-02
\| * \| \| \| \|	Trying to run generator in measurement environment	Kristóf Marussy	2019-08-01
\| * \| \| \| \|	Ensure that experiment runner code compiles	Kristóf Marussy	2019-08-01
\| * \| \| \| \|	Clean up CPS and Satellite domains	Kristóf Marussy	2019-08-01
\| * \| \| \| \|	Dump required Xbase version down to 2.17	Kristóf Marussy	2019-08-01
\| * \| \| \| \|	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-08-01
\| \|\ \ \ \ \
\| * \| \| \| \| \|	[Stochastic] Remove fault tree support for now	Kristóf Marussy	2019-08-01
\| * \| \| \| \| \|	Counting scope propagator (simpler than BasicTypeHierarchy)	Kristóf Marussy	2019-08-01
\| * \| \| \| \| \|	Configurability and better statistics for measurements	Kristóf Marussy	2019-08-01
\| * \| \| \| \| \|	Build Cbc wrapper under Ubuntu 18.04	Kristóf Marussy	2019-08-01
\| * \| \| \| \| \|	Polyhedron scope propagator for non-containment references	Kristóf Marussy	2019-07-30
\| * \| \| \| \| \|	Allow infiite upper scope bound in PolyhedronScopePropagator	Kristóf Marussy	2019-07-29
\| * \| \| \| \| \|	Fix CBC timeout	Kristóf Marussy	2019-07-29
\| * \| \| \| \| \|	Make CbcPolyhedronSolver more robust	Kristóf Marussy	2019-07-29
\| * \| \| \| \| \|	Parse rational numbers in Z3PolyhedronSolver	Kristóf Marussy	2019-07-25
\| * \| \| \| \| \|	Make polyhedron solvers more robust	Kristóf Marussy	2019-07-25
\| * \| \| \| \| \|	Containment root constraint propagator	Kristóf Marussy	2019-07-24
\| * \| \| \| \| \|	Cardinality propagator WIP	Kristóf Marussy	2019-07-24