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.
9542 Commits
2 Branches
0 Tags
187 MiB
 
 
 
 
Branch: main
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'main'
${ noResults }
Stefan Pranger 763eb7f76f
bumped c++ version im CMakeLists 		9 months ago
cuda c++ code compiles again after rename 9 years ago
doc Spot: re-iterated cmake interface to hopefully make it more clean. Added documentation on how to update spot 4 years ago
resources getting optimization direction via CheckTask 12 months ago
src bumped c++ version im CMakeLists 9 months ago
.clang-format .clang-format: disabled namespace indentation 5 years ago
.gitignore Remove support for Travis CI 4 years ago
CHANGELOG.md Updated changelog a bit. 4 years ago
CMakeLists.txt bumped c++ version im CMakeLists 9 months 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