Search bugs: status:wont-fix or status:closed-fixed  Maximize  Restore

Showing 6 results of 6

# Summary Milestone Status Owner Created Updated Priority
6 BuDDy2.4: bug in fdd.c None closed-fixed Haim Cohen 2005-11-02 2006-04-28 1  
5 bug in mark_roots causes BDD corruption None closed-fixed John Whaley 2005-01-28 2005-01-28 8  
4 Bug in bdd_appuni and in bdd_unique None closed-fixed John Whaley 2004-10-05 2005-01-29 5  
3 bddtest test fails on solaris None closed-fixed Haim Cohen 2004-08-03 2004-08-03 1  
2 satcount gives incorrect answers after setvarnum v1.0 (example) closed-fixed John Whaley 2004-07-30 2004-07-30 5  
1 wrong return value by bdd_support when given constant bdds None closed-fixed Haim Cohen 2004-07-30 2004-07-30 5  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Priority
 
(applies to this page only)

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks