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

2048 Commits (e20942393e4eaddecbc358649fe4e410a51de31a)

Author SHA1 Message Date
dehnert 5521172ed1 more work on sparse game solver
10 years ago
dehnert e659dd8c4a some work on sparse game solver
10 years ago
sjunges 8fd0ee2ecd Formula to string added
10 years ago
dehnert b2d8cae9ce instantiated (and fixed occurring problems) explicit parsers with intervals as the reward model value type
10 years ago
sjunges 01a3748e87 Refactored part of the API / more functions
10 years ago
dehnert bc3f6b8d80 fixes for parts that were affected by recent parser templating
11 years ago
dehnert 27e06940a9 templated all explicit parsers so that they may now be modified to produce non-double models
11 years ago
dehnert 22f1d99a15 missing files finally added
11 years ago
sjunges 7fd28d4564 refactored cmakelists
11 years ago
chris a216b5a9d9 added support for parsing choice labels for explicit MDPs
11 years ago
sjunges dbe997a433 resolved linker error - sorry
11 years ago
sjunges 46d8accf6e logic::comparisontype operations
11 years ago
sjunges ebab145180 use default bitvector move, which is fine
11 years ago
sjunges 6503d929de includes the headers for the number types supported by the carl-configuration used on the system
11 years ago
sjunges be0eee21db Dont build so many models with float/rational functions
11 years ago
sjunges 2213b01ece changes in milp permissive scheduler
11 years ago
sjunges b007d45543 Extended lp solver factory interface
11 years ago
dehnert 7946483f09 added function to modify state-action rewards in nondeterministic model
11 years ago
sjunges e7d82fbaf5 Fix
11 years ago
sjunges 6d10ba0ad0 compiles again
11 years ago
sjunges f08f66e900 added an option for polic extraction to the helper, some includes
11 years ago
sjunges 2dc9eb9b83 Currently exclude smtrat- does not compile with current version.
11 years ago
sjunges 72ef715d68 Return type to also include partial schedulers
11 years ago
dehnert 8d2bd4fd9d fixed two warnings
11 years ago
dehnert 7cafd61c38 switched gcc to use c++14 as well
11 years ago
dehnert e364d3be53 added missing header
11 years ago
sjunges 2f5df9d72f use the configured factory in the sparse mdp helper
11 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
11 years ago
sjunges 8568ee3986 only one optimization direction enum -- towards integration of termination criterions on the model checker
11 years ago
dehnert 57338640be added missing include
11 years ago
dehnert f4211637db fixed warning and missing include
11 years ago
dehnert 56eae69703 added more missing headers
11 years ago
dehnert b418782bcd added missing header
11 years ago
dehnert 3ea084b777 included missing header
11 years ago
dehnert ad660f0f98 more ifdefs for everyone
11 years ago
dehnert 3657b13aa9 another missing ifdef
11 years ago
dehnert 16d672a5cb put carl reference in ifdef
11 years ago
dehnert 032e141254 small fix to the way interval reward models are reduced to a scalar vector
11 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
11 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)
11 years ago
dehnert 21d9e91586 work towards interval reward model
11 years ago
dehnert 36b67a3a38 refined output of deadlock states a bit
11 years ago
dehnert 1713e10efc added output of first 3 deadlock states in symbolic model builder
11 years ago
sjunges 35a154f67f Splitted graph in h and cpp`
11 years ago
sjunges e3122e5ede Faster compilation and topological failing test failed
11 years ago
dehnert d4cd58e9c6 upon preserving a new formula, the builders now do not apply terminal states
11 years ago
dehnert ffc9eda1c2 enabled terminal states for explicit model builder
11 years ago
dehnert 3849c59d6b formula parser now correctly accepts variables of a loaded model
11 years ago
sjunges f219437acf Faster compilation times!
11 years ago
sjunges 1086ffc1cc Added allow early termination for min/max solvers
11 years ago