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

2395 Commits (3bdd87e7a70ffea27edc73d38088dfbfebc424c8)
 

Author SHA1 Message Date
sjunges 3bdd87e7a7 Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
9 years ago
sjunges 93be84a4a8 fix in get parameters from model
9 years ago
PBerger 3cda2d153a Fixed MathsatExpressionAdapter.h, where the adaption of std::hash was already wrapped in "namespace std" but the definition used std:: again.
9 years ago
PBerger f0f3e8cbb3 Fixed test/functional/permissiveschedulers/SmtPermissiveSchedulerTest.cpp when MathSAT support is unavailable.
9 years ago
sjunges 5e9c42f2af intermediate commit
9 years ago
PBerger 8eec3f2306 Fixed issue in ExplicitPrismModelBuilder.cpp when CARL is not available.
9 years ago
PBerger 9b9468fbfd Fixed issues in graph.cpp when CARL is not available.
9 years ago
sjunges 6cd3cdcd6b fixed missing template instantations
9 years ago
dehnert 64e7cd63f5 removed obsolete menu-game model checker class
9 years ago
sjunges bfe7354b22 fixed a double extern declaration
9 years ago
sjunges 22a6165264 Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
9 years ago
dehnert fdf2d81c61 added missing template parameter
9 years ago
dehnert e20942393e added some primes
9 years ago
dehnert 0f8bd82125 corrected clang pragma
9 years ago
dehnert ebbd03c15b fixed some warning-related stuff. introduced abstraction-refinement engine in options and entrypoints that currently only throws not-implemented exception
9 years ago
dehnert 2ea5fd7418 fix in sylvan, minor changes to cmake list
9 years ago
dehnert a01e46779f CMake now requiring hwloc for sylvan under linux
9 years ago
sjunges e4725aa4a1 Instead of returning the program, return the prepared formulas
9 years ago
sjunges 2d44d4f822 getUndefinedConstantsAsString added to storm::prism::program
9 years ago
sjunges c32b1530f4 extended gitignore to hide clion project description
9 years ago
sjunges e45ce6f293 replaced stdpair by struct for model,program pairs
9 years ago
dehnert 194db381b4 now ignoring .log and .DS_Store files
9 years ago
dehnert 3e23a9ad40 some typos
9 years ago
dehnert 94b817c531 removed debug output
9 years ago
dehnert ed035440c5 Merge branch 'future' into param_elim_order
9 years ago
sjunges 73ed137587 support for gurobi 6.5.0 on MacOS
9 years ago
dehnert b1c103811b conditional probabilities in MDPs should now also work in the min-case
9 years ago
dehnert 3e38e73efe conditional probabilities in MDPs (Baier method) available in sparse MDP model checker
9 years ago
dehnert 756b2c5e30 added globally operator to functionality of hybrid/symbolic MDP model checkers
9 years ago
dehnert 135dfb27b1 added globally operator to funcationlity of sparse MDP model checker
9 years ago
dehnert d42f52d983 all DTMC model checkers now support checking globally formulas
9 years ago
TimQu 6006d95193 Fixed compile errors: Added missing include and fixed call of std::max
9 years ago
dehnert 84205a0bf6 refined computation of conditional probs a bit. Sebastian, if you're reading this: shouldn't you be working? :)
9 years ago
dehnert 33757633c8 first version of conditional probabilities for (non-parametric) DTMCs a la Baier
9 years ago
dehnert 0ffbda5aff initial draft of long-run rewards for parametric models
9 years ago
dehnert 645f130a62 introduced long-run average reward formula
9 years ago
dehnert 52dedca2a0 added tiny example for long-run properties
9 years ago
dehnert 2a5780d5be first version of long-run-average for parametric DTMCs
10 years ago
dehnert cd8fd76520 some refactoring in an attempt to make the state-elimination procedure flexible and readable at the same time
10 years ago
dehnert 0f6e6e4da1 added feature to compute step-bounded until probabilities in parametric models
10 years ago
dehnert 98d173ca3c changed elimination-based model checker to be able to compute values for all states (for reachability probs and reachability rewards)
10 years ago
dehnert 8ed4a5f849 some refactoring in elimination-based model checker
10 years ago
sjunges 3217a2ce18 Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
10 years ago
sjunges 1e1400d68d merge
10 years ago
sjunges 096778a5d0 assorted fixes (builder for no-fix-deadline, semicolon, xercesbuild)
10 years ago
dehnert d5601bd328 bugfix
10 years ago
dehnert fc41c3a6dd some more work on other elimination orders
10 years ago
dehnert dd5af80d5a work towards easier deployment of other ordering heuristics
10 years ago
dehnert 34ba28cfdb some minor fixes
10 years ago
dehnert f72f556018 improved spirit error handling a bit
10 years ago