aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java
Commit message (Expand)AuthorAge
* Minor adjsutments to CrossScen ad FamTree local case studiesLibravatar Aren Babikian2021-02-16
* major changes to CS case study, working example, few issues, major assumptionsLibravatar Aren Babikian2021-02-03
* Improve crossingScenario queries + small ease-of-use adjustmentsLibravatar Aren Babikian2021-01-26
* Simple working version. Still diversity issueLibravatar Aren Babikian2021-01-24
* Major MM update + Refactor VQL + post-meeting approach changeLibravatar 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
* complete queries for lane structureLibravatar Aren Babikian2021-01-17
* Begin vql implementation + fix enums bugLibravatar Aren Babikian2021-01-15
* refactor simpleScenario->crossingScenarioLibravatar Aren Babikian2021-01-14