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

4103 Commits (276261ae55041ab7f941684907dc18b262f0b5b3)
 

Author SHA1 Message Date
sjunges 23b7b5a672 Merge branch 'future' into gspn
9 years ago
sjunges a36b8ede7b minimal compiler versions, otherwise an error :)
9 years ago
sjunges ebee22d546 merge, towards better integration of storm-gspn later on
9 years ago
sjunges 5148cd71ea marked several CMAKE_VARIABLES as advanced to avoid cluttering ccmake
9 years ago
sjunges 79476a3eed if carl is not found, use shipped version
9 years ago
sjunges e5c7c93d33 awkward types and cmake goes wrong
9 years ago
sjunges 85f29ee744 Typo in diagnostic ignored fixed
9 years ago
sjunges c9593b9e98 trying to fix the boost variant stuff differently
9 years ago
sjunges 9398cfa54a gcc pendantic warning switched off
9 years ago
sjunges 155052b971 refactor & fixes after refactoring
9 years ago
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 bf7a86b650 fixed lower time bounds for MAs
9 years ago
TimQu c765e60eda uploading some mdp benchmark logs...
9 years ago
TimQu 33e99b7b93 needed to add some utility::vector::toString(...)s
9 years ago
TimQu 11659f31a2 Merge branch 'future' into multi-objective
9 years ago
TimQu c672f7aea2 fix in bounded reachability computation with Markov automata
9 years ago
TimQu 3784d59a85 bugfix
9 years ago
TimQu 1525ea6702 better time bounds
9 years ago
TimQu b267394a2c fixed the case where an objective is satisfied at the initial state.
9 years ago
TimQu 45434556e2 changed a property that makes more sense this way
9 years ago
TimQu 7bab48b59b bounded reachability for MAs
9 years ago
TimQu 252c2308fe Renamed NeutralEcRemover -> EndComponentEliminator
10 years ago
sjunges d9d9007975 merge l3pp branch
10 years ago
hbruintjes 346d4740d2 Set l3pp project commands empty (header only)
10 years ago
sjunges 380bed563c updated the jani parser to actually buidl models
10 years ago
TimQu 90ae65ffa9 computation of digitization constant
10 years ago
hbruintjes 8ef899ef1c Fix log file name argument
10 years ago