If you have encountered a problem with DIVINE, please check below whether there is an active ticket for your issue. Otherwise, please login with GitHub and report your issue. Thank you.

{1} Active Tickets (24 matches)

Ticket Summary Comp. Target Type Status
#6 Improve support for debugging inlined functions sim 4.2 defect new
#10 Memory leak from symbolic values. DiOS future defect new
#16 Undetected double free VM future defect new
#19 SYM: Spurious errors due to infeasible explicit values LART future defect assigned
#24 divcc needs native libc++ and libc++abi to build C++ programs DiOS future defect new
#26 The weakmem runtime leaks memory DiOS future defect assigned
#38 Report attempts to use symbolic data if symbolic is disable other future defect new
#41 Fault during startup DiOS future defect new
#4 Implement exec --symbolic. MC 4.2 feature assigned
#3 Aggregate and garbage-collect *_log tables. bench future feature new
#17 Generalize smt builder interface to be usable with different back-ends. MC future feature assigned
#32 Allow usermeta layers to be weak (debug). VM future feature new
#33 Return the list of leaked objects back to userspace. VM future feature new
#34 Add _VM_T_StackTrace to __vm_trace. VM future feature new
#35 Track origins of memory objects. DiOS future feature new
#40 Error with _SYM and array indexing (worked in 4.1.6) LART future feature new
#25 Make metadata exception map lock-free VM future feature assigned
#30 Possibly move divine's version() out of UI. UI future feature new
#18 Implement string modification abstraction. LART future task new
#22 Use lifetime markers to move allocas LART future task new
#31 Capture 'mount points' are confusing. UI future task new
#36 Assign 'types' (weak, marked) to objects, not to pointers. VM future task new
#37 Update libc++ and libc++abi. DiOS future task new
#39 Hunt down libc functions that should be defined weak DiOS future task assigned
Note: See TracReports for help on using and creating reports.
Show all issues