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

3015 Commits (b99a063ccea413abb02e97ffaaa255e95f0c360a)
 

Author SHA1 Message Date
PBerger b99a063cce Replaced calls to std::abs with calls to std::fabs and included cmath.
8 years ago
PBerger be9648fc18 Added -fPIC to Sylvan. Since it is linked into Storm it is necessary for relocation to be possible, hence PIC.
8 years ago
Mavo dcf5468b29 Fixed linker error with static function
8 years ago
Mavo 17ba53dafa Division by Interval not supported
8 years ago
dehnert ec640c12b7 minor fixes to Eigen adapter
8 years ago
dehnert a17cffbbe3 added missing switch case for new eigen solver
8 years ago
dehnert 023325b53d added tests for Eigen solver
8 years ago
dehnert 002bd58b2d added shipped version of Eigen to CMakeList
8 years ago
dehnert 48e1d20c92 added eigen to resources
8 years ago
dehnert bb700457de some minor fixes
8 years ago
dehnert 94fd4cd9a8 fixed bug related to instantaneous reward properties in formula parser
8 years ago
dehnert 2accd81aaa fixed bug in reward generation for PRISM models
8 years ago
dehnert f3701f66fb bugfix for symbolic reachability reward computation
8 years ago
dehnert fd3b8adc00 fixed bug in formula parser
8 years ago
dehnert 6810c0d50f fixed bug in computation of instantaneous rewards on DTMCs
8 years ago
dehnert c88e540a1a fixed bug in graph preprocessing algorithms that support a maximal number of steps
8 years ago
dehnert 2c23b1ed99 fixed bug in sparse DTMC model checker
8 years ago
dehnert cae04c0e20 fixed bug in symbolic quantitative check result
8 years ago
TimQu 1a18ea3aec fixed the case where a maximal end componend decomposition is requested for an empty subsystem
8 years ago
Mavo eeb0f620ec STORM_DEVELOPER mode introduced
9 years ago
Mavo 929a694a64 Fixed typo
9 years ago
Mavo c8521f0de3 Changed more assert to STORM_LOG_ASSERT
9 years ago
Mavo 5eaa46c7de More refactoring
9 years ago
Mavo 1b6137cc5d Changed some assert to STORM_LOG_ASSERT
9 years ago
Mavo fc255c4aa3 Merge from future
9 years ago
Mavo 9d3dd10008 Merge branch 'future' into python_pybind
9 years ago
Mavo cdab073305 Model checking binding
9 years ago
Mavo 24955d1111 Binding for labels
9 years ago
Mavo 2243b02845 cout -> LOG
9 years ago
Mavo f2ad4781fe Distincting between supportsParameters and hasParameters
9 years ago
sjunges 366eb181e7 Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
9 years ago
Mavo 22053e63a9 Bisimulation
9 years ago
Mavo e9c657f88c SetUp when importing stormpy
9 years ago
Mavo 4e86667b46 Refactoring
9 years ago
Mavo f500600ee6 Removed old python bindings
9 years ago
Mavo 78b85d9f84 Merge branch 'future' into python_pybind
9 years ago
Mavo 7b2b270579 Binding for constraints
9 years ago
Mavo 31a548fed4 Use shared_ptr<const>
9 years ago
Mavo a0d659f2da always use shared_ptr<Formula const>
9 years ago
dehnert fc1567d27e Merge remote-tracking branch 'origin/future' into future
9 years ago
dehnert 1d56cf0430 backported a bugfix
9 years ago
dehnert dfbcdead76 Merge commit '5934a428980fb37cf0994a90621cc1c084e1013a' as 'resources/3rdparty/sylvan'
9 years ago
dehnert 5934a42898 Squashed 'resources/3rdparty/sylvan/' content from commit d91f6ac
9 years ago
dehnert 818760e0ad removed sylvan version from resources
9 years ago
Mavo c0c5bdcae1 Pybind for bisimulation and state elimination
9 years ago
Mavo 317d1dfdad More tests for formulas
9 years ago
Mavo 7780b22fad Temporary pybind for formula
9 years ago
Mavo 9396ed4a2e Fixed python after merge
9 years ago
Mavo db6df1e880 Merge from future
9 years ago
Mavo 37043fd745 Current status of core
9 years ago