5900 Commits (c43830ed5262682d65a80e19680ac8c42af3eb6b)
 

Author SHA1 Message Date
Matthias Volk c43830ed52 Set new storm version 7 years ago
Matthias Volk 1284dad8e3 Updated Changelog 7 years ago
Matthias Volk 134bba827f Enabled smart GSPN transformation 7 years ago
Matthias Volk 55c42e06ab Merge branch 'master' into dft_gspn 7 years ago
Matthias Volk ec8304c386 Refactored DftToGspnTransformator 7 years ago
Matthias Volk 4a4cc26d58 Replaced travis_wait with custom function 7 years ago
Matthias Volk 13ddd940ef Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm 7 years ago
dehnert 2a209d18e1 fixing some bisimulation issues 7 years ago
Matthias Volk 9452506b4c Merge branch 'master' into dft_gspn 7 years ago
Matthias Volk ddbe3d7c4c Use Ubuntu 17.10 in travis now 7 years ago
Sebastian Junges b64b65f156 qualitative model checking for pmdps enabled 7 years ago
Sebastian Junges 5a62a60e17 fix in pla without simplifications allowed 7 years ago
Matthias Volk 58990aea27 Another try with travis_wait 7 years ago
Matthias Volk 2a8e58284c Next try with travis_wait 7 years ago
Matthias Volk e951265839 Do not display help for hidden modules 7 years ago
Matthias Volk 8a836a2bfd Try to avoid timeout in travis with travis_wait 7 years ago
Matthias Volk 8b757466e8 Added GameSolverSettings which are now required 7 years ago
Matthias Volk 8b1fbca271 Set priority to 1 for all GSPN transitions 7 years ago
Matthias Volk 8bd75a435c First child is not initially claimed by default 7 years ago
Matthias Volk e0f19d893c Fixed layouting 7 years ago
Matthias Volk bc69092f16 LayoutInfo for disabled place in BE template 7 years ago
Matthias Volk 64443170e3 Minor fixes in GSPN translation 7 years ago
dehnert 5942c8c853 Merge remote-tracking branch 'origin/master' into highlevelcex 7 years ago
dehnert d45eead440 improved asserted constraints for high-level cex 7 years ago
Matthias Volk 22d97332b0 Temporarily disabled Mac builds in Travis 7 years ago
Matthias Volk 31821bc1d0 Display DFT stats 7 years ago
dehnert 24d9b8dfc6 minor reformulation 7 years ago
Matthias Volk 096d532aa0 Small changes 7 years ago
Matthias Volk e4e467622f Minor fixes 7 years ago
Matthias Volk ca0d76e502 Finished JSON export for GSPNs 7 years ago
Matthias Volk ea2a56ece7 Json translation for places and transitions 7 years ago
Matthias Volk b901b2ce7d Started on GSPN to Json export 7 years ago
Matthias Volk e9a57aa3e5 Cleanup after processing options 7 years ago
Matthias Volk 770fc83e7f Generalization loadDFT 7 years ago
TimQu 355510c808 Fixed call of wrong 'specify' method 7 years ago
TimQu e2f8fe2b30 Merge branch 'pla_without_simplification' 7 years ago
TimQu eab7e409e9 Fixed Running PLA without simplification 7 years ago
Sebastian Junges e023f27714 test case for disabled simplification 7 years ago
Sebastian Junges 8cd3f1bc1a added a switch to disable simplifications within PLA 7 years ago
TimQu 61a44121b3 improved computation of lower/upper bounds for multi-objective model checking 7 years ago
TimQu fd7f8c7bac Fixed an issue related to multi-objective model checking of models with potentially infinite expected reward 7 years ago
dehnert 93eb0b19d4 Merge remote-tracking branch 'origin/master' into highlevelcex 7 years ago
dehnert 59666a9fe9 slight renaming in matrix builder to better capture semantics 7 years ago
dehnert 99647c11fb fixed an issue pointed out by Tim 7 years ago
dehnert 9dea83055b added cache to Z3 expression translator to speed up the translation of large constraints 7 years ago
dehnert 459763c019 investigating a cut-related issue in high-level cex 7 years ago
dehnert 01dc240eea fixed checking carl version 7 years ago
TimQu ebeb34b791 implemented heuristic for pla that helps to decide with respect to which parameters a region should be splitted 7 years ago
dehnert 66cb8c60d0 fixed applying a custom row-grouping if there is none in high-level cex 7 years ago
dehnert cdb35c8bac fixed issue related to high-level counterexamples for liveness properties 7 years ago