Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add config flag for selecting numeric solver. Integ with Z3 | Aren Babikian | 2021-01-06 |
| | |||
* | rebase dreal-integ on models20-measurements | Aren Babikian | 2021-01-06 |
| | |||
* | 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 |
|\| | |||
| * | 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 |
| | |||
* | Fix time measurement | Kristóf Marussy | 2020-07-29 |
| | |||
* | Fix numeric-solver-at-end | Kristóf Marussy | 2020-07-16 |
| | |||
* | Optimizations | Kristóf Marussy | 2020-07-14 |
| | |||
* | Fix event storm on EMF transaction finish | Kristóf Marussy | 2020-07-08 |
| | |||
* | Restore inverse punishSize | Kristóf Marussy | 2020-07-07 |
| | |||
* | Trying to fix performance regressions | Kristóf Marussy | 2020-07-07 |
| | |||
* | Disable unrepairable match scoping for now | Kristóf Marussy | 2020-06-30 |
| | |||
* | Fix scope + numerical solver interaction | Kristóf Marussy | 2020-06-28 |
| | |||
* | Fix scope + numerical propagation WIP | Kristóf Marussy | 2020-06-27 |
| | |||
* | Merge branch 'kris' | Kristóf Marussy | 2020-06-25 |
|\ | |||
| * | Scope unsat benchmarks | Kristóf Marussy | 2020-05-07 |
| | | |||
| * | Re-run generation for ApplicationConfiguration language | Kristóf Marussy | 2019-10-29 |
| | | |||
| * | FAM metamodel loader experiments | Kristóf Marussy | 2019-08-30 |
| | | |||
| * | Measurements WIP | Kristóf Marussy | 2019-08-22 |
| | | |||
| * | Measurements WIP | Kristóf Marussy | 2019-08-14 |
| | | |||
| * | [Stochastic] Remove fault tree support for now | Kristóf Marussy | 2019-08-01 |
| | | |||
| * | Configurability and better statistics for measurements | Kristóf Marussy | 2019-08-01 |
| | | |||
| * | Merge remote-tracking branch 'origin/master' into kris | Kristóf Marussy | 2019-05-04 |
| |\ | |||
| * | | Fix solution store for optimization | Kristóf Marussy | 2019-04-08 |
| | | | |||
| * | | Objective POC implementation | Kristóf Marussy | 2019-04-08 |
| | | | |||
| * | | Infrastructure for objective functions | Kristóf Marussy | 2019-04-07 |
| | | | |||
| * | | Add reliability probability and mtff objectives | Kristóf Marussy | 2019-03-25 |
| | | | |||
| * | | Do not throw exception for empty package names in application configuration ↵ | Kristóf Marussy | 2019-03-21 |
| | | | | | | | | | | | | files | ||
| * | | Clean up dependencies of the application configuration plugin | Kristóf Marussy | 2019-03-21 |
| | | | |||
| * | | Fault tree transformation for partial models WIP | Kristóf Marussy | 2019-03-20 |
| | | | |||
| * | | Two-valued fault tree analyzer WIP | Kristóf Marussy | 2019-02-19 |
| | | | |||
| * | | Generated files change | Kristóf Marussy | 2019-02-19 |
| | | | |||
| * | | Build with Eclipse 2018.12, generated files change | Kristóf Marussy | 2019-02-19 |
| | | | |||
* | | | New configuration language parser WIP | Kristóf Marussy | 2020-06-23 |
| | | | |||
* | | | Fix numeric-solver-at-end | Kristóf Marussy | 2020-05-20 |
| | | | |||
* | | | Merge branch 'master' of github.com:viatra/VIATRA-Generator | Kristóf Marussy | 2020-05-19 |
|\ \ \ | |||
| * | | | option to calculate object creation costs in fitness | Oszkar Semerath | 2020-05-19 |
| | | | | |||
* | | | | Merge remote-tracking branch 'upstream/master' | Kristóf Marussy | 2020-05-19 |
|\| | | | |||
| * | | | TransformationExecutionTime + weights can be controlled from config | Oszkar Semerath | 2020-05-17 |
| | | | | |||
| * | | | setting delimier (third attempt) | Oszkar Semerath | 2020-05-17 |
| | | | | |||
| * | | | fixes for the measurement | Oszkar Semerath | 2020-05-14 |
| | | | |