5183 Commits (a860776164b626e43dca5606640c460591725411)
 

Author SHA1 Message Date
Sebastian Junges 23254f3e62 refactoring resource management in storm cmake to allow easier inclusion in other projects 8 years ago
sjunges 5583ab1a3b wip: new cmake for stormpy 8 years ago
sjunges 43d35a0f79 storm export config improved 8 years ago
sjunges e82ab6c37b pybind resources refreshed 8 years ago
sjunges 0260eaa7be towards exporting targets for storm to be included in other projects 8 years ago
Philipp Berger 7675bbafae Merge branch 'menu_games' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm into mergeMenuGamesWithRationalFunction 8 years ago
Philipp Berger da69e8d9b7 Cherry-picked changes. 8 years ago
dehnert 19fd72cfb6 optimized reuse of qualitative values 8 years ago
dehnert 25db0d4d55 changed some default options 8 years ago
dehnert c32c9a9a44 corrected typo 8 years ago
dehnert fefdc7b216 more time measurements 8 years ago
dehnert 93ba6f941f forgot to add file 8 years ago
dehnert dfc685369e enabled different invalid block detection strategies 8 years ago
dehnert a6514052da avoiding dijkstra for interpolation if most-probable path info is already available 8 years ago
dehnert 7f8b821f18 Merge branch 'master' into menu_games 8 years ago
dehnert 6fb4d0025d added missing include 8 years ago
dehnert 9f71721c21 added option to choose pivot based on most probable path and weighted deviation 8 years ago
dehnert 7db07a6c9c fixed interpolation 8 years ago
dehnert 77fc21d53e fixes here and there 8 years ago
dehnert a8cf21c447 added some options 8 years ago
dehnert 2883b5b40e more interpolation work 8 years ago
dehnert 894c828c78 work on interpolation 8 years ago
dehnert a2bf1643ad prepared Dijkstra-based determination of pivot blocks 8 years ago
dehnert 26320049a6 more options and bugfix 8 years ago
dehnert 24eede3e19 introduced refinement command to capture a specific refinement 8 years ago
dehnert 82a7c06503 renamed abstraction classes for Sebastian 8 years ago
dehnert a8aa44e99d moved abstraction computation load from refine functions to abstract fcts 8 years ago
dehnert 0f9c64f1a9 some refactoring of refiner 8 years ago
dehnert 1a663e3ed7 some changes to refinement and detecting that bottom state computation is superfluous 8 years ago
dehnert ef441f525a Picking pivot state with quantitative information available now considers max diff 8 years ago
dehnert 2e756788f0 refinement logic now fully in refiner object 8 years ago
dehnert 44de3793c9 started to pull the rest of the refinement logic into refiner class, not working (or compiling) yet 8 years ago
dehnert a2f85ffcff moved parts of refine functionality from model checker to refiner class 8 years ago
dehnert fe0e5c3793 more refactoring 8 years ago
dehnert fcfed19c5d factored out helper classes into their own files in preparation of refiner interface 8 years ago
dehnert 3d20cf0afd some fixes and more refactoring 8 years ago
Sebastian Junges 82a740a74e storm-dft running again 8 years ago
sjunges 112fb8f61e moving dfts to their own lib and cli 8 years ago
dehnert e7f0c205c7 more refactoring of game-based model checker 8 years ago
dehnert d1cd11121a more refactoring 8 years ago
dehnert 04d269d563 fixed bug introduced in refactoring 8 years ago
dehnert d595b5d60e reverted some parts of the refactoring 8 years ago
dehnert 5d24a190ab some refactoring for menu games 8 years ago
dehnert e98edf2ab4 fixed abstraction tests 8 years ago
Tom Janson 179c144e56 require Python >= 3.0 8 years ago
sjunges a844b001f9 python has to be found before carl is included in order to pass the python version forward 8 years ago
sjunges bca98e7514 aclocal and autoreconf seem necessary to configure cudd currently, so check for both 8 years ago
sjunges b2dc6cea96 better cmake output for found python version 8 years ago
sjunges f7d15b882d added compiler version to output of cmake 8 years ago
Sebastian Junges c99ca64f86 (Python) some simple methods on expressions 8 years ago