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

6 Commits (08f51b505b5c7890cd99f263d1682109595c2658)

Author SHA1 Message Date
Matthias Volk 08f51b505b Fixed minor compile issues
9 years ago
Sebastian Junges fbc0ddfa35 fix wrong include
9 years ago
Mavo 9eed8b9f94 Added framework for DFT->GSPN Transformator
9 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
Mavo 6fcc97a7b4 Implemented modularisation for MTTF via parallel composition of CTMCs
9 years ago
sjunges 464a497093 smt checker v1, and better error messages
9 years ago
Mavo ec8b5a23f2 Fixed compile issues with under Linux
9 years ago
Mavo d3d360b50a First version of DFT approximation
9 years ago
Mavo cfc082417b Refactoring
9 years ago
Mavo 566cef0f91 Started on compiling without Carl
9 years ago
dehnert 2a7dc0fad0 renamed MarkovChainSettings
9 years ago
dehnert 35bb3a3c26 renamed elimination settings
9 years ago
Mavo e49582c7cf Replaced assert with STORM_LOG_ASSERT
9 years ago
Mavo 5eaa46c7de More refactoring
9 years ago
Mavo a63d004fb8 storm-dft is using settings now
9 years ago
Mavo ebbc4ce7b4 Fixed compile issues introduced in merge
9 years ago
Mavo e5fd604498 Flag for disabling DC propagation
9 years ago
sjunges 9ae9700d5c modularisation on and and or
9 years ago
Mavo ccec8b8f7a Renaming
9 years ago
Mavo 3f41aa55f8 Cleaned up debug output
9 years ago
Mavo 52573c90ca Copy DFT
9 years ago
sjunges e322c56820 findModularisationRewrite
9 years ago
Mavo b8c7f063c1 Maybe fix try to fix bisimulation instead of deactivating
9 years ago
Mavo b75b5f1928 No bisimulation for parametric case
9 years ago
Mavo 7b7b999548 Bisimulation for small models as well
9 years ago
Mavo c05e671111 Handling of min and max for non-determinism
9 years ago
Mavo 4c2b1d7c22 Model info for benchmarking scripts
9 years ago
Mavo d32d90de5b Fixed some compile warnings
9 years ago
Mavo a44d38e0bf Symmetries are given to StateGenerationInfo
9 years ago
sjunges dde9af6c44 mergeFailedStates and some updates for SEQs
9 years ago
sjunges b93f5c2f62 refactored a bit, plus bisimulation is now done
9 years ago
sjunges 102602dea2 some refactoring
9 years ago
Mavo 20242e10e5 Small fix
9 years ago
Mavo 3f70a69d6e Added argument for timebound
9 years ago
sjunges 130fa1328a function returns independent symmetries
9 years ago
sjunges 2dbcd260e4 symred is now an option
9 years ago
Mavo 35f5f9de15 Small refactoring
9 years ago
Mavo d507eab7f3 Build Markov Automaton instead of CTMC
9 years ago
Mavo d45ea9cbde Improved cmdl options
9 years ago
Mavo d88bc115c4 Use keywords for pctl properties
9 years ago
Mavo 957ce0193f Set log level from commandline
9 years ago
Mavo 0775bdf549 Disabled some debug output
9 years ago
Mavo 545dad861b Mini change
9 years ago
Mavo c8d2cf1724 Better distinction between parametric and non-parametric DFTs
9 years ago
Mavo f38eeff1ef First try on parsing of rational functions
9 years ago
Mavo 4c09f9ce29 Minor improvements
10 years ago
Mavo 7737205149 More refactoring with templates
10 years ago
Mavo 4343b5b980 Refactored some classes into templates
10 years ago