Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 | |
* | Infrastructure for objective functions | 2019-04-07 | |
* | Add reliability probability and mtff objectives | 2019-03-25 | |
* | 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 | |
* | Scope support for attributes | 2018-07-16 | |
* | Regenerated Application Configuration Language | 2018-05-08 |