Custom Query (11 matches)


Show under each result:

Ticket Summary Status Owner Type Priority Milestone
#10 Memory leak from symbolic values. new defect major 5.0
#26 The weakmem runtime leaks memory assigned Vladimír Štill defect major 5.0
#35 Track origins of memory objects. new feature major 5.0
#45 Add support for __atomic_* libcalls new defect major 5.0
#47 Benchmark abstraction cleanup influence assigned Henrich Lauko task major 5.0
#48 Destroy symbolic formula directly when 0 reference count is reached assigned Henrich Lauko feature major 4.3
#64 Integrate Ballista into DiOS' testsuite. new task major 4.4
#68 sysconf macros should be inferred via hostabi new task major 4.4
#87 Struct self-assignment results in assertion failure in memcpy accepted mornfall defect major 4.3
#39 Hunt down libc functions that should be defined weak assigned blurry task minor 5.0
#63 Use refcount_ptr in DiOS. new task minor 5.0
Note: See TracQuery for help on using queries.