Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | implement setup for dreal calls | 2021-01-06 | |
| | |||
* | rebase dreal-integ on models20-measurements | 2021-01-06 | |
| | |||
* | merge models20 measurements | 2021-01-05 | |
|\ | |||
| * | add readme and diversity measurementsmodels20-measurements | 2021-01-05 | |
| | | |||
| * | add notebook for generating plots | 2021-01-05 | |
| | | |||
| * | add models20 measuement setup from VM | 2021-01-05 | |
| | | |||
* | | Prefer the global scope insted of nsURI in application configuration | 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 | 2020-12-02 | |
|\ \ | |||
| * \ | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator.git | 2020-11-27 | |
| |\ \ | |||
| * | | | System default backend set by EngineOptions | 2020-11-27 | |
| | | | | |||
* | | | | Fix VQL validator breakage after Execute Application Configuration | 2020-12-02 | |
| |/ / |/| | | |||
* | | | Merge branch 'master' of github.com:viatra/VIATRA-Generator | 2020-11-26 | |
|\| | | |||
| * | | NumericProblemSolver is initialized only if it is necessary | 2020-11-13 | |
| | | | |||
| * | | copy-paste error fix attempt no2 | 2020-11-13 | |
| | | | |||
| * | | Update SolverLoader.xtend | 2020-11-11 | |
| | | | | | | | | | AlloySolverConfiguration returned SMTSolverConfiguration | ||
* | | | Fix Z3 dependency | 2020-11-26 | |
|/ / | |||
* | | Optimizing generator with linear objective functions | 2020-11-02 | |
| | | |||
* | | Must unit propagation | 2020-08-28 | |
| | | |||
* | | MoDeS3 unit propagation WIP | 2020-08-06 | |
| | | |||
* | | Fix time measurement | 2020-07-29 | |
|/ | |||
* | Clean up MODELS20 files | 2020-07-16 | |
| | |||
* | Fix numeric-solver-at-end | 2020-07-16 | |
| | |||
* | Optimizations | 2020-07-14 | |
| | |||
* | Fix event storm on EMF transaction finish | 2020-07-08 | |
| | |||
* | Restore inverse punishSize | 2020-07-07 | |
| | |||
* | Trying to fix performance regressions | 2020-07-07 | |
| | |||
* | Add modified VIATRA-DSE version | 2020-06-30 | |
| | |||
* | Disable unrepairable match scoping for now | 2020-06-30 | |
| | |||
* | Fix scope + numerical solver interaction | 2020-06-28 | |
| | |||
* | Fix scope + numerical propagation WIP | 2020-06-27 | |
| | |||
* | Merge branch 'kris' | 2020-06-25 | |
|\ | |||
| * | Scope unsat benchmarks | 2020-05-07 | |
| | | |||
| * | Fix concurrency bug in AlloyHandler | 2020-02-12 | |
| | | |||
| * | Re-run generation for ApplicationConfiguration language | 2019-10-29 | |
| | | |||
| * | MeasurementScriptRunner fix | 2019-10-29 | |
| | | |||
| * | Polyhedron solver SAT fix and initial scope filtering | 2019-10-29 | |
| | | |||
| * | Alloy cardinality fixes | 2019-10-29 | |
| | | |||
| * | Remove empty src directories from build path | 2019-10-29 | |
| | | |||
| * | Remove MDEOptimiser dependency | 2019-10-29 | |
| | | |||
| * | Merge remote-tracking branch 'origin/master' into kris | 2019-10-29 | |
| |\ | |||
| * \ | Merge remote-tracking branch 'origin/master' into kris | 2019-09-02 | |
| |\ \ | |||
| * \ \ | Merge remote-tracking branch 'origin/master' into kris | 2019-08-31 | |
| |\ \ \ | |||
| * \ \ \ | Merge remote-tracking branch 'origin/master' into kris | 2019-08-30 | |
| |\ \ \ \ | |||
| * | | | | | FAM metamodel loader experiments | 2019-08-30 | |
| | | | | | | |||
| * | | | | | Measurements WIP | 2019-08-22 | |
| | | | | | | |||
| * | | | | | Measurements WIP | 2019-08-15 | |
| | | | | | | |||
| * | | | | | Measurements WIP | 2019-08-14 | |
| | | | | | | |||
| * | | | | | Be more lenient with rounding IP solver results | 2019-08-02 | |
| | | | | | | |||
| * | | | | | Handle floating point rounding errors in Cbc | 2019-08-02 | |
| | | | | | | |||
| * | | | | | Fix enum literal support for FAM | 2019-08-02 | |
| | | | | | |