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 (31 matches)

4.3 (10 matches)

Ticket Summary Comp. Type Status
#4 Implement exec --symbolic. MC feature assigned
#22 Use lifetime markers to move allocas LART task new
#24 divcc needs native libc++ and libc++abi to build C++ programs DiOS defect new
#25 Make metadata exception map lock-free VM feature assigned
#37 Update libc++ and libc++abi. DiOS task new
#43 Fix thread_local VM defect new
#46 Simplify stashing mechanism DiOS feature assigned
#48 Destroy symbolic formula directly when 0 reference count is reached DiOS feature assigned
#49 Build system should check for minimal version of Z3 other defect assigned
#50 Comparison of pointers in usermeta is incorrect. VM defect new

5.0 (21 matches)

Ticket Summary Comp. Type Status
#3 Aggregate and garbage-collect *_log tables. bench feature new
#6 Improve support for debugging inlined functions sim defect new
#10 Memory leak from symbolic values. DiOS defect new
#16 Undetected double free LART feature new
#17 Generalize smt builder interface to be usable with different back-ends. MC feature assigned
#18 Implement string modification abstraction. LART task new
#19 SYM: Spurious errors due to infeasible explicit values LART defect assigned
#26 The weakmem runtime leaks memory DiOS defect assigned
#30 Possibly move divine's version() out of UI. UI feature new
#31 Capture 'mount points' are confusing. UI task new
#32 Allow usermeta layers to be weak (debug). VM feature new
#33 Return the list of leaked objects back to userspace. VM feature new
#34 Add _VM_T_StackTrace to __vm_trace. VM feature new
#35 Track origins of memory objects. DiOS feature new
#38 Report attempts to use symbolic data if symbolic is disable other defect new
#39 Hunt down libc functions that should be defined weak DiOS task assigned
#40 Error with _SYM and array indexing (worked in 4.1.6) LART feature new
#44 Multi-Threaded Performance Doesn't Scale other defect new
#45 Add support for __atomic_* libcalls DiOS defect new
#47 Benchmark abstraction cleanup influence DiOS task assigned
#51 Write a style guide. other task new
Note: See TracReports for help on using and creating reports.
Show all issues