Custom Query (8 matches)
Resolution: fixed (8 matches)
| Ticket | Summary | Owner | Type | Priority | Component | Created |
|---|---|---|---|---|---|---|
| #1 | Fix memory leaks in DiOS | defect | major | DiOS | 7 years ago | |
| #2 | Lazy loading / linking of DiOS bitcode. | feature | major | MC | 7 years ago | |
| #7 | Problems with --symbolic in SV-COMP benchmarks | defect | major | DiOS | 7 years ago | |
| #9 | Problem with cast form abstract int to abstract pointer. | defect | major | LART | 7 years ago | |
| #11 | Implement string abstraction with 'strlen' function. | task | major | LART | 7 years ago | |
| #12 | Have both versions of strerror_r | defect | major | DiOS | 7 years ago | |
| #15 | Implement strcmp for mstring domain. | feature | major | DiOS | 6 years ago | |
| #21 | Implement clock_gettime | feature | minor | DiOS | 6 years ago |
Note: See TracQuery
for help on using queries.