Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add strategy flag + implement alost working crossingScenarioStrategy | 2021-02-14 | |
| | |||
* | fix derived feature handling + impove dreal calling | 2021-02-03 | |
| | |||
* | implement ignored attribute values as a config option | 2021-01-22 | |
| | |||
* | add vsconfig flag to allow running dreal locally | 2021-01-19 | |
| | |||
* | forgot to commit some changes to Application | 2021-01-14 | |
| | |||
* | Adjust vsconfig xtext to consider reals as EDouble rather than EBigDecimals | 2021-01-14 | |
| | |||
* | Add config flag for selecting numeric solver. Integ with Z3 | 2021-01-06 | |
| | |||
* | rebase dreal-integ on models20-measurements | 2021-01-06 | |
| | |||
* | 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 | |
|\| | |||
| * | 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 | |
| | |||
* | 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 | |
| | |||
* | 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 | |
| | | |||
| * | Re-run generation for ApplicationConfiguration language | 2019-10-29 | |
| | | |||
| * | FAM metamodel loader experiments | 2019-08-30 | |
| | | |||
| * | Measurements WIP | 2019-08-22 | |
| | | |||
| * | Measurements WIP | 2019-08-14 | |
| | | |||
| * | [Stochastic] Remove fault tree support for now | 2019-08-01 | |
| | | |||
| * | Configurability and better statistics for measurements | 2019-08-01 | |
| | | |||
| * | Merge remote-tracking branch 'origin/master' into kris | 2019-05-04 | |
| |\ | |||
| * | | Fix solution store for optimization | 2019-04-08 | |
| | | | |||
| * | | Objective POC implementation | 2019-04-08 | |
| | | | |||
| * | | Infrastructure for objective functions | 2019-04-07 | |
| | | | |||
| * | | Add reliability probability and mtff objectives | 2019-03-25 | |
| | | | |||
| * | | Do not throw exception for empty package names in application configuration ↵ | 2019-03-21 | |
| | | | | | | | | | | | | files | ||
| * | | Clean up dependencies of the application configuration plugin | 2019-03-21 | |
| | | | |||
| * | | Fault tree transformation for partial models WIP | 2019-03-20 | |
| | | | |||
| * | | Two-valued fault tree analyzer WIP | 2019-02-19 | |
| | | | |||
| * | | Generated files change | 2019-02-19 | |
| | | | |||
| * | | Build with Eclipse 2018.12, generated files change | 2019-02-19 | |
| | | | |||
* | | | New configuration language parser WIP | 2020-06-23 | |
| | | | |||
* | | | Fix numeric-solver-at-end | 2020-05-20 | |
| | | |