Issues

• Add CDD performance statistics

  UPPAALModelChecker/UCDD#39 · Filter by author magoorden opened on Aug 19, 2022

• cdd_done() generates heap-use-after-free error for "CDD timed predecessor static test"

  UPPAALModelChecker/UCDD#36 · Filter by author magoorden opened on Jul 27, 2022

• Minimize memory sharing in UCDD library

  UPPAALModelChecker/UCDD#35 · Filter by author magoorden opened on Jul 26, 2022
  1

• Remove macros from C++ parts

  UPPAALModelChecker/UCDD#34 · Filter by author magoorden opened on Jul 26, 2022

• bdd_varnum is a too general name, as it only refers to BDD variables

  UPPAALModelChecker/UCDD#33 · Filter by author magoorden opened on Jul 26, 2022

• Add generation of random BDDs and CDDs to test framework

  UPPAALModelChecker/UCDD#25 · Filter by author magoorden opened on Jul 1, 2022

• test_reduce fails for size = 3

  bug
  UPPAALModelChecker/UCDD#19 · Filter by author magoorden opened on Jun 17, 2022
  1

• cdd_interval returns lower bound with incorrect interpretation

  UPPAALModelChecker/UCDD#14 · Filter by author magoorden opened on Apr 22, 2022

• Numerous methods not documented

  UPPAALModelChecker/UCDD#12 · Filter by author magoorden opened on Mar 11, 2022

• CDD print should allow variable labels

  UPPAALModelChecker/UCDD#7 · Filter by author magoorden opened on Feb 8, 2022

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

  UPPAALModelChecker/UCDD#2 · Filter by author florber opened on Sep 8, 2021