Custom Query (28 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: accepted (1 match)

Ticket Summary Owner Type Priority Component Resolution
#73 make install failure - Divine 4.3.2 mornfall defect major other

Status: assigned (8 matches)

Ticket Summary Owner Type Priority Component Resolution
#4 Implement exec --symbolic. adamatousek feature major MC
#46 Simplify stashing mechanism Henrich Lauko feature major DiOS
#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
#25 Make metadata exception map lock-free adamatousek feature minor VM
#49 Build system should check for minimal version of Z3 Henrich Lauko defect minor other

Status: closed (7 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
#52 unable to reproduce divcc/gzip hello world with divine-4.2.1+2019.02.06 mornfall defect major VM fixed
#56 Showing globals does not work mornfall defect major sim fixed
#61 Problems in SV-COMP mornfall defect major other invalid
#41 Faults that are suppressed should not appear in the trace defect minor DiOS fixed

Status: new (11 matches)

Ticket Summary Owner Type Priority Component Resolution
#22 Use lifetime markers to move allocas Henrich Lauko task major LART
#43 Fix thread_local mornfall defect major VM
#50 Comparison of pointers in usermeta is incorrect. mornfall defect major VM
#54 Split global variables by compilation unit. mornfall task major VM
#59 Make it possible for `step --over` to stop on thread switch mornfall defect major sim
#71 Divine 4.3.2 Build failures mornfall defect major other
#74 make static failures - Divine 4.3.2 mornfall defect major other
#76 Divcc produces a broken gzip blurrymoi defect major divcc
#77 divcc -v segfault blurrymoi defect major divcc
#78 Sigaction in enquiry mode causes unexpected error while checking defect major DiOS
#75 Make failure without ninja - Divine 4.3.4 mornfall defect minor other

Status: reopened (1 match)

Ticket Summary Owner Type Priority Component Resolution
#65 Error message in symbolic mode mornfall defect major other
Note: See TracQuery for help on using queries.