Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Begin vql implementation + fix enums bug | Aren Babikian | 2021-01-15 |
| | |||
* | some cleanup | Aren Babikian | 2021-01-14 |
| | |||
* | complete change of real representation BigDecimal->Double | Aren Babikian | 2021-01-14 |
| | |||
* | forgot to commit some changes to Application | Aren Babikian | 2021-01-14 |
| | |||
* | Adjust vsconfig xtext to consider reals as EDouble rather than EBigDecimals | Aren Babikian | 2021-01-14 |
| | |||
* | Add aird file for crossingScenario Ecore | Aren Babikian | 2021-01-14 |
| | |||
* | refactor simpleScenario->crossingScenario | Aren Babikian | 2021-01-14 |
| | |||
* | deactivate the constraints used for debugging | Aren Babikian | 2021-01-14 |
| | |||
* | Adjust simpleScenario MM and add constraints | Aren Babikian | 2021-01-14 |
| | |||
* | Add some documents to debug MG issue | Aren Babikian | 2021-01-14 |
| | |||
* | improve simpleScenario MM | Aren Babikian | 2021-01-12 |
| | |||
* | rename simpleScenario folder | Aren Babikian | 2021-01-12 |
| | |||
* | first version of the simpleScenario MM+VQL. noRealMatches bug found | Aren Babikian | 2021-01-11 |
| | |||
* | remove local-docker file transfer | Aren Babikian | 2021-01-09 |
| | |||
* | fix dup decl bug + adjust famTree case study | Aren Babikian | 2021-01-07 |
| | |||
* | crlf fix | Aren Babikian | 2021-01-06 |
| | |||
* | fine-tune measurement setup | Aren Babikian | 2021-01-06 |
| | |||
* | prepping measurement setup w/ dreal | Aren Babikian | 2021-01-06 |
| | |||
* | Merge branch 'dreal-integration' of ↵ | Aren Babikian | 2021-01-06 |
|\ | | | | | | | https://github.com/viatra/VIATRA-Generator into dreal-integration | ||
| * | Add config flag for selecting numeric solver. Integ with Z3 | Aren Babikian | 2020-12-15 |
| | | |||
| * | implement getOneSolution with Dreal Integration | Aren Babikian | 2020-12-14 |
| | | |||
| * | implement isSatisfiable with Dreal integration | Aren Babikian | 2020-12-14 |
| | | |||
| * | add numericProblemSolver supertype | Aren Babikian | 2020-12-13 |
| | | |||
| * | prep for refactoring Numeric Probelm Solvers | Aren Babikian | 2020-12-13 |
| | | |||
| * | implement setup for dreal calls | Aren Babikian | 2020-12-13 |
| | | |||
| * | remove auto-generated files and fix gitignores | Aren Babikian | 2020-12-12 |
| | | |||
* | | Add config flag for selecting numeric solver. Integ with Z3 | Aren Babikian | 2021-01-06 |
| | | |||
* | | implement getOneSolution with Dreal Integration | Aren Babikian | 2021-01-06 |
| | | |||
* | | implement isSatisfiable with Dreal integration | Aren Babikian | 2021-01-06 |
| | | |||
* | | add numericProblemSolver supertype | Aren Babikian | 2021-01-06 |
| | | |||
* | | 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 |
| | |