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.

{6} All Tickets By Milestone (Including closed) (123 matches)

A more complex example to show how to make advanced reports.

Results (101 - 123 of 123)

1 2

5.0 (23 matches)

Ticket Summary Comp Type Status
#13 pass CMake pthreads check divcc defect closed
#29 Add/fix divcc --version and --help divcc defect closed
#23 divine cc -c -Ipath does not work divcc defect closed
#20 Use error output for actual errors only UI defect closed
#28 Capturing symbolically linked files seem to crash DiOS DiOS defect closed
#14 Allow programs to override libc symbols DiOS defect closed
#27 build filaure (fatal error: dios.h: No such file or directory) other defect closed
#5 Invalid YAML report for programs with options or stdin UI defect closed
#8 Missing or spurious ODBC dependency bench defect closed
#31 Capture 'mount points' are confusing. UI task new
#10 Memory leak from symbolic values. DiOS defect new
#45 Add support for __atomic_* libcalls DiOS defect new
#40 Error with _SYM and array indexing (worked in 4.1.6) LART feature new
#51 Write a style guide. other task new
#123 How to use the command line to check whether a C program satisfies the LTL nature other defect new
#6 Improve support for debugging inlined functions sim defect 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
#32 Allow usermeta layers to be weak (debug). VM feature new
#30 Possibly move divine's version() out of UI. UI feature new
#104 build Divine against system LLVM 13 other feature new
#63 Use refcount_ptr in DiOS. DiOS task new
1 2
Note: See TracReports for help on using and creating reports.
Show open issues