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

6 Commits (aa6a3d214283c449b37aa75dc1dec60064ddefce)

Author SHA1 Message Date
Sebastian Junges aa6a3d2142 sampling from a distribution and from a choice
5 years ago
Tim Quatmann 05471d94fd Optimizations in JaniNextStateGenerator that avoid unnecessary (re-) allocations of memory. Moreover, before collecting the complete set of enabled edges for each automaton, we first check whether each automaton (that synchronizes with that action) has at least one enabled edge. This avoids checking unnecessarily many edge guards.
5 years ago
TimQu 759e351e95 Improved explicit model building:
8 years ago
Sebastian Junges d246517757 removed src prefix in all includes
9 years ago
Sebastian Junges e1d201c85e c++ code compiles again after rename
9 years ago
Sebastian Junges 3a7ee7867b rename files (does not compile)
9 years ago
dehnert bba69684c9 reworked explicit Markov automaton generation a bit
9 years ago
dehnert ce5ca9d1ce added proper action reward handling to JANI next-state generator
9 years ago
dehnert fad28df7d6 first working version of next-state generator for PRISM models
10 years ago
dehnert 9eec5b140c refactoring of model builder
10 years ago
dehnert 8a0bd32b55 tearing apart explicit model builder and 'next-state generation'
10 years ago
dehnert 7ce969b312 started working on more flexible model generation using next-state-generators
10 years ago