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

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

4.2 (8 matches)

Ticket Summary Comp Type Status
#1 Fix memory leaks in DiOS DiOS defect closed
#21 Implement clock_gettime DiOS feature closed
#7 Problems with --symbolic in SV-COMP benchmarks DiOS defect closed
#15 Implement strcmp for mstring domain. DiOS feature closed
#12 Have both versions of strerror_r DiOS defect closed
#9 Problem with cast form abstract int to abstract pointer. LART defect closed
#11 Implement string abstraction with 'strlen' function. LART task closed
#2 Lazy loading / linking of DiOS bitcode. MC feature closed

4.3 (21 matches)

Ticket Summary Comp Type Status
#37 Update libc++ and libc++abi. DiOS task new
#48 Destroy symbolic formula directly when 0 reference count is reached DiOS feature assigned
#46 Simplify stashing mechanism DiOS feature assigned
#24 divcc needs native libc++ and libc++abi to build C++ programs DiOS defect new
#41 Faults that are suppressed should not appear in the trace DiOS defect closed
#53 divcc: Investigate and fix coreutils' ls divcc defect assigned
#22 Use lifetime markers to move allocas LART task new
#62 Generate concrete counterexample from smt. MC feature assigned
#4 Implement exec --symbolic. MC feature assigned
#60 missing __sym_sitofp other defect assigned
#65 Error message in symbolic mode other defect reopened
#49 Build system should check for minimal version of Z3 other defect assigned
#61 Problems in SV-COMP other defect closed
#59 Make it possible for `step --over` to stop on thread switch sim defect new
#56 Showing globals does not work sim defect closed
#54 Split global variables by compilation unit. VM task new
#43 Fix thread_local VM defect new
#50 Comparison of pointers in usermeta is incorrect. VM defect new
#25 Make metadata exception map lock-free VM feature assigned
#52 unable to reproduce divcc/gzip hello world with divine-4.2.1+2019.02.06 VM defect closed
#36 Assign 'types' (weak, marked) to objects, not to pointers. VM task closed

4.4 (2 matches)

Ticket Summary Comp Type Status
#64 Integrate Ballista into DiOS' testsuite. DiOS task new
#55 Store snapshots in 2 layers. VM task new

5.0 (35 matches)

Ticket Summary Comp Type Status
#3 Aggregate and garbage-collect *_log tables. bench feature new
#8 Missing or spurious ODBC dependency bench defect closed
#35 Track origins of memory objects. DiOS feature new
#26 The weakmem runtime leaks memory DiOS defect assigned
#47 Benchmark abstraction cleanup influence DiOS task assigned
#10 Memory leak from symbolic values. DiOS defect new
#45 Add support for __atomic_* libcalls DiOS defect new
#39 Hunt down libc functions that should be defined weak DiOS task assigned
#63 Use refcount_ptr in DiOS. DiOS task new
#28 Capturing symbolically linked files seem to crash DiOS DiOS defect closed
#14 Allow programs to override libc symbols DiOS defect closed
#29 Add/fix divcc --version and --help divcc defect closed
#23 divine cc -c -Ipath does not work divcc defect closed
#13 pass CMake pthreads check divcc defect closed
#18 Implement string modification abstraction. LART task new
#16 Undetected double free LART feature new
#19 SYM: Spurious errors due to infeasible explicit values LART defect assigned
#40 Error with _SYM and array indexing (worked in 4.1.6) LART feature new
#17 Generalize smt builder interface to be usable with different back-ends. MC feature assigned
#51 Write a style guide. other task new
#67 DiOS: VFS Capture does not work other defect new
#38 Report attempts to use symbolic data if symbolic is disable other defect new
#58 Build fails: Directory nonexistent other defect new
#44 Multi-Threaded Performance Doesn't Scale other defect new
#57 Build error in divine-smt other defect closed
#27 build filaure (fatal error: dios.h: No such file or directory) other defect closed
#6 Improve support for debugging inlined functions sim defect new
#42 DIVINE sim crashes after only six states sim defect closed
#31 Capture 'mount points' are confusing. UI task new
#30 Possibly move divine's version() out of UI. UI feature new
#20 Use error output for actual errors only UI defect closed
#5 Invalid YAML report for programs with options or stdin UI defect closed
#32 Allow usermeta layers to be weak (debug). VM feature new
#34 Add _VM_T_StackTrace to __vm_trace. VM feature new
#33 Return the list of leaked objects back to userspace. VM feature new

(empty) (1 match)

Ticket Summary Comp Type Status
#66 Re-write addSection in terms of llvm code. divcc task new
Note: See TracReports for help on using and creating reports.
Show open issues