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

Ticket Summary Comp. Target Type Status
#1 Fix memory leaks in DiOS DiOS 4.2 defect new
#6 Improve support for debugging inlined functions sim 4.2 defect new
#2 Lazy loading / linking of DiOS bitcode. MC 4.2 feature new
#4 Implement exec --symbolic. MC 4.2 feature new
#5 Invalid YAML report for programs with options or stdin UI defect new
#8 Missing or spurious ODBC dependency bench defect new
#9 Problem with cast form abstract int to abstract pointer. LART defect new
#10 Memory leak from symbolic values. DiOS defect new
#12 Have both versions of strerror_r DiOS defect new
#13 pass CMake pthreads check divcc defect new
#3 Aggregate and garbage-collect *_log tables. bench feature new
#11 Implement string abstraction with 'strlen' function. LART task new
Note: See TracReports for help on using and creating reports.