Stefan Pranger 763eb7f76f bumped c++ version im CMakeLists		1 month 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	5 months ago
src	SoundGameViHelper: cleaned up	5 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	1 month ago
LICENSE	updated license	8 years ago
README.md	updated readme	6 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

Tempest - A Shield Synthesis Tool