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

2473 Commits (1e6dc2a6e0f188422b65f189bf58828cdbe48897)
 

Author SHA1 Message Date
TimQu 1e6dc2a6e0 .. typo
9 years ago
TimQu cfe1bf9b3b printing model information in csv format
9 years ago
TimQu 6484e431f5 modified selection of benchmarks
9 years ago
dehnert 5cd8254263 use better version of FindGMP for sylvan as well
9 years ago
Christian Dehnert (i2 Assi)Christian DehnertHans Christian Dehnert (Hiwi Viet Yen) 24b3ae2591 Merge branch 'TimParamSysAndSMT' of https://sselab.de/lab9/private/git/storm into TimParamSysAndSMT
9 years ago
TimQu ff8332bd62 display model statistics before bisimiulation
9 years ago
Christian Dehnert (i2 Assi)Christian DehnertHans Christian Dehnert (Hiwi Viet Yen) c4a8b571c3 Merge branch 'future' into TimParamSysAndSMT
9 years ago
TimQu d9b734e6d7 forgot something
9 years ago
TimQu 5f678f96ae parallel execution of benchmarks and larger models
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
TimQu 56be3c183b implemented refinement of regions plus benchmarks
9 years ago
TimQu 3ce8643d96 Added benchmarks
9 years ago
TimQu 8297c51d73 Fixed a bug that was not yet fixed for some reason...
9 years ago
TimQu 9a41b4a95e examples...
9 years ago
TimQu f86c4f65f7 examples and small fix regarding changes of elimination model checker
9 years ago
TimQu 3392fcf095 Merge branch 'future' into TimParamSysAndSMT
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
10 years ago
dehnert 94b817c531 removed debug output
10 years ago
dehnert ed035440c5 Merge branch 'future' into param_elim_order
10 years ago
sjunges 73ed137587 support for gurobi 6.5.0 on MacOS
10 years ago
dehnert b1c103811b conditional probabilities in MDPs should now also work in the min-case
10 years ago
dehnert 3e38e73efe conditional probabilities in MDPs (Baier method) available in sparse MDP model checker
10 years ago
dehnert 756b2c5e30 added globally operator to functionality of hybrid/symbolic MDP model checkers
10 years ago
dehnert 135dfb27b1 added globally operator to funcationlity of sparse MDP model checker
10 years ago
dehnert d42f52d983 all DTMC model checkers now support checking globally formulas
10 years ago
TimQu 38a2352e83 Merge remote-tracking branch 'origin/future' into TimParamSysAndSMT
10 years ago
TimQu 6006d95193 Fixed compile errors: Added missing include and fixed call of std::max
10 years ago
dehnert 84205a0bf6 refined computation of conditional probs a bit. Sebastian, if you're reading this: shouldn't you be working? :)
10 years ago
dehnert 33757633c8 first version of conditional probabilities for (non-parametric) DTMCs a la Baier
10 years ago
dehnert 0ffbda5aff initial draft of long-run rewards for parametric models
10 years ago
dehnert 645f130a62 introduced long-run average reward formula
10 years ago
dehnert 52dedca2a0 added tiny example for long-run properties
10 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
TimQu 1225b056f2 a little refactoring
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
TimQu 8ab7cae974 early termination
10 years ago
dehnert d5601bd328 bugfix
10 years ago
dehnert fc41c3a6dd some more work on other elimination orders
10 years ago
TimQu c0b5190022 Extended interface of linEqSolvers a little,
10 years ago
dehnert dd5af80d5a work towards easier deployment of other ordering heuristics
10 years ago