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

	Commit message (Collapse)	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
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Trying to find a resource by nsURI first sometimes lead to a situation where a spurious resource was added to the ResourceSet which didn't contain the requested object. Thus, linking failed. By first looking up the imported name in the global scope and falling back to the nsURI only later, we can ensure that linking always succeeds if the referenced object is already in the Xtext index.
* \|	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
\| \| \| \| \| \| \| \| \|	AlloySolverConfiguration returned SMTSolverConfiguration
* \| \|	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
\| \| \| \| \| \|