36 Commits (ed2d8c800a2f172653d5632fbb3c7c56b5d238aa)

Author SHA1 Message Date
sjunges 1a08e1177d some issues with const for formulae 10 years ago
sjunges cddaf4ca2a python for const formulae 10 years ago
sjunges 3ff915c111 checking whether model is parametric and as_mdp added 10 years ago
sjunges fdc918e948 use single formula for bisim (not working) 10 years ago
sjunges 3cb99627af bisim via python 10 years ago
sjunges 8e07f5855d shared stormlib, added variables from model 10 years ago
Mavo 84ca3fbfdf Some comments 10 years ago
sjunges 93c5a3bcf3 build info added to py api 10 years ago
Mavo 9791070a6a Added PmcResult containing the model checking results 10 years ago
sjunges 7cf2446501 minimal version for stormpy expressions, some questions should be resolved first (regarding to manager) 10 years ago
sjunges 21e678b59c stormpy logic and using dynamic boost::python version 10 years ago
Mavo 5f6dc2f944 Output for model checking result 10 years ago
sjunges 717c7073e8 cleaning stormpy a bit before extending further 10 years ago
sjunges 1f7f72ef36 added some convenience functions for handling shared pointers and derived classes, next big-step(tm) towards stormpy 10 years ago
sjunges 5fd7f91774 changed names to be more pythonic 10 years ago
sjunges da7462b922 Added helper for shared_pointer conversion, refactored a bit. Still some open questions though 10 years ago
sjunges 30db5fb1c3 removed spurious comma which made cmake behave like a 5-year old 10 years ago
sjunges ae18ef8003 refactored construction of python modules 10 years ago
Mavo 5f99e86c38 Next step toward success 10 years ago
Mavo c08bd2bd87 Typo 10 years ago
Mavo ed526f2e0a Initialized settings in build model 10 years ago
sjunges 46466ea4b6 an unhappy intermediate commit, not worth celebrating 10 years ago
sjunges 09a1fecdf3 small changes to python interface 10 years ago
sjunges 9f61f75231 error when build fails during setup, as well as some extensions to the python interface 10 years ago
sjunges a365ce7a0b further work on python api 10 years ago
sjunges c431cbe375 merge 10 years ago
sjunges 83561a319f merge 10 years ago
sjunges 4e16571f8a removed missing function. 10 years ago
sjunges bfd6e62c69 updated python api + setup.py 10 years ago
sjunges 559cb67813 updates to the stormpy core 10 years ago
sjunges 3e9f095cd4 new version of storm-core python api 10 years ago
sjunges 98e3226fd1 first version of stormpy (we can parse a prism program) 10 years ago
sjunges d214e8783e first version for python support 10 years ago