aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
...
* major changes to CS case study, working example, few issues, major assumptionsLibravatar Aren Babikian2021-02-03
|
* fix derived feature handling + impove dreal callingLibravatar 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
|
* temporary fix for Z3 usage on Linux VMLibravatar Aren Babikian2021-01-26
|
* Fix bin/ and xtend-gen/ ignoring for diversity-calculatorLibravatar Aren Babikian2021-01-26
|
* Simple working version. Still diversity issueLibravatar Aren Babikian2021-01-24
|
* Fix bug for ignored-attributes + better logic problem creationLibravatar 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
|
* complete change of real representation BigDecimal->DoubleLibravatar Aren Babikian2021-01-14
|
* forgot to commit some changes to ApplicationLibravatar Aren Babikian2021-01-14
|
* Adjust vsconfig xtext to consider reals as EDouble rather than EBigDecimalsLibravatar 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
|
* remove local-docker file transferLibravatar Aren Babikian2021-01-09
|
* fix dup decl bug + adjust famTree case studyLibravatar Aren Babikian2021-01-07
|
* crlf fixLibravatar Aren Babikian2021-01-06
|
* fine-tune measurement setupLibravatar Aren Babikian2021-01-06
|
* prepping measurement setup w/ drealLibravatar Aren Babikian2021-01-06
|
* Merge branch 'dreal-integration' of ↵Libravatar Aren Babikian2021-01-06
|\ | | | | | | https://github.com/viatra/VIATRA-Generator into dreal-integration
| * Add config flag for selecting numeric solver. Integ with Z3Libravatar Aren Babikian2020-12-15
| |
| * implement getOneSolution with Dreal IntegrationLibravatar Aren Babikian2020-12-14
| |
| * implement isSatisfiable with Dreal integrationLibravatar Aren Babikian2020-12-14
| |
| * add numericProblemSolver supertypeLibravatar Aren Babikian2020-12-13
| |
| * prep for refactoring Numeric Probelm SolversLibravatar Aren Babikian2020-12-13
| |
| * implement setup for dreal callsLibravatar Aren Babikian2020-12-13
| |
| * remove auto-generated files and fix gitignoresLibravatar Aren Babikian2020-12-12
| |
* | Add config flag for selecting numeric solver. Integ with Z3Libravatar Aren Babikian2021-01-06
| |
* | implement getOneSolution with Dreal IntegrationLibravatar Aren Babikian2021-01-06
| |
* | implement isSatisfiable with Dreal integrationLibravatar Aren Babikian2021-01-06
| |
* | add numericProblemSolver supertypeLibravatar Aren Babikian2021-01-06
| |
generated by cgit v1.2.3-54-g00ecf (git 2.45.0) at 2024-05-05 22:31:16 +0000