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

2187 Commits (fd86d430ae308d68cb6f104a60bdde00e06c332e)
 

Author SHA1 Message Date
sjunges ee6d71d3d4 Merge branch 'master' of https://sselab.de/lab9/private/git/storm
10 years ago
dehnert 3657b13aa9 another missing ifdef
10 years ago
sjunges 1d5faef301 cmake use carl flag
10 years ago
dehnert 16d672a5cb put carl reference in ifdef
10 years ago
dehnert e67e057e98 Merge branch 'master' into menu_games
10 years ago
dehnert 032e141254 small fix to the way interval reward models are reduced to a scalar vector
10 years ago
dehnert f409087f47 first version of interval reward model support for MDPs. also fixed a missing include that prevented compilation of the main executable
10 years ago
dehnert f51e8eeaea moved reward model template parameter from helper classes to the affected functions. this sadly excludes the SparseDtmcPrctlHelper for which clang then produces a segfault (bug report pending)
10 years ago
dehnert 21d9e91586 work towards interval reward model
10 years ago
dehnert 36b67a3a38 refined output of deadlock states a bit
10 years ago
dehnert d4d49e49ce Merge branch 'master' of https://sselab.de/lab9/private/git/storm
10 years ago
dehnert 1713e10efc added output of first 3 deadlock states in symbolic model builder
10 years ago
sjunges 35a154f67f Splitted graph in h and cpp`
10 years ago
sjunges 3ae5ea7000 Merge branch 'master' of https://sselab.de/lab9/private/git/storm
10 years ago
sjunges e3122e5ede Faster compilation and topological failing test failed
10 years ago
dehnert d4cd58e9c6 upon preserving a new formula, the builders now do not apply terminal states
10 years ago
dehnert ffc9eda1c2 enabled terminal states for explicit model builder
10 years ago
sjunges 31ed578e2c Xcode generation fix.
10 years ago
dehnert 8489328e25 Merge branch 'master' of https://sselab.de/lab9/private/git/storm
10 years ago
sjunges ce8819b44d Merge branch 'master' of https://sselab.de/lab9/private/git/storm
10 years ago
dehnert 4e8538e282 Merge branch 'master' of https://sselab.de/lab9/private/git/storm
10 years ago
dehnert 3849c59d6b formula parser now correctly accepts variables of a loaded model
10 years ago
sjunges f219437acf Faster compilation times!
10 years ago
sjunges 1086ffc1cc Added allow early termination for min/max solvers
10 years ago
dehnert 080b50a890 fixed bug in symbolic model generation
10 years ago
dehnert a027645371 Merge branch 'master' into menu_games
10 years ago
dehnert 53524c3c6e Merge branch 'master' of https://sselab.de/lab9/private/git/storm
10 years ago
dehnert 9f70e7cb3b adapted DD-based model exploration to the new policy regarding writing to global variables
10 years ago
sjunges f006d54995 vector min_if, max_if
10 years ago
dehnert 7f5e775395 adapted counterexample generation to refactoring
10 years ago
sjunges 7b79725421 Allow hints for z3
10 years ago
sjunges 0a061274b6 support for downloaded version of z3
10 years ago
sjunges 7722165256 Support for gurobi 602
10 years ago
sjunges 0b6cc91808 Remove not existing variant of compute until probabilities.
10 years ago
dehnert d7490a74cb properties can now be given as string or file. both ways accept multiple formulas
10 years ago
dehnert f9f5a4e206 reincluded tbb in gmm. fixed missing header. extended formula parser to return multiple formulas
10 years ago
dehnert 63df1f6329 includes to make clang on the build server happy
10 years ago
dehnert 9cf488b249 moved to checking the validity of transition matrices by calling the matrix function
10 years ago
dehnert 29716ea5f8 performance tests now compile again. also fixed some warnings
10 years ago
dehnert 6c5f6b5d5e Merge branch 'master' into newrewardmodel
10 years ago
dehnert b94e978843 another round of fixes
10 years ago
sjunges 707a4f500b vector sum_if
10 years ago
sjunges da120d9de5 Refactored some stuff in constants...
10 years ago
sjunges d4ba7905fa Extra constructor for simple testing.
10 years ago
sjunges faf31156e0 fix for last changes + is probabilistic
10 years ago
dehnert 32e4a71acf Merge branch 'newrewardmodel' of https://sselab.de/lab8/private/git/storm into newrewardmodel
10 years ago
dehnert 8d6a5a7fd5 added some missing includes
10 years ago
dehnert 5d07a840be removed debug output
10 years ago
dehnert 972c391eb1 fixed some more bugs/warnings
10 years ago
dehnert dc2735b6ff moved some template parameters from class scope to function scope
10 years ago