Issues (1–12 of 12)

Title	T	P	Status	Votes	Assignee	Created	Updated	Actions
#52: Restrict actionstate computation when max-nondef-actions is not used.	task	major	new		geisserf	2018-02-27	2018-02-27
#51: Implementation of IPPC 2018 requirements	task	major	resolved		geisserf	2018-01-16	2018-01-23
#44: Support most-likely determinization for discrete distributions with conditional probabilities	task	minor	resolved		geisserf	2017-04-12	2017-07-10
#48: Revise the implementation of logical expressions	enhancement	major	new		geisserf	2017-06-06	2017-06-06
#40: Modify clang-format hook script to show code style violations.	enhancement	minor	resolved		geisserf	2016-10-25	2016-11-04
#39: Broken gtest files	bug	trivial	resolved		geisserf	2016-10-24	2016-10-25
#32: IDS training may lead to memory corruption	bug	minor	resolved		geisserf	2016-08-22	2016-09-21
#29: Utility class implementing functions for random number generation	enhancement	minor	resolved		geisserf	2016-07-29	2016-09-16
#28: Use clang-format style file to enforce a coding style convention	proposal	minor	resolved		geisserf	2016-07-29	2016-08-29
#27: Update of Timer class to use std::chrono	task	trivial	resolved		geisserf	2016-07-29	2016-08-26
#30: Merge utility functions of search and parser	proposal	minor	resolved		geisserf	2016-07-29	2016-08-26
#22: Merge delete relaxation code.	enhancement	major	new		geisserf	2016-07-29	2016-07-29