Custom Query (7 matches)
Ticket | Summary | Status | Owner | Type | Priority | Milestone |
---|---|---|---|---|---|---|
#10 | Memory leak from symbolic values. | new | defect | major | 5.0 | |
#16 | Undetected double free | new | feature | major | 5.0 | |
#17 | Generalize smt builder interface to be usable with different back-ends. | assigned | feature | major | 5.0 | |
#18 | Implement string modification abstraction. | new | task | major | 5.0 | |
#46 | Simplify stashing mechanism | assigned | feature | major | 4.3 | |
#47 | Benchmark abstraction cleanup influence | assigned | task | major | 5.0 | |
#48 | Destroy symbolic formula directly when 0 reference count is reached | assigned | feature | major | 4.3 |
Note: See TracQuery
for help on using queries.