1. tkeller
  2. prost

Issues

Create issue

Filter by:

Advanced search

Issues (1–21 of 21)

Title T P Status Votes Assignee Created Updated Actions
#68: Parser accepts Bernoulli distributions for ill-defined probabilities
proposal minor resolved
#67: KleeneState evaluation does not support multiplication expressions with more than two factors.
bug minor new
#61: Improve domain analysis for action independent CPFs
enhancement trivial new
#60: Calculate_domain for discrete distributions computes all possible outcomes
enhancement minor new
#59: Division by zero in calculate domain results in corruption of result
bug minor new
#58: Reward locks are cached even if caching is disabled
bug trivial new
#57: IDS learning phase may allocate too much memory for tasks with many actions
bug minor new
#56: Search nodes may use more memory than available
bug minor new
#55: Endless loop in checkDeadEnd
bug minor new
#52: Restrict actionstate computation when max-nondef-actions is not used.
task major new
#51: Implementation of IPPC 2018 requirements
task major resolved
#44: Support most-likely determinization for discrete distributions with conditional probabilities
task minor resolved
#48: Revise the implementation of logical expressions
enhancement major new
#40: Modify clang-format hook script to show code style violations.
enhancement minor resolved
#39: Broken gtest files
bug trivial resolved
#32: IDS training may lead to memory corruption
bug minor resolved
#29: Utility class implementing functions for random number generation
enhancement minor resolved
#28: Use clang-format style file to enforce a coding style convention
proposal minor resolved
#27: Update of Timer class to use std::chrono
task trivial resolved
#30: Merge utility functions of search and parser
proposal minor resolved
#22: Merge delete relaxation code.
enhancement major new