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

3935 Commits (5fa89dc42c5386714abf5cec09b4d89743adfe92)
 

Author SHA1 Message Date
dehnert 5fa89dc42c Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
9 years ago
dehnert e41d931629 removing utf8 lib, fixing duplicate inclusion of some libraries to link
9 years ago
sjunges a6a8784e5a general crowds dtmc added
9 years ago
sjunges 61d5a7f81e coin 8
9 years ago
sjunges 87df1e3be4 suppress warning in exprtk
9 years ago
sjunges c9f6307163 suppress warning in cln
9 years ago
sjunges c011197180 suppress unused parameter warning within gmm
9 years ago
sjunges 379a9c1cc1 cleaner ccmake interface by setting apple corefoundation stuff as advanced
9 years ago
dehnert 73db040583 fixed capitalization issue (2)
9 years ago
dehnert 3c6e9c2f71 fixed capitalization issue
9 years ago
dehnert efa384336d update cpptemplate to slightly fixed version
9 years ago
TimQu 53ff482947 Caching of solvers can now be enabled/disabled
9 years ago
TimQu 278f33b7e4 Merge remote-tracking branch 'origin/future' into future
9 years ago
sjunges 2f100f2721 GCC support: Suppress warnings within gmm code
9 years ago
sjunges 255271383a GCC support: Suppress warnings within eigen code
9 years ago
sjunges 5ca3650901 updated readme
9 years ago
sjunges a83af55c64 Add benchmark info to readme
9 years ago
sjunges 277d70bc16 moved pgcl to own example repo
9 years ago
sjunges cb8189d171 move gspn examples to their own repo
9 years ago
sjunges dbc105f9ee dft examples moved to an example-repo
9 years ago
dehnert 3ee7c950be Merge branch 'future' into jani_support
9 years ago
dehnert df9ff5dfdb removed debug output in test and delete dylib if building fails
9 years ago
TimQu f0943d57bc Merge remote-tracking branch 'origin/future' into future
9 years ago
TimQu 0ee4c9badb removed some tests as they took way too long
9 years ago
dehnert e799cbba79 Updated exprtk. made exprtk case-sensitive. fixed other minor issues
9 years ago
TimQu e06bef0996 Merge branch 'multi-objective' into future
9 years ago
dehnert ae8a963c33 added some debug output to JaniNextStateGenerator
9 years ago
dehnert 4f369f10e4 adapted delete to delete[] in BitVector to match new[]
9 years ago
TimQu 48b82e7b14 refactored auxData in linear equation solvers
9 years ago
dehnert 33d0a2e0d5 adapted required Boost version
9 years ago
dehnert f0f9831ac3 reworked CMake stuff a bit, removed some superfluous things
9 years ago
TimQu 965d5b5e75 changed handling of auxiliary memory in MinMaxSolver
9 years ago
sjunges 3793fc0578 fixed comments
9 years ago
sjunges ac4ef1d31e Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
9 years ago
sjunges 3dfe4640e9 cleaning gspns
9 years ago
Mavo f664935123 Merge from future
9 years ago
TimQu ca1fe4ccb5 deleted weird shell script files from pla evaluation
9 years ago
TimQu 4d53dc4930 Fix in SparseMatrix::swapRows
10 years ago
sjunges 1fd89f3922 fixes in reach expression parsing for expected reward
9 years ago
TimQu 8c31019bd5 improved selection of digitization constant
9 years ago
dehnert 21a229e3a3 fixed gcc compiler flags
9 years ago
dehnert 9f40400b56 work on making jit-builder ready for exact arithmetic and parametric models
9 years ago
sjunges 42fccfeb08 modernjson updated, and removed deprecated flag as it causes some issues on ubuntu 16.10
10 years ago
sjunges 6431d8d410 let xerces inclusion work on linux systems
10 years ago
sjunges 22167e9ec5 Places can only be cosntructed with their id, id cannot be changed later
10 years ago
sjunges 35eb421e71 fixed warning
10 years ago
sjunges 5361c15960 set use_xerces in storm-config.h
10 years ago
sjunges e2324c92c0 make storm compile again without xerces, also make storm-gspn target compile
10 years ago
sjunges 7528e86d67 switch case: added default to suppress warning in gcc6
10 years ago
sjunges 606ab9eb09 Removed unnecessary semicolons causing warnings
10 years ago