Bug List

Member coco::full_node::get_database () const

This method needs to be replaced, once the COCONUT environment really gets distributed.

Member coco::full_node::get_database_ptr () const

This method needs to be replaced, once the COCONUT environment really gets distributed.

Member coco::model::simplify_thin ()

The simplify_thin method does not yet work properly.

Member coco::work_node::get (unsigned int __type)

The get function is not yet properly implemented.

Member coco::c_maybe

It should be possible to specify c_not explicitly to identify expressions proven to be not convex(concave) and distinguish that from c_maybe.