2170 Commits (0089212b7e9075e8ae389f6bfd9c55faa8234b54)
 

Author SHA1 Message Date
TimQu 0089212b7e adaptation to recent changes in carl 9 years ago
dehnert 9b7d4ec57b made rational functions use cln again 9 years ago
dehnert 51bd689c96 fixed a bug in the reward model 9 years ago
dehnert deec423f27 fixed infinite recursion in constants comparator 9 years ago
TimQu adc5c8d1c1 Fixed another memory leak: CheckResults have not been destructed properly. 9 years ago
dehnert e51a3cfa85 refined cut-off of builders a little. Now, based on the property, more of the states are treated as terminal states of the model 9 years ago
dehnert 7ac6dd94ab Merge branch 'master' of https://sselab.de/lab9/private/git/storm 9 years ago
dehnert b2d8cae9ce instantiated (and fixed occurring problems) explicit parsers with intervals as the reward model value type 9 years ago
sjunges 1250b842b1 Merge branch 'master' of https://sselab.de/lab9/private/git/storm 9 years ago
sjunges 01a3748e87 Refactored part of the API / more functions 9 years ago
dehnert bc3f6b8d80 fixes for parts that were affected by recent parser templating 9 years ago
dehnert 27e06940a9 templated all explicit parsers so that they may now be modified to produce non-double models 9 years ago
dehnert 22f1d99a15 missing files finally added 9 years ago
chris a216b5a9d9 added support for parsing choice labels for explicit MDPs 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 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
dehnert 7946483f09 added function to modify state-action rewards in nondeterministic model 9 years ago
sjunges e7d82fbaf5 Fix 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 10 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 10 years ago
sjunges 86b2f8d13e Merge branch 'master' of https://sselab.de/lab9/private/git/storm 10 years ago
sjunges 8568ee3986 only one optimization direction enum -- towards integration of termination criterions on the model checker 10 years ago
dehnert 08bc810b2c added missing include 10 years ago
dehnert 57338640be added missing include 10 years ago
dehnert f4211637db fixed warning and missing include 10 years ago
dehnert 56eae69703 added more missing headers 10 years ago
dehnert b418782bcd added missing header 10 years ago
dehnert 3ea084b777 included missing header 10 years ago
dehnert ad660f0f98 more ifdefs for everyone 10 years ago
sjunges ee6d71d3d4 Merge branch 'master' of https://sselab.de/lab9/private/git/storm 10 years ago
dehnert 3657b13aa9 another missing ifdef 10 years ago
sjunges 1d5faef301 cmake use carl flag 10 years ago
dehnert 16d672a5cb put carl reference in ifdef 10 years ago
dehnert 032e141254 small fix to the way interval reward models are reduced to a scalar vector 10 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 10 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) 10 years ago