Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Merge branch 'dreal-integration' of ↵ | 2021-01-06 | ||
|\ | | | | | | | https://github.com/viatra/VIATRA-Generator into dreal-integration | |||
| * | Add config flag for selecting numeric solver. Integ with Z3 | 2020-12-15 | ||
| | | ||||
| * | implement getOneSolution with Dreal Integration | 2020-12-14 | ||
| | | ||||
| * | implement isSatisfiable with Dreal integration | 2020-12-14 | ||
| | | ||||
| * | add numericProblemSolver supertype | 2020-12-13 | ||
| | | ||||
| * | prep for refactoring Numeric Probelm Solvers | 2020-12-13 | ||
| | | ||||
| * | implement setup for dreal calls | 2020-12-13 | ||
| | | ||||
| * | remove auto-generated files and fix gitignores | 2020-12-12 | ||
| | | ||||
* | | Add config flag for selecting numeric solver. Integ with Z3 | 2021-01-06 | ||
| | | ||||
* | | implement getOneSolution with Dreal Integration | 2021-01-06 | ||
| | | ||||
* | | implement isSatisfiable with Dreal integration | 2021-01-06 | ||
| | | ||||
* | | add numericProblemSolver supertype | 2021-01-06 | ||
| | | ||||
* | | prep for refactoring Numeric Probelm Solvers | 2021-01-06 | ||
| | | ||||
* | | 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 | ||
| | |