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

3798 Commits (255271383a792edd8db03313b524f3d598f4bcba)
 

Author SHA1 Message Date
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
dehnert e799cbba79 Updated exprtk. made exprtk case-sensitive. fixed other minor issues
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
dehnert 33d0a2e0d5 adapted required Boost version
9 years ago
dehnert f0f9831ac3 reworked CMake stuff a bit, removed some superfluous things
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
10 years ago
TimQu 4d53dc4930 Fix in SparseMatrix::swapRows
10 years ago
sjunges 1fd89f3922 fixes in reach expression parsing for expected reward
10 years ago
dehnert 21a229e3a3 fixed gcc compiler flags
10 years ago
dehnert 9f40400b56 work on making jit-builder ready for exact arithmetic and parametric models
10 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
sjunges 44ebbfad9f Removed unnecessary semicolons causing warnings
10 years ago
sjunges c680ade869 Merge branch 'jani_support' into future
10 years ago
sjunges ebe9992c0b Some comments
10 years ago
sjunges 8a34ed3280 Merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
10 years ago
sjunges c0a6195125 string comparison via operator
10 years ago
sjunges 1ed5581a1d removed old examples
10 years ago
sjunges 6843f4349f refactorign of gspns: use ints as identifiers on more places, use the builder in the parsing process, split the parsers for project files and pnml, as well as some minor stuff
10 years ago
dehnert 7c56b43afc adding linker flags that make lto work
10 years ago
dehnert 5a793839e9 add some trace messages
10 years ago
dehnert 41960796f1 removed prefetch memory flag from clang as it's not supported (unlike for gcc)
10 years ago
dehnert fda8a8f2ab jit model builder tests passing
10 years ago
dehnert 070e115b60 tests for JIT based model builder
10 years ago
Mavo 35a76010b7 Redundant include
10 years ago
dehnert e611d6020d work on MA in JIT-builder
10 years ago
dehnert 812e1c4235 adapted test to new check policy and made jani variable and expression variable have the same name in PRISM-to-JANI conversion
10 years ago
dehnert 6f11b688d3 forward Boost location to carl
10 years ago
dehnert bf68b28b26 changed default linking type of boost to dynamic, as otherwise g++ complains about non-relocatable code
10 years ago
dehnert 6644f2f482 changing level of assignment to signed int
10 years ago
dehnert 392f56aab5 made jit model builder work on Ubuntu 16.04/g++
10 years ago
dehnert b579978938 cleaned up jit model builder, added options, added doctor procedure, prepared Markov automata
10 years ago
sjunges bb7033b097 Merge branch 'jani_support' into jani_gspn_support
10 years ago