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

137 Commits (6431d8d4101dfebd3b5dbe94add4b32022af5ffa)

Author SHA1 Message Date
sjunges 1ed5581a1d removed old examples
8 years ago
sjunges ce9d7db67a fixed knuths die in pdtmc
8 years ago
sjunges bd2e7b075c one can never have enough labels in prism files
8 years ago
sjunges 489fd4f780 Die and TwoDie as in the Qapl talk
8 years ago
sjunges 3ffc93f9b2 label
8 years ago
sjunges 40ea6eeecd pctmc example
8 years ago
sjunges ec830adb19 added labels for error in pdtmc/brp
8 years ago
ThomasH c5bbceebda fix project file
8 years ago
ThomasH 3a63d2d3b2 add pnpro example
8 years ago
dehnert 99badd02c5 more work towards JANI reward models
8 years ago
sjunges 0f6a741276 pgcl
8 years ago
ThomasH 3854feae87 add priorities to the parser and an example
9 years ago
sjunges 88af02e723 towards new jani version
9 years ago
dehnert 852afd1718 fixed crowds models to work with exact arithmetic. fixed dynamic state priority queue implementation. added setting to use dedicated elimination-based model checker instead of regular model checker (+ elimination solver)
9 years ago
sjunges 330bbfcf5e jani examples
9 years ago
dehnert 5934a42898 Squashed 'resources/3rdparty/sylvan/' content from commit d91f6ac
9 years ago
ThomasH 8bfb5d9694 add examples
9 years ago
Mavo c23eb73129 Cleaned examples
9 years ago
Mavo 869b0f95d1 Support for pdeps with more than one child
9 years ago
Mavo 7c60e4275d Some more parametric DFT examples
9 years ago
Mavo bdad8aedd7 Set dependencies to dont care after dependent event has failed
9 years ago
Mavo 306eb8a9cc Construct state from bit vector
9 years ago
Mavo a2a3a734a6 First version of symmetry for shared spares. Still some problems in contrast to Dortmund which had absolutely no problems with Tottenham.
9 years ago
sjunges a6f8ba3716 seq examples
9 years ago
TimQu da0dafe5be ModelInstantiator!!!!11
9 years ago
Mavo 5b6dcd0eed UsageIndex is number of used child now
9 years ago
Mavo 490f232d7a Example for possible pdep symmetry
9 years ago
Mavo 1e9fedb7ba Order symmetries in decreasing order
9 years ago
TimQu fb0cdf336b some benchmarking scripts and example regions...
9 years ago
Mavo 6685b358f0 Symmetry mirrored in state vector
9 years ago
sjunges f89cc46576 two more small examples
9 years ago
Mavo 371ba87f1c Fixed activation of spares
9 years ago
Mavo c78d9ff802 Fixed problems with pdeps
9 years ago
Mavo 0a78ba13f5 MA to CTMC for trivial nondeterminism
9 years ago
Mavo 3636b9ac0d Added more benchmarks
9 years ago
Mavo 72b09a693c More examples
9 years ago
Mavo 32c52d2271 Parse PDEPs
9 years ago
Mavo c6663ba74a Added FDep bechmarks
9 years ago
Mavo 933194c155 Added debuglevel to benchmark script
9 years ago
Mavo efdd9f25ae Changed expected result
9 years ago
Mavo ed6d299d46 Benchmark script for DFTs
9 years ago
dehnert 7997b0596d fixed brp (pMDP version) to also work with PRISM
9 years ago
Mavo 0775bdf549 Disabled some debug output
9 years ago
Mavo d6b7331a5c Fixed problem with multiple transitions to one state
9 years ago
Mavo 8b59a26fe0 More dft files
9 years ago
TimQu cb08583881 another script for remaining benchmarks
9 years ago
TimQu 6484e431f5 modified selection of benchmarks
9 years ago
TimQu d9b734e6d7 forgot something
9 years ago
TimQu 5f678f96ae parallel execution of benchmarks and larger models
9 years ago
TimQu 56be3c183b implemented refinement of regions plus benchmarks
9 years ago