Search results

Add CDD performance statistics

Status: Open.

#39 In UPPAALModelChecker/UCDD;

· magoorden opened on Aug 19, 2022

<code>cdd_done()</code> generates heap-use-after-free error for "CDD timed predecessor static test"

Status: Open.

#36 In UPPAALModelChecker/UCDD;

· magoorden opened on Jul 27, 2022

Minimize memory sharing in UCDD library

Status: Open.

#35 In UPPAALModelChecker/UCDD;

· magoorden opened on Jul 26, 2022

Remove macros from C++ parts

Status: Open.

#34 In UPPAALModelChecker/UCDD;

· magoorden opened on Jul 26, 2022

<code>bdd_varnum</code> is a too general name, as it only refers to BDD variables

Status: Open.

#33 In UPPAALModelChecker/UCDD;

· magoorden opened on Jul 26, 2022

Add generation of random BDDs and CDDs to test framework

Status: Open.

#25 In UPPAALModelChecker/UCDD;

· magoorden opened on Jul 1, 2022

test_reduce fails for size = 3

bugSomething isn't workingSomething isn't working

Status: Open.

#19 In UPPAALModelChecker/UCDD;

· magoorden opened on Jun 17, 2022

cdd_interval returns lower bound with incorrect interpretation

Status: Open.

#14 In UPPAALModelChecker/UCDD;

· magoorden opened on Apr 22, 2022

Numerous methods not documented

Status: Open.

#12 In UPPAALModelChecker/UCDD;

· magoorden opened on Mar 11, 2022

CDD print should allow variable labels

Status: Open.

#7 In UPPAALModelChecker/UCDD;

· magoorden opened on Feb 8, 2022

No proper error handling for clock indexes out of range or clock intervals

Status: Open.

#2 In UPPAALModelChecker/UCDD;

· florber opened on Sep 8, 2021