Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | refactor simpleScenario->crossingScenario | 2021-01-14 | |
| | |||
* | deactivate the constraints used for debugging | 2021-01-14 | |
| | |||
* | Adjust simpleScenario MM and add constraints | 2021-01-14 | |
| | |||
* | Add some documents to debug MG issue | 2021-01-14 | |
| | |||
* | improve simpleScenario MM | 2021-01-12 | |
| | |||
* | rename simpleScenario folder | 2021-01-12 | |
| | |||
* | first version of the simpleScenario MM+VQL. noRealMatches bug found | 2021-01-11 | |
| | |||
* | remove local-docker file transfer | 2021-01-09 | |
| | |||
* | fix dup decl bug + adjust famTree case study | 2021-01-07 | |
| | |||
* | crlf fix | 2021-01-06 | |
| | |||
* | fine-tune measurement setup | 2021-01-06 | |
| | |||
* | prepping measurement setup w/ dreal | 2021-01-06 | |
| | |||
* | 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 | |
| |