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

3794 Commits (cb8189d1711687c79659ffcc8246b1324780e381)
 

Author SHA1 Message Date
sjunges 8d714bdd17 cudd needs autoreconf + refactor
9 years ago
sjunges a6e4c3f6fd hotfix for boost-variants, might be moved later on
9 years ago
sjunges bcbda8bf68 only build glpk if not found on system
9 years ago
sjunges 19f18e7fee only build xerces if not found on the system
9 years ago
sjunges cae5f04d2b first in a series of refactoring the library inclusion to be more adequate
9 years ago
ThomasH 7eaa12de8e Merge branch 'gspn' of https://sselab.de/lab9/private/git/storm into gspn
9 years ago
sjunges e0e5cd9f0e progress on support for gmp, with cln everything should be fine
9 years ago
Mavo 2b399c887b Doxygen not required
9 years ago
ThomasH 7eca46acee Merge branch 'gspn' of https://sselab.de/lab9/private/git/storm into gspn
9 years ago
sjunges f54e511d74 Merge branch 'future' into gspn
9 years ago
sjunges 5faebdff86 constants in header
9 years ago
ThomasH 4328b12243 Merge branch 'gspn' of https://sselab.de/lab9/private/git/storm into gspn
9 years ago
sjunges 0ed499a47f use cln
9 years ago
sjunges 0e6db25188 fix in STORM_USE_CLN_NUMBERS
9 years ago
ThomasH d5f489e9a2 Merge branch 'gspn' of https://sselab.de/lab9/private/git/storm into gspn
9 years ago
Mavo 12f7c08bac New class for DftStateGenerator
9 years ago
Mavo 662bbd73d7 CompressedStateType as template argument for NextStateGenerator
9 years ago
sjunges 7bb65dbb22 fix a problem with cln used/unused
9 years ago
ThomasH 97fbf13c6d Merge branch 'gspn' of https://sselab.de/lab9/private/git/storm into gspn
9 years ago
sjunges efaab9abe1 potential fix for missing cln
9 years ago
Mavo 560b42a94a Some interval functions not implemented
9 years ago
ThomasH a25b64ae80 Merge branch 'gspn' of https://sselab.de/lab9/private/git/storm into gspn
9 years ago
ThomasH 84284555b2 add include
9 years ago
ThomasH b799963016 add const
9 years ago
TimQu c672f7aea2 fix in bounded reachability computation with Markov automata
9 years ago
sjunges d9d9007975 merge l3pp branch
9 years ago
hbruintjes 346d4740d2 Set l3pp project commands empty (header only)
9 years ago
sjunges 380bed563c updated the jani parser to actually buidl models
9 years ago
hbruintjes 8ef899ef1c Fix log file name argument
9 years ago
hbruintjes efae19b092 Use toString() for exit rates, ADL not working for some reason
9 years ago
hbruintjes 4e4bc255b5 Fix some typos in l3pp usage
9 years ago
hbruintjes 067b43525b Add l3pp as project
9 years ago
hbruintjes d9cb1a79f8 Replace cout macros with l3pp
9 years ago
sjunges 88af02e723 towards new jani version
9 years ago
sjunges 130b6d9715 Merge branch 'future' into gspn
9 years ago
sjunges 190f8f2c38 Merge branch 'future' into jani_support
10 years ago
sjunges 9cf6b04924 Merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
10 years ago
sjunges 4f1b8f12f0 Extra method
10 years ago
sjunges eff2acdbc6 parser update
10 years ago
TimQu d02c918f6a forgot a little something...
10 years ago
hbruintjes ebe6775b27 Fix missing ValueType template arguments (which defaulted to double)
10 years ago
PBerger 67244869db src/storage/BitVector: Replaced constant 1 unsigned long long with cast to decltype. This fixes a template resolvation error in std::max.
10 years ago
PBerger 09c63b865b Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
10 years ago
TimQu f2035523af Fixed a bug in rewardModel's reduceToStateBasedRewards. Also added a function to check whether all rewards are zero.
10 years ago
PBerger c43a315b08 Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
10 years ago
hbruintjes 8546786e17 Fix missing template argument in builder utility
10 years ago
hbruintjes 9134b44f7f Merge future and future
10 years ago
TimQu 12287e5090 small fix for building MAs
10 years ago
hbruintjes ffe325b196 Fix unitialized data in coresettings
10 years ago
hbruintjes a2140141a3 Fix virtual destructor
10 years ago