aboutsummaryrefslogtreecommitdiffstats
path: root/Framework
Commit message (Expand)AuthorAge
* Numeric solver fixesLibravatar OszkarSemerath2022-04-01
* Numeric solver dreal hardcoding -> configV4transformationLibravatar OszkarSemerath2021-07-30
* CrossingScenario case study is ready for serverdreal-integrationLibravatar Aren Babikian2021-02-16
* add dreal-timeout flagLibravatar Aren Babikian2021-02-16
* Ready for strategies case studyLibravatar Aren Babikian2021-02-16
* fix dreal call on solved problem imprecision issueLibravatar Aren Babikian2021-02-15
* finished first impl that works sometimes (issue w/ SAT in Dreal rerun)Libravatar Aren Babikian2021-02-14
* Add strategy flag + implement alost working crossingScenarioStrategyLibravatar Aren Babikian2021-02-14
* measurement setup is ready for serverLibravatar Aren Babikian2021-02-07
* fix derived feature handling + impove dreal callingLibravatar Aren Babikian2021-02-03
* temporary fix for Z3 usage on Linux VMLibravatar Aren Babikian2021-01-26
* Simple working version. Still diversity issueLibravatar Aren Babikian2021-01-24
* Almost done implementing collision correctlyLibravatar Aren Babikian2021-01-22
* 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
* 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
* complete change of real representation BigDecimal->DoubleLibravatar Aren Babikian2021-01-14
* 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
* prepping measurement setup w/ drealLibravatar Aren Babikian2021-01-06
* 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
* 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
* | Fix Z3 dependencyLibravatar Kristóf Marussy2020-11-26
|/
* Merge branch 'kris'Libravatar Kristóf Marussy2020-06-25
|\
| * Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-08-30
| |\
| * | Dump required Xbase version down to 2.17Libravatar Kristóf Marussy2019-08-01
| * | Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-08-01
| |\ \
| * \ \ Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-06-08
| |\ \ \
| * \ \ \ Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-05-06
| |\ \ \ \
| * \ \ \ \ Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-05-04
| |\ \ \ \ \
| * \ \ \ \ \ Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-04-16
| |\ \ \ \ \ \
| * | | | | | | Infrastructure for objective functionsLibravatar Kristóf Marussy2019-04-07
| * | | | | | | Two-valued fault tree analyzer WIPLibravatar Kristóf Marussy2019-02-19
| * | | | | | | Build with Eclipse 2018.12, generated files changeLibravatar Kristóf Marussy2019-02-19
* | | | | | | | Fix attribute export to xmiLibravatar Kristóf Marussy2020-05-20
* | | | | | | | Setting delimier in every printing mode to ','Libravatar Oszkar Semerath2020-05-17
* | | | | | | | separtor ; -> \tLibravatar Oszkar Semerath2020-05-14
* | | | | | | | Use String to create RealExprLibravatar anqili4262020-05-13
* | | | | | | | removed unnecesary printingLibravatar Oszkar Semerath2020-05-12