aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
* 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 https://github.com/viatra/VIATRA-Generato...Libravatar Aren Babikian2021-01-06
|\
| * 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
* | prep for refactoring Numeric Probelm SolversLibravatar Aren Babikian2021-01-06
* | implement setup for dreal callsLibravatar Aren Babikian2021-01-06
* | rebase dreal-integ on models20-measurementsLibravatar Aren Babikian2021-01-06
* | merge models20 measurementsLibravatar Aren Babikian2021-01-05
|\ \ | |/ |/|
| * add readme and diversity measurementsmodels20-measurementsLibravatar Aren Babikian2021-01-05
| * add notebook for generating plotsLibravatar Aren Babikian2021-01-05
| * add models20 measuement setup from VMLibravatar Aren Babikian2021-01-05
* | Prefer the global scope insted of nsURI in application configurationLibravatar Kristóf Marussy2020-12-02
* | Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-12-02
|\ \
| * \ Merge branch 'master' of https://github.com/viatra/VIATRA-Generator.gitLibravatar Oszkar Semerath2020-11-27
| |\ \
| * | | System default backend set by EngineOptionsLibravatar Oszkar Semerath2020-11-27
* | | | Fix VQL validator breakage after Execute Application ConfigurationLibravatar Kristóf Marussy2020-12-02
| |/ / |/| |
* | | Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-11-26
|\| |
| * | NumericProblemSolver is initialized only if it is necessaryLibravatar Oszkar Semerath2020-11-13
| * | copy-paste error fix attempt no2Libravatar Oszkar Semerath2020-11-13
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-12 03:16:03 +0000