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 		2 weeks ago
cuda c++ code compiles again after rename 8 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 4 months ago
src SoundGameViHelper: cleaned up 4 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 bumped c++ version im CMakeLists 2 weeks ago
LICENSE updated license 8 years ago
README.md updated readme 5 months ago
StormCPackConfig.cmake fix old names in CPack config 8 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 4 years ago

README.md

Tempest - A Shield Synthesis Tool