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

7117 Commits (adaba036485e9b1ca93849700a3da6ea3be2f1af)
 

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