Custom Query (38 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: accepted (2 matches)

Ticket Summary Owner Type Priority Component Resolution
#87 Struct self-assignment results in assertion failure in memcpy mornfall defect major DiOS
#92 divine info is outdated Vladimír Štill defect minor DiOS

Status: assigned (6 matches)

Ticket Summary Owner Type Priority Component Resolution
#4 Implement exec --symbolic. adamatousek feature major MC
#48 Destroy symbolic formula directly when 0 reference count is reached Henrich Lauko feature major DiOS
#53 divcc: Investigate and fix coreutils' ls blurry defect major divcc
#60 missing __sym_sitofp Henrich Lauko defect major other
#62 Generate concrete counterexample from smt. Henrich Lauko feature major MC
#49 Build system should check for minimal version of Z3 Henrich Lauko defect minor other

Status: closed (27 matches)

Ticket Summary Owner Type Priority Component Resolution
#24 divcc needs native libc++ and libc++abi to build C++ programs defect major DiOS fixed
#36 Assign 'types' (weak, marked) to objects, not to pointers. mornfall task major VM fixed
#37 Update libc++ and libc++abi. task major DiOS fixed
#46 Simplify stashing mechanism Henrich Lauko feature major DiOS fixed
#50 Comparison of pointers in usermeta is incorrect. mornfall defect major VM fixed
#52 unable to reproduce divcc/gzip hello world with divine-4.2.1+2019.02.06 mornfall defect major VM fixed
#54 Split global variables by compilation unit. mornfall task major VM wontfix
#56 Showing globals does not work mornfall defect major sim fixed
#61 Problems in SV-COMP mornfall defect major other invalid
#65 Error message in symbolic mode mornfall defect major other invalid
#71 Divine 4.3.2 Build failures mornfall defect major other fixed
#73 make install failure - Divine 4.3.2 mornfall defect major other fixed
#74 make static failures - Divine 4.3.2 mornfall defect major other wontfix
#76 Divcc produces a broken gzip blurrymoi defect major divcc fixed
#77 divcc -v segfault blurrymoi defect major divcc fixed
#78 Sigaction in enquiry mode causes unexpected error while checking defect major DiOS fixed
#79 Divine help commands crash mornfall defect major UI fixed
#80 dioscc without any arguments fails with ld error blurrymoi defect major divcc fixed
#81 dioscc and divine cc explicitly undefine the __x86_64__ macro blurrymoi defect major divcc invalid
#82 Help commands segmentation faults mornfall defect major UI fixed
#84 FindZ3.cmake fails on Fedora mornfall defect major other fixed
#86 Dioscc produces a broken gzip binary mornfall defect major divcc fixed
#88 VFS: Divine crashes while capturing current directory defect major DiOS fixed
#89 VFS: Divine crashes while capturing files created by truncate defect major DiOS fixed
#93 Memory leak in stdio tracing code. mornfall defect major DiOS fixed
#41 Faults that are suppressed should not appear in the trace defect minor DiOS fixed
#91 Make (install) enhancements Vladimír Štill feature minor other fixed

Status: new (3 matches)

Ticket Summary Owner Type Priority Component Resolution
#22 Use lifetime markers to move allocas Henrich Lauko task major LART
#59 Make it possible for `step --over` to stop on thread switch mornfall defect major sim
#90 VFS: Divine segfaults while loading when capturing a diffutils directory defect major DiOS
Note: See TracQuery for help on using queries.