aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers
Commit message (Expand)AuthorAge
* changed dot visualization to svg to make it compatible with batik 1.14HEADmasterLibravatar OszkarSemerath2022-04-01
* made Z3 optional dependency if there are no numbersLibravatar OszkarSemerath2022-04-01
* Numeric solver fixesLibravatar OszkarSemerath2022-04-01
* Numeric solver dreal hardcoding -> configV4transformationLibravatar OszkarSemerath2021-07-30
* Config updated and createSharedVersionedMapStores serviceLibravatar OszkarSemerath2021-07-29
* Diffcursor fixes & continuous hash provider compare service.Libravatar Oszkar Semerath2021-07-29
* Adding timeout to testsLibravatar Oszkar Semerath2021-07-28
* Updated cursor interface, removed inefficient iterator interface.Libravatar Oszkar Semerath2021-07-28
* MutableNode hash calcultion simplifiedLibravatar Oszkar Semerath2021-07-26
* ShiftDepth argument checkLibravatar Oszkar Semerath2021-07-26
* Small renaming and refactoringLibravatar Oszkar Semerath2021-07-26
* Smoketest refactor splitting fast and slow smoke testsLibravatar Oszkar Semerath2021-07-26
* better progress logging in smoke testsLibravatar Oszkar Semerath2021-07-26
* Added configuration options and fixed some bugsLibravatar Oszkar Semerath2021-07-26
* VersionedMap interface updates: diffcursors and synchronizationLibravatar Oszkar Semerath2021-07-26
* Smoke test error message updateLibravatar Oszkar Semerath2021-07-26
* Diffcursor, first implementationLibravatar Oszkar Semerath2021-07-26
* Commit -> restore testLibravatar Oszkar Semerath2021-07-25
* Removed equals from hash provider, as nodes are compared without it.Libravatar Oszkar Semerath2021-07-25
* Comparation tests between commiting and non-commiting maps.Libravatar Oszkar Semerath2021-07-25
* hash code fix and test environment reorganizationLibravatar Oszkar Semerath2021-07-25
* parametric testing and permutatersLibravatar Oszkar Semerath2021-07-17
* Caching immutable nodesLibravatar Oszkar Semerath2021-07-17
* Merging immutable nodes during commits.Libravatar Oszkar Semerath2021-07-15
* hashcode fixLibravatar Oszkar Semerath2021-07-14
* npe fix 2Libravatar Oszkar Semerath2021-07-14
* npe fixLibravatar Oszkar Semerath2021-07-14
* Merged nodes in cacheLibravatar Oszkar Semerath2021-07-14
* Tests and iteratorsLibravatar Oszkar Semerath2021-07-07
* no separate node iteratorsLibravatar Oszkar Semerath2021-07-06
* Import fixLibravatar Oszkar Semerath2021-07-06
* VersionedMapStore first implementation, tests reinterpretedLibravatar Oszkar Semerath2021-07-06
* Test environment updateLibravatar Oszkar Semerath2021-07-05
* iterator fixLibravatar Oszkar Semerath2021-07-05
* First version of Cursor, Iterator and getSize()Libravatar Oszkar Semerath2021-07-04
* First version of the versioned hashmapLibravatar Oszkar Semerath2021-07-02
* fixed bigdecimal <-> double casting errorLibravatar oszkarsemerath2021-05-03
* 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
* Remove drealLibravatar Aren Babikian2021-02-06
* fix previous commitLibravatar Aren Babikian2021-02-03
* add dreal buildLibravatar Aren Babikian2021-02-03
* Fix bug for ignored-attributes + better logic problem creationLibravatar Aren Babikian2021-01-24
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-19 03:16:31 +0000