sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
5466 Commits
2 Branches
0 Tags
187 MiB
Tree: 488479b5a7
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '488479b5a7'
${ noResults }
Commit Graph

5466 Commits (488479b5a73a5bc06695c32b8b9afe54c2c46b27)
 

Author SHA1 Message Date
TimQu f762491ce4 fixed tests that used the prism model builder
9 years ago
TimQu 759e351e95 Improved explicit model building:
9 years ago
dehnert c595fee4dc removed some unnecessary transition insertions in parser
9 years ago
Matthias Volk 2b142c83bb Disabled verbose output
9 years ago
Matthias Volk a2517c7a12 Set mtime for StormEigen
9 years ago
TimQu cb90600abb Silenced a warning
9 years ago
TimQu 25074b50a9 Added function to get the next unset bit in a bitvector
9 years ago
TimQu 4413afb542 used new helper functions at some points in the code
9 years ago
TimQu 8a7609fb83 fixed Rmin computation with exact sparse engine when very high rewards occur
9 years ago
Matthias Volk 869d7e7ba7 Build sylvan beforehand
9 years ago
dehnert 7f346d2f0b more work on quotient extraction
9 years ago
Matthias Volk 4cf79ab8cc Try to avoid rebuilding
9 years ago
Sebastian Junges 34e48473b3 Updated changelog
9 years ago
Matthias Volk e3759eb326 Verbose output for make
9 years ago
sjunges f72200bd2c - removed deprecated option USE_CARL (now a variable). - changed behaviour of POPCNT: we usually rely on march=native which uses popcnt if available, and now can force its usuage in other situations
9 years ago
sjunges 5693144f32 refactored code to prevent duplication, added support for rational functions at edges when collecting constraints
9 years ago
sjunges 165d168cd6 fix for gcc, add state reward support for constraint collection
9 years ago
Sebastian Junges 5c7d3db743 towards proper side constraints for parametetric systems
9 years ago
Sebastian Junges cb5aff10ae Fix ambigious isspace that was preventing compilation, introduced by some earlier commit.
9 years ago
Matthias Volk 2e02e34f94 Insert jobs according to stage
9 years ago
Matthias Volk 982538bfec Use jobs instead of matrix
9 years ago
Matthias Volk 822d098caa Next fix
9 years ago
Matthias Volk 120bf729d4 Fixed parsing issue
9 years ago
Matthias Volk 7dc71ff12b Generate travis file
9 years ago
Matthias Volk 811ca84944 Cd build
9 years ago
Matthias Volk 8aff592e10 Try beta feature of build stages
9 years ago
Matthias Volk 19b9ca14d0 Decreased timeout
9 years ago
Sebastian Junges 18798f7950 An existing file is also writable
9 years ago
Sebastian Junges 87f494627c Fixes after carl update in order to get ginac from carl.
9 years ago
Matthias Volk d88350e556 Merge remote-tracking branch 'upstream/master'
9 years ago
TimQu d655621ea1 Fixed seg fault when building model valuations
9 years ago
Matthias Volk c4d6c1b787 Added tests in Release mode
9 years ago
Matthias Volk c1d2fbf73c Output on test failure
9 years ago
Matthias Volk ce41123049 Cache timeout and tests
9 years ago
Matthias Volk 3557399336 Support for Debian 9
9 years ago
Matthias Volk 94590ff5b9 Several changes
9 years ago
Matthias Volk d810595f11 Fixed copy in before_cache
9 years ago
Matthias Volk 9d441d21af More debug output
9 years ago
TimQu 927a8f93cc fixed translation of rational numbers to mathsat expressions
9 years ago
Matthias Volk dcedea5a08 Caching from docker as well
9 years ago
Matthias Volk 6b2db852be Ruby is needed in docker
9 years ago
Matthias Volk 1e720a97df Next try with docker and Ubuntu
9 years ago
Matthias Volk 25be35aa50 First test of Travis, docker and Ubuntu 16.10
9 years ago
Matthias Volk 453e31ef67 First try on docker for Ubuntu 16.10
9 years ago
Matthias Volk b7e64cb191 Increased timeout
9 years ago
Matthias Volk c2373a7cd4 Test timeout
9 years ago
Matthias Volk c2261d2185 Make all
9 years ago
Matthias Volk dc3634910a Make aggain
9 years ago
Matthias Volk 7a3d9b32ed Folding in travis
9 years ago
Matthias Volk d8cc0428f4 Next test
9 years ago