aboutsummaryrefslogtreecommitdiffstats
path: root/Domains
Commit message (Expand)AuthorAge
* adds some MM imagesLibravatar Aren Babikian2021-03-12
* CrossingScenario case study is ready for serverdreal-integrationLibravatar Aren Babikian2021-02-16
* add dreal-timeout flagLibravatar Aren Babikian2021-02-16
* Minor adjsutments to CrossScen ad FamTree local case studiesLibravatar Aren Babikian2021-02-16
* add cs scalability case study artifactsLibravatar Aren Babikian2021-02-12
* major changes to CS case study, working example, few issues, major assumptionsLibravatar Aren Babikian2021-02-03
* simplify MM + add airdLibravatar Aren Babikian2021-02-01
* make generated plane smaller, easier to understandLibravatar Aren Babikian2021-01-27
* Improve crossingScenario queries + small ease-of-use adjustmentsLibravatar Aren Babikian2021-01-26
* Simple working version. Still diversity issueLibravatar Aren Babikian2021-01-24
* Sorry, I forgot something last commitLibravatar Aren Babikian2021-01-22
* Almost done implementing collision correctlyLibravatar Aren Babikian2021-01-22
* Issue where blocker is not between source and targetLibravatar Aren Babikian2021-01-22
* implement ignored attribute values as a config optionLibravatar Aren Babikian2021-01-22
* Major MM update + Refactor VQL + post-meeting approach changeLibravatar Aren Babikian2021-01-21
* Add drawing of generated scenariosLibravatar Aren Babikian2021-01-21
* almost finish crossscen VQL + implement ITE handling + prelim resultsLibravatar Aren Babikian2021-01-20
* add Actor+CollisionExists constrs & adjust dreal parser & measurementsLibravatar Aren Babikian2021-01-19
* add vsconfig flag to allow running dreal locallyLibravatar Aren Babikian2021-01-19
* add some actor-related queries, solve minor Z3 issueLibravatar Aren Babikian2021-01-17
* complete queries for lane structureLibravatar Aren Babikian2021-01-17
* Begin vql implementation + fix enums bugLibravatar Aren Babikian2021-01-15
* some cleanupLibravatar Aren Babikian2021-01-14
* Add aird file for crossingScenario EcoreLibravatar Aren Babikian2021-01-14
* refactor simpleScenario->crossingScenarioLibravatar Aren Babikian2021-01-14
* deactivate the constraints used for debuggingLibravatar Aren Babikian2021-01-14
* Adjust simpleScenario MM and add constraintsLibravatar Aren Babikian2021-01-14
* Add some documents to debug MG issueLibravatar Aren Babikian2021-01-14
* improve simpleScenario MMLibravatar Aren Babikian2021-01-12
* rename simpleScenario folderLibravatar Aren Babikian2021-01-12
* first version of the simpleScenario MM+VQL. noRealMatches bug foundLibravatar Aren Babikian2021-01-11
* crlf fixLibravatar Aren Babikian2021-01-06
* Fix VQL validator breakage after Execute Application ConfigurationLibravatar Kristóf Marussy2020-12-02
* Fix Z3 dependencyLibravatar Kristóf Marussy2020-11-26
* Optimizing generator with linear objective functionsLibravatar Kristóf Marussy2020-11-02
* Must unit propagationLibravatar Kristóf Marussy2020-08-28
* MoDeS3 unit propagation WIPLibravatar Kristóf Marussy2020-08-06
* Merge branch 'kris'Libravatar Kristóf Marussy2020-06-25
|\
| * Scope unsat benchmarksLibravatar Kristóf Marussy2020-05-07
| * Remove empty src directories from build pathLibravatar Kristóf Marussy2019-10-29
| * Remove MDEOptimiser dependencyLibravatar Kristóf Marussy2019-10-29
| * Measurements WIPLibravatar Kristóf Marussy2019-08-22
| * Measurements WIPLibravatar Kristóf Marussy2019-08-15
| * Measurements WIPLibravatar Kristóf Marussy2019-08-14
| * Fix enum literal support for FAMLibravatar Kristóf Marussy2019-08-02
| * Trying to run generator in measurement environmentLibravatar Kristóf Marussy2019-08-01
| * Ensure that experiment runner code compilesLibravatar Kristóf Marussy2019-08-01
| * Clean up CPS and Satellite domainsLibravatar Kristóf Marussy2019-08-01
| * Try fix statecode bugLibravatar Kristóf Marussy2019-06-15
| * Bump MDEOptimizer versionLibravatar Kristóf Marussy2019-06-09
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-23 12:21:31 +0000