sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
2460 Commits
1 Branch
0 Tags
187 MiB
Tree: 977e722e6c
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '977e722e6c'
${ noResults }
Commit Graph

2460 Commits (977e722e6c2f19c7923599bd19e62af380fe2b07)
 

Author SHA1 Message Date
sjunges 977e722e6c Merge branch 'future' into python_api
9 years ago
sjunges c2138a8f1d no, thou shall not check how stupid i've been here
9 years ago
sjunges 2e3b3f4c8c Merge branch 'future' into python_api
9 years ago
sjunges 524f3aa0c2 perform bisim wrt single formula
9 years ago
sjunges fdc918e948 use single formula for bisim (not working)
9 years ago
sjunges ae9374dba6 Merge branch 'future' into python_api
9 years ago
sjunges e43fb0bbfb Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
9 years ago
sjunges 95c37244a2 reduced complexity of bisimulation and preprocess call
9 years ago
sjunges 3cb99627af bisim via python
9 years ago
dehnert 1c7f5dae56 fixed a bug pointed out by Matthias
9 years ago
sjunges 32b2023b4b Merge branch 'future' into python_api
9 years ago
sjunges ad01dfa611 refactored bisimulation a bit (mainly the entry point as well as hidden some options)
9 years ago
sjunges ed66cb2daf Merge branch 'future' into python_api
9 years ago
sjunges 3bdd87e7a7 Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
9 years ago
sjunges 93be84a4a8 fix in get parameters from model
9 years ago
sjunges 8e07f5855d shared stormlib, added variables from model
9 years ago
PBerger 3cda2d153a Fixed MathsatExpressionAdapter.h, where the adaption of std::hash was already wrapped in "namespace std" but the definition used std:: again.
9 years ago
PBerger f0f3e8cbb3 Fixed test/functional/permissiveschedulers/SmtPermissiveSchedulerTest.cpp when MathSAT support is unavailable.
9 years ago
sjunges ebfd6aba39 Merge branch 'future' into python_api
9 years ago
sjunges 5e9c42f2af intermediate commit
9 years ago
PBerger 8eec3f2306 Fixed issue in ExplicitPrismModelBuilder.cpp when CARL is not available.
9 years ago
PBerger 9b9468fbfd Fixed issues in graph.cpp when CARL is not available.
9 years ago
sjunges 8c607c015d Merge branch 'future' into python_api
9 years ago
sjunges 6cd3cdcd6b fixed missing template instantations
9 years ago
sjunges ef256993b9 Merge branch 'future' into python_api
9 years ago
sjunges 0730d8bcd3 Merge branch 'future' into python_api
9 years ago
dehnert 64e7cd63f5 removed obsolete menu-game model checker class
9 years ago
sjunges bfe7354b22 fixed a double extern declaration
9 years ago
Mavo 84ca3fbfdf Some comments
9 years ago
sjunges 93c5a3bcf3 build info added to py api
9 years ago
sjunges 421b454abd Merge branch 'future' into python_api
9 years ago
sjunges 22a6165264 Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
9 years ago
Mavo 6618109c0a Multi-core make
9 years ago
dehnert fdf2d81c61 added missing template parameter
9 years ago
dehnert e20942393e added some primes
9 years ago
dehnert 0f8bd82125 corrected clang pragma
9 years ago
dehnert ebbd03c15b fixed some warning-related stuff. introduced abstraction-refinement engine in options and entrypoints that currently only throws not-implemented exception
9 years ago
Mavo ea479fd909 Merge branch 'python_api' of https://sselab.de/lab9/private/git/storm into python_api
9 years ago
Mavo 9791070a6a Added PmcResult containing the model checking results
9 years ago
sjunges 7cf2446501 minimal version for stormpy expressions, some questions should be resolved first (regarding to manager)
9 years ago
sjunges 8ff8eedbcf Merge branch 'python_api' of https://sselab.de/lab9/private/git/storm into python_api
9 years ago
sjunges 21e678b59c stormpy logic and using dynamic boost::python version
9 years ago
dehnert 2ea5fd7418 fix in sylvan, minor changes to cmake list
9 years ago
dehnert a01e46779f CMake now requiring hwloc for sylvan under linux
9 years ago
Mavo 5f6dc2f944 Output for model checking result
9 years ago
sjunges 717c7073e8 cleaning stormpy a bit before extending further
9 years ago
sjunges 1f7f72ef36 added some convenience functions for handling shared pointers and derived classes, next big-step(tm) towards stormpy
9 years ago
sjunges 5fd7f91774 changed names to be more pythonic
9 years ago
sjunges da7462b922 Added helper for shared_pointer conversion, refactored a bit. Still some open questions though
9 years ago
sjunges 30db5fb1c3 removed spurious comma which made cmake behave like a 5-year old
9 years ago