2374 Commits (194db381b4e5491951fa92e4ea9915df47938b6d)
 

Author SHA1 Message Date
chris a216b5a9d9 added support for parsing choice labels for explicit MDPs 9 years ago
sjunges 70a7b5ffbd Merge branch 'master' into future 9 years ago
sjunges dbe997a433 resolved linker error - sorry 9 years ago
sjunges bdb105ce85 cmake: marked several variables as advanced 9 years ago
sjunges 46d8accf6e logic::comparisontype operations 9 years ago
sjunges ebab145180 use default bitvector move, which is fine 9 years ago
sjunges 6503d929de includes the headers for the number types supported by the carl-configuration used on the system 9 years ago
sjunges be0eee21db Dont build so many models with float/rational functions 9 years ago
sjunges 2213b01ece changes in milp permissive scheduler 9 years ago
sjunges f65efdb4bb disable smtrat for now 9 years ago
sjunges 0311e85f62 Merge branch 'master' into future 9 years ago
sjunges 85e15c035f Merge branch 'master' of https://sselab.de/lab9/private/git/storm 9 years ago
sjunges b007d45543 Extended lp solver factory interface 9 years ago
sjunges dbe4380b09 Option to force color output for clang/ninja. 9 years ago
sjunges 9254e6650c Option to force color output for clang/ninja. 9 years ago
dehnert 7946483f09 added function to modify state-action rewards in nondeterministic model 9 years ago
sjunges e7d82fbaf5 Fix 9 years ago
sjunges 6d10ba0ad0 compiles again 9 years ago
sjunges c41c5150f1 Merge branch 'master' into future 9 years ago
sjunges f08f66e900 added an option for polic extraction to the helper, some includes 9 years ago
sjunges 2dc9eb9b83 Currently exclude smtrat- does not compile with current version. 9 years ago
sjunges 72ef715d68 Return type to also include partial schedulers 9 years ago
sjunges bed31b463f Added generated sources 9 years ago
dehnert 8d2bd4fd9d fixed two warnings 9 years ago
dehnert 7cafd61c38 switched gcc to use c++14 as well 9 years ago
dehnert e364d3be53 added missing header 9 years ago
sjunges 2f5df9d72f use the configured factory in the sparse mdp helper 9 years ago
sjunges 73310b9881 fixed tests: glpk had wrong minimize, solver.cpp tested in wrong direction on policy iteration in case we use top. value iteration 9 years ago
sjunges 86b2f8d13e Merge branch 'master' of https://sselab.de/lab9/private/git/storm 9 years ago
sjunges 8568ee3986 only one optimization direction enum -- towards integration of termination criterions on the model checker 9 years ago
dehnert 08bc810b2c added missing include 9 years ago
dehnert 57338640be added missing include 9 years ago
dehnert f4211637db fixed warning and missing include 9 years ago
dehnert 56eae69703 added more missing headers 9 years ago
dehnert b418782bcd added missing header 9 years ago
dehnert 3ea084b777 included missing header 9 years ago
dehnert ad660f0f98 more ifdefs for everyone 9 years ago
sjunges ee6d71d3d4 Merge branch 'master' of https://sselab.de/lab9/private/git/storm 9 years ago
dehnert 3657b13aa9 another missing ifdef 9 years ago
sjunges 1d5faef301 cmake use carl flag 9 years ago
dehnert 16d672a5cb put carl reference in ifdef 9 years ago
dehnert e67e057e98 Merge branch 'master' into menu_games 9 years ago
dehnert 032e141254 small fix to the way interval reward models are reduced to a scalar vector 9 years ago
dehnert f409087f47 first version of interval reward model support for MDPs. also fixed a missing include that prevented compilation of the main executable 9 years ago
dehnert f51e8eeaea moved reward model template parameter from helper classes to the affected functions. this sadly excludes the SparseDtmcPrctlHelper for which clang then produces a segfault (bug report pending) 9 years ago
dehnert 21d9e91586 work towards interval reward model 9 years ago
dehnert 36b67a3a38 refined output of deadlock states a bit 9 years ago
dehnert d4d49e49ce Merge branch 'master' of https://sselab.de/lab9/private/git/storm 9 years ago
dehnert 1713e10efc added output of first 3 deadlock states in symbolic model builder 9 years ago
sjunges 35a154f67f Splitted graph in h and cpp` 9 years ago