Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | 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 | |
| | | | | | | ||||
| * | | | | | 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 | |
| | | | | | |