sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
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 }
Commit Graph

26 Commits (tempestpy_adaptions)

Author SHA1 Message Date
Tim Quatmann efeeea0d54 Spot: re-iterated cmake interface to hopefully make it more clean. Added documentation on how to update spot
4 years ago
Tim Quatmann 32ddadea17
Added explanations on how to update gtest in the future.
5 years ago
Matthias Volk 996da02efd Remove support for Travis CI
5 years ago
Matthias Volk 3f9616d3e0
Added documentation about integrating Github pull requests
5 years ago
Tim Quatmann 4ffe13063c Fixed the offline_package.md documentation to incorporate more recent changes in Storm.
5 years ago
Tim Quatmann c247b4ab55 fixed type in offline_package documentation
5 years ago
Tim Quatmann 2c4e4b29e6 Updated documentation for new release.
5 years ago
Tim Quatmann d72f1270e4 Added some documentation for steps on how to update a resource.
6 years ago
Tim Quatmann a73035efdf Added some document explaining how one can build a package for offline installation of storm.
6 years ago
Matthias Volk 32371c44d4 Updated documentation for new release
6 years ago
Matthias Volk 1de76b36c8 Updated steps for new release
6 years ago
Matthias Volk 7028198989 Revised documentation
6 years ago
Matthias Volk 7a5b93bdfa Updated changelog
8 years ago
TimQu d1641f09eb added a script to check multiple cmake configurations and updated the release checklist
8 years ago
Matthias Volk 2d8cc1681c Fixed indentation
8 years ago
Matthias Volk 4e34754ac1 Updated release steps for setting tag on GitHub
8 years ago
Matthias Volk 24c0e23db2 Added checklist for new release
8 years ago
Matthias Volk 94788dbd74 Removed old files
8 years ago
sjunges df87d7fa13 cleaned cmake list (removal of python related stuff), slightly altered doc (mainly just to improve further work on that
9 years ago
sjunges 7749127db3 minor changes in readme and build info
9 years ago
sjunges 4d614d55f3 played a bit with docu
9 years ago
sjunges 240f2291c6 some work towards documentation
10 years ago
sjunges b11ba27c34 some documentation stub
10 years ago
sjunges fdbc0bf694 moved doxygen generation file to the resources
10 years ago
PBerger f983317b54 Renaming MRMC to STORM, see #42
13 years ago
PBerger 4cd75789ac Updated styleguides
14 years ago