aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic
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
* 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
|/
* Use String to create RealExprLibravatar anqili4262020-05-13
* removed unnecesary printingLibravatar Oszkar Semerath2020-05-12
* logging detailed measurement data for the numerical solverLibravatar Oszkar Semerath2020-05-12
* precise time measurements for the numeric solverLibravatar Oszkar Semerath2020-05-12
* Fixed bug in setting constant typesLibravatar anqili4262020-05-11
* Added support for real numbersLibravatar anqili4262020-05-10
* closing numerical solverLibravatar Oszkar Semerath2020-05-10
* Numeric Solver integration to explorationLibravatar Oszkar Semerath2020-05-09
* Rebuild with Eclipse 2020-03Libravatar Kristóf Marussy2020-05-07
* viatra parsing fixesLibravatar Oszkar Semerath2020-05-07
* Adjust classpath for Z3 in viatra2logicLibravatar ArenBabikian2020-05-06
* Able to run Pledge Case StudyLibravatar ArenBabikian2020-04-28
* Merge branch 'Attribute-Solver'Libravatar anqili4262020-04-26
|\
| * Added FakeIntegerElementLibravatar anqili4262020-04-26
* | Merge branch 'Attribute-Solver'Libravatar anqili4262020-04-25
|\|
| * Added new testLibravatar anqili4262020-04-22
| * Added measurementsLibravatar anqili4262020-04-15
generated by cgit v1.2.3-54-g00ecf (git 2.44.0) at 2024-05-02 17:05:46 +0000