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

	Commit message (Expand)	Author	Age
*	code for paperRealistic-Generation-SURE	20001LastOrder	2020-11-15
*	fix node type distance measure	20001LastOrder	2020-11-05
*	fix merging issue	20001LastOrder	2020-11-04
\|\
\| *	merge with current master, comment numerical solver related logging	20001LastOrder	2020-11-04
\| \|\
\| \| *	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
\| \| *	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