| ID |
Status |
Summary |
|
11
|
New |
problems in installing the library in 64 bit ubuntu
Type-Defect
Priority-Medium
|
|
10
|
New |
mtbddclient crashew with cuddAllocNode: Assertion
Type-Defect
Priority-Medium
|
|
9
|
New |
Atom::~Atom()
Type-Defect
Priority-Medium
|
|
8
|
New |
memory leak in terms.cc at lines 131 and 133
Type-Defect
Priority-Medium
|
|
7
|
New |
memory leak in PSink::pushText function
Type-Defect
Priority-Medium
|
|
6
|
New |
time_left is converted from long to int in mdpserver.cc
Type-Defect
Priority-Medium
|
|
5
|
Accepted |
Make MDPSim detect missing log directory, and remove log directory from distributed source code.
Type-Enhancement
Priority-Medium
|
|
4
|
Verified |
Flushing the output in the initial state
Type-Defect
Priority-Critical
|
|
3
|
Fixed |
Update of README file
Type-Defect
Priority-Medium
|
|
2
|
Verified |
Linker warns that ./cudd does not exist, even when just making mdpsim and mdpclient
Type-Defect
Priority-Low
|
|
1
|
Verified |
Local getopt.h interfers with systems getopt.h
Type-Defect
Priority-Medium
|
Code