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

	Commit message (Expand)	Author	Age
...
* \|	prep for refactoring Numeric Probelm Solvers	Aren Babikian	2021-01-06
* \|	implement setup for dreal calls	Aren Babikian	2021-01-06
* \|	rebase dreal-integ on models20-measurements	Aren Babikian	2021-01-06
* \|	merge models20 measurements	Aren Babikian	2021-01-05
\|\ \ \| \|/ \|/\|
\| *	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
* \|	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
\|\\| \|
\| * \|	NumericProblemSolver is initialized only if it is necessary	Oszkar Semerath	2020-11-13
\| * \|	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
\|/
*	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