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

Ticket Summary Comp. Target Type Status
#3 Aggregate and garbage-collect *_log tables. bench feature new
#1 Fix memory leaks in DiOS DiOS 4.2 defect new
#4 Implement exec --symbolic. MC 4.2 feature new
#2 Lazy loading / linking of DiOS bitcode. MC 4.2 feature new
Note: See TracReports for help on using and creating reports.