Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add drawing of generated scenarios | Aren Babikian | 2021-01-21 |
| | |||
* | almost finish crossscen VQL + implement ITE handling + prelim results | Aren Babikian | 2021-01-20 |
| | |||
* | add Actor+CollisionExists constrs & adjust dreal parser & measurements | Aren Babikian | 2021-01-19 |
| | |||
* | add vsconfig flag to allow running dreal locally | Aren Babikian | 2021-01-19 |
| | |||
* | add some actor-related queries, solve minor Z3 issue | Aren Babikian | 2021-01-17 |
| | |||
* | complete queries for lane structure | Aren Babikian | 2021-01-17 |
| | |||
* | Begin vql implementation + fix enums bug | Aren Babikian | 2021-01-15 |
| | |||
* | some cleanup | 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 |
| | |||
* | crlf fix | Aren Babikian | 2021-01-06 |
| | |||
* | Fix VQL validator breakage after Execute Application Configuration | Kristóf Marussy | 2020-12-02 |
| | |||
* | 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 |
| | |||
* | Merge branch 'kris' | Kristóf Marussy | 2020-06-25 |
|\ | |||
| * | Scope unsat benchmarks | Kristóf Marussy | 2020-05-07 |
| | | |||
| * | Remove empty src directories from build path | Kristóf Marussy | 2019-10-29 |
| | | |||
| * | Remove MDEOptimiser dependency | Kristóf Marussy | 2019-10-29 |
| | | |||
| * | Measurements WIP | Kristóf Marussy | 2019-08-22 |
| | | |||
| * | Measurements WIP | Kristóf Marussy | 2019-08-15 |
| | | |||
| * | Measurements WIP | Kristóf Marussy | 2019-08-14 |
| | | |||
| * | Fix enum literal support for FAM | Kristóf Marussy | 2019-08-02 |
| | | |||
| * | Trying to run generator in measurement environment | Kristóf Marussy | 2019-08-01 |
| | | |||
| * | Ensure that experiment runner code compiles | Kristóf Marussy | 2019-08-01 |
| | | |||
| * | Clean up CPS and Satellite domains | Kristóf Marussy | 2019-08-01 |
| | | |||
| * | Try fix statecode bug | Kristóf Marussy | 2019-06-15 |
| | | | | | | | | Modified graph width calculation to not depend on order of nodes | ||
| * | Bump MDEOptimizer version | Kristóf Marussy | 2019-06-09 |
| | | | | | | | | https://github.com/mde-optimiser/mde_optimiser/issues/49 | ||
| * | Simplify satellite metamodel further | Kristóf Marussy | 2019-06-09 |
| | | |||
| * | Trying to simplify Satellite case study | Kristóf Marussy | 2019-06-08 |
| | | |||
| * | MDEOptimiser tuning for CPS | Kristóf Marussy | 2019-05-25 |
| | | |||
| * | MDEOptimiser implementation of CPS benchmark | Kristóf Marussy | 2019-05-22 |
| | | |||
| * | VIATRA DSE and COIN-OR CBC implementations of CPS case study | Kristóf Marussy | 2019-05-21 |
| | | |||
| * | Model generator for CPS case study | Kristóf Marussy | 2019-05-17 |
| | | | | | | | | Added extra constraint for redundancy in CPS deployments | ||
| * | Formalize CPS case study for optimization | Kristóf Marussy | 2019-05-15 |
| | | |||
| * | Do not use derived features in satellite case study vql | Kristóf Marussy | 2019-05-07 |
| | | |||
| * | Revert "Try to restructure satellite case study" | Kristóf Marussy | 2019-05-07 |
| | | | | | | | | This reverts commit 9b83e33c055660f6de218d1b672f67734675f1f6. | ||
| * | Try to restructure satellite case study | Kristóf Marussy | 2019-05-07 |
| | | |||
| * | Trying to implement spacecraft case study | Kristóf Marussy | 2019-05-06 |
| | | |||
| * | Metrics for satellite case study | Kristóf Marussy | 2019-05-04 |
| | | |||
| * | Satellite constellation case study WIP | Kristóf Marussy | 2019-04-15 |
| | | |||
| * | Build with Eclipse 2018.12, generated files change | Kristóf Marussy | 2019-02-19 |
| | | |||
* | | Merge remote-tracking branch 'upstream/master' | Kristóf Marussy | 2020-05-19 |
|\ \ |