sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
9516 Commits
2 Branches
0 Tags
187 MiB
 
 
 
 
Branch: tempestpy_adaptions
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'tempestpy_adaptions'
${ noResults }
Stefan Pranger 6a79986980
introduce bounded globally mc for MDPs 		11 months ago
.github/workflows CI: Use spot in all existing configurations. Add a new configuration without Spot. 4 years ago
cuda introduce bounded globally mc for MDPs 11 months ago
doc introduce bounded globally mc for MDPs 11 months ago
resources introduce bounded globally mc for MDPs 11 months ago
src introduce bounded globally mc for MDPs 11 months ago
.clang-format .clang-format: disabled namespace indentation 4 years ago
.gitignore Remove support for Travis CI 4 years ago
CHANGELOG.md Updated changelog a bit. 4 years ago
CMakeLists.txt cmake: Fixed marking non-existing option as advanced 4 years ago
LICENSE updated license 9 years ago
README.md updated readme 1 year ago
StormCPackConfig.cmake fix old names in CPack config 9 years ago
storm-config.h.in CMAKE: Added option to include and link against Spot 4 years ago
version.cmake Storm version 1.6.3 5 years ago

README.md

Tempest - A Shield Synthesis Tool