1. tkeller
  2. prost

Commits

Author Commit Message Date Builds
geisserf
Merged in issue-44 (pull request #14) Issue 44 Approved-by: geisserf <geisserf@informatik.uni-freiburg.de>
geisserf
Close branch issue-44
Branches
issue-44
Florian Geißer
Small reformatting.
Branches
issue-44
tkeller
Remove cases from DiscreteDistribution that can never be most likely
Branches
issue-44
Florian Geißer
Fixed two bugs in determine_bounds. Determinization of discrete distributions now discards probability-effect pairs where the probability will always be lower than the probability of another probability-effect pair.
Branches
issue-44
tkeller
Added function to compute bounds
Branches
issue-44
Florian Geißer
Added determinization of general discrete distributions.
Branches
issue-44
Florian Geißer
Started issue-44 branch.
Branches
issue-44
tkeller
Merge issue-35 branch
tkeller
Close branch issue-35
Branches
issue-35
tkeller
Fix merge
Branches
issue-35
tkeller
Merge default into issue-35 and adapt rddl (non-prefix) parser
Branches
issue-35
tkeller
Set default values for number of simulations and training set size
Branches
issue-35
tkeller
Add parameter for training set size
Branches
issue-35
Thomas Keller
Script parse.py passes options to rddl_parser
Branches
issue-35
Thomas Keller
Use number of simulations rather than timeout.
Branches
issue-35
Thomas Keller
Started issue-35 branch.
Branches
issue-35
tkeller
Merge issue-40 branch
tkeller
Close branch issue-40
Branches
issue-40
Florian Geißer
Merge in default branch.
Branches
issue-40
Florian Geißer
clang-format hook now shows which lines violate the style.
Branches
issue-40
tkeller
Modify plan.py script s.t. rddl_parser is used instead of rddl_prefix_parser
tkeller
Merge issue-39 branch
tkeller
Close branch issue-39
Branches
issue-39
Florian Geißer
Reverted gtest format changes and changed clang-format hook such that gtest directory is excluded.
Branches
issue-39
tkeller
Update README file
tkeller
Merge branch issue-26
tkeller
Close branch issue-26
Branches
issue-26
tkeller
Restore IPPC domain file, re-add exp and rename non-IPPC benchmarks
Branches
issue-26
Đorđe Relić
Changed 'exp' to 'Exponential' in wildfire example.
Branches
issue-26
  1. Prev
  2. Next