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

5511 Commits (94a7cd1048ca5a9321ca403f5b7da39340111173)
 

Author SHA1 Message Date
dehnert bb711fa4fb Merge remote-tracking branch 'origin/jani_support' into jani_explicit_jit
9 years ago
dehnert 4d8c765fdf made jit-builder ready to deal with compositions that do not mention all automata, more work on rewards
9 years ago
sjunges e0fd50cb9d Fixed export of sync input for no-action
9 years ago
TimQu 3d24f25fbc cleaning up
9 years ago
TimQu 80d9e6bb4e Compatibility with recent hypro version
9 years ago
dehnert eee02a7102 Merge remote-tracking branch 'origin/jani_support' into jani_explicit_jit
9 years ago
dehnert ad96b81a8a fix to compile again
9 years ago
sjunges d945cb279d add derived operators to features, fixed composition export
9 years ago
dehnert 2a90b5d737 more transient assignments
9 years ago
sjunges 84d1ead442 Merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
9 years ago
dehnert 44c06641d7 slightly different approach to transient variable handling
9 years ago
TimQu 71e181bd93 some quick and dirty optimizations (that need to be reviewed)
9 years ago
dehnert 8f096e9475 more work on transient variables
9 years ago
dehnert 4728674a4a fixed bug
9 years ago
sjunges f5e8c5ba73 Merge branch 'dft-approximation' of https://sselab.de/lab9/private/git/storm into dft-approximation
9 years ago
sjunges b044b2aca4 ..
9 years ago
dehnert c84254f665 another step, debugging in progress
9 years ago
Mavo cd1aec7750 Heuristic using the difference between upper and lower bound
9 years ago
Mavo 6fcc97a7b4 Implemented modularisation for MTTF via parallel composition of CTMCs
9 years ago
sjunges 875feebdb8 modularisation checks for restrictors
9 years ago
Mavo 1c95722711 Do not skip states if approx = 0.0
9 years ago
Mavo 9947d9b64c Add up exploration time
9 years ago
sjunges f1e69e42cd Merge branch 'dft-approximation' of https://sselab.de/lab9/private/git/storm into dft-approximation
9 years ago
sjunges 464a497093 smt checker v1, and better error messages
9 years ago
Mavo d95bb71f75 Tried to gain more performance
9 years ago
Mavo 64699a7bad Several improvements
9 years ago
Mavo dae1a7eefe Do not use cold BEs in first step of approximation formula
9 years ago
Mavo 02c4195f31 Better upper bound for independent subtrees
9 years ago
dehnert c4f8c1fbcb one step more
9 years ago
Mavo a2c484bba4 Support for probability approximation without modularisation
9 years ago
Mavo b669a3acef Only sort bucket queue if more than 10% is unsorted
9 years ago
Mavo 6778a018ad Use heuristic probability
9 years ago
Mavo d814143c09 Merge branch 'dft-approximation' of https://sselab.de/lab9/private/git/storm into dft-approximation
9 years ago
Mavo c12bbe2904 Disable old way of computing permutations as there is a bug for >31 elements
9 years ago
dehnert 2471036df4 more work on jit-thing: transitioning to proper handling of synchronizing edges
9 years ago
Mavo aa9cc2e0e5 Merge branch 'dft-approximation' of https://sselab.de/lab9/private/git/storm into dft-approximation
9 years ago
Mavo 876b147aa8 Fixed bug with iterator
9 years ago
Mavo d9b1285644 Alternative way of computing permutations (at the moment in parallel)
9 years ago
sjunges ce9d7db67a fixed knuths die in pdtmc
9 years ago
sjunges 56b301fbbf ignore some 3rd party libs
10 years ago
Mavo 386d4c7f05 Use heuristic NONE to explore complete state space
10 years ago
Mavo 8e159133da Compute lower/upper bounds only when needed
10 years ago
dehnert eaf422689b terminal states now supported by jit-based builder
10 years ago
dehnert 247c47c2be Merge remote-tracking branch 'origin/jani_support' into jani_explicit_jit
10 years ago
dehnert e8810a3be4 more work: up
10 years ago
dehnert 02ca60282d forgotten files
10 years ago
dehnert 169293bfe5 started on proper deadlock handling
10 years ago
dehnert 71f2e83bc0 completed moving from monolithic generation to callback-based approach. added building labels to jit-based model builder, added support for options of other builders (selection of labels, reward models, etc)
10 years ago
Mavo a9f97bd210 Set heuristic to probability
10 years ago
Mavo 58f8707293 Tighter over-approximation
10 years ago