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

197 Commits (a4b542ce0cea99b564a101804f5bcbc42e32e45d)

Author SHA1 Message Date
mdeutschen 42c71f30c9 Generalized transformation of PAND
8 years ago
mdeutschen 496d138eac Generalized transformation of POR
8 years ago
mdeutschen 1ad93df2bb Extended SEQ to support children which are not BEs
8 years ago
mdeutschen 07baef9a7c Added transformation for 2-input-POR
8 years ago
mdeutschen c80bcf8f6b Use map to avoid recalculation of VOTE associations
8 years ago
mdeutschen 222c59a939 Implementation of VOTE transformation
8 years ago
mdeutschen b7baa39383 Full implementation for (non-dynamic) Fault Tree transormation
8 years ago
sjunges df690536c6 Remove old files
8 years ago
sjunges a6a8784e5a general crowds dtmc added
8 years ago
sjunges 61d5a7f81e coin 8
8 years ago
sjunges 277d70bc16 moved pgcl to own example repo
8 years ago
sjunges cb8189d171 move gspn examples to their own repo
8 years ago
sjunges dbc105f9ee dft examples moved to an example-repo
8 years ago
TimQu ca1fe4ccb5 deleted weird shell script files from pla evaluation
8 years ago
sjunges 1ed5581a1d removed old examples
8 years ago
TimQu 4e26b60b78 More cleanup
8 years ago
TimQu 3d24f25fbc cleaning up
8 years ago
TimQu 71e181bd93 some quick and dirty optimizations (that need to be reviewed)
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
Mavo d3d360b50a First version of DFT approximation
8 years ago
ThomasH c5bbceebda fix project file
8 years ago
ThomasH 3a63d2d3b2 add pnpro example
8 years ago
Mavo fba2071e9f Dft exploration via NextStateGenerator
8 years ago
dehnert 99badd02c5 more work towards JANI reward models
8 years ago
sjunges 0f6a741276 pgcl
8 years ago
TimQu b362047e4f mutex example
8 years ago
TimQu ee59f772b0 fixed prism code for polling example
8 years ago
TimQu e1aca37c86 some minor tweaks plus polling example
8 years ago
Mavo 495b42ff4c Temporarily split new approximating state generation into own builder
8 years ago
ThomasH 3854feae87 add priorities to the parser and an example
8 years ago
TimQu 0760e2a7f9 tiny MA example, small fix and test cases for MAs
8 years ago
Mavo 12f7c08bac New class for DftStateGenerator
8 years ago
TimQu bf7a86b650 fixed lower time bounds for MAs
8 years ago
TimQu c765e60eda uploading some mdp benchmark logs...
9 years ago
TimQu 45434556e2 changed a property that makes more sense this way
9 years ago
TimQu 90ae65ffa9 computation of digitization constant
9 years ago
sjunges 88af02e723 towards new jani version
9 years ago
TimQu 1bfd864d2e new stream instances
9 years ago
TimQu d2c1c2d6f7 updated fragment checking for multi objective formulas
9 years ago
TimQu aae8fc8e87 regarding preprocessing for MAs
9 years ago
TimQu 6010266e5b merge fix and fix in model file
9 years ago
TimQu fbb7e12ff5 first steps towards MAs
9 years ago
TimQu 6bd95789bd pareto curve output improvements
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
TimQu a02e0eedf7 moved files around
9 years ago