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

2514 Commits (a40d12f9153bd8e0c0917120b8966819db20791c)
 

Author SHA1 Message Date
sjunges 71d37705dd fix path for cudd3 lib
9 years ago
sjunges a46ab2f631 use dynamic version of cudd
9 years ago
sjunges 0cab5661e5 Merge branch 'future' into cudd3
9 years ago
sjunges 52268103e6 use shared version of log4cplus
9 years ago
sjunges eaaa36928a prevent xercesc from being linked when no xml support is required
9 years ago
sjunges 3008546623 to prevent confusion, explicitely force static builds for cudd 2.5.0
9 years ago
sjunges 002f4128f5 fixed name of variable for storm xml support
9 years ago
dehnert 2604df54ec more refactoring of formula classes: in particular fragment checking
9 years ago
dehnert 97d9ecccbb started making cudd3 work
9 years ago
sjunges 167cbbe04f updates for cudd inclusion - Warning: This does not compile
9 years ago
sjunges faafff06d8 removed cudd 2.5 from cmake
9 years ago
sjunges 114f46d299 added cudd3 to cmake
9 years ago
sjunges f1c151be26 cudd 3.0 added to resources
9 years ago
dehnert be8c65525e introduced some methods to query formula type
9 years ago
sjunges fc1dd999b2 only build xercesc if xml input format support is required
9 years ago
sjunges 596ad8f7a3 Link directories are not the way to go.
9 years ago
dehnert b772c92edb removed reward path formulas. reward path formulas are now just path formulas. this allows some invalid formulas to be constructed, so this now has to be checked dynamically
9 years ago
sjunges a82904a5a8 GLPK: Dynamic lib
9 years ago
sjunges 0380997e1d removed eigen3
9 years ago
sjunges c8798653bc Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
9 years ago
sjunges 2bc4f61453 extended os detection, include extension assumptions
9 years ago
dehnert 4970268ae1 fixed gtest for xcode (cmake)
9 years ago
dehnert a3a39d1944 Merge branch 'future' into scheduler_computation
9 years ago
sjunges 50c0df75d8 towards supporting xcode generator again
9 years ago
sjunges d2d71960fc slightly better cmake output
9 years ago
sjunges faca16db36 minor refactoring of cmakecode for inclusion of tbb
9 years ago
sjunges 845d9f60ed support for platforms with libtool using a different standard lib folder and gtest is built with the same compiler as the project now
9 years ago
dehnert db7000ba03 Merge branch 'future' into scheduler_computation
9 years ago
dehnert fa44d65ebd renamed policy to scheduler in some variable names
9 years ago
dehnert 3727018ef4 added functionality to sparse MDP helper to compute until probabilities just for maybe states (and produce the corresponding scheduler)
9 years ago
sjunges 471ae19438 refactored further parts of the external library building
9 years ago
sjunges f20d479328 we dont need log4cplus tests and logging server
9 years ago
dehnert 8f087597cc more work towards proper scheduler generation
9 years ago
dehnert 5a1039838f made everything compile again and all tests passing
9 years ago
sjunges 4cc8442b77 Fixed warning about superfluous semicolon after a method def.
9 years ago
sjunges 0de91e0284 disable warnings for glpk build
9 years ago
sjunges 70ee3396d9 we said goodbye to glpk 4.53
9 years ago
sjunges 3d0826849e glpk 4.57 for the winners
9 years ago
dehnert 2dd6a3dba2 minor change
9 years ago
dehnert bdcd4b26a3 refactoring early termination and solve goals and bounds
9 years ago
dehnert dee44056d1 work towards generating schedulers (and some other related stuff)
9 years ago
sjunges c428b9f7ff Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
9 years ago
sjunges a9bd5724c0 Silenced warnings about superfluous parentheses, they are more disturbing than helpful
9 years ago
Mavo ecc41f7063 Require minimum boost version
9 years ago
dehnert e5f9ddfbcc changed cli to create tasks that only compute the value for the initial state (if the model checker supports that)
9 years ago
dehnert 1308b91fda adapted canHandle in model checker interface to CheckTask
9 years ago
dehnert 52f071c74a fixed minor bug (apparently because of new boost version) in spirit error handling
9 years ago
dehnert 4367bdb378 properly introduced CheckTask in all model checkers and made it compile again (+ functional tests working)
9 years ago
dehnert 3cd5738bb7 more replacement work in interfaces
9 years ago
dehnert 85adfe9df2 more replacement work in interfaces
9 years ago