Custom Query (20 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: accepted (1 match)

Ticket Summary Owner Type Priority Component Created
#73 make install failure - Divine 4.3.2 mornfall defect major other 5 weeks ago

Status: assigned (8 matches)

Ticket Summary Owner Type Priority Component Created
#4 Implement exec --symbolic. adamatousek feature major MC 15 months ago
#46 Simplify stashing mechanism Henrich Lauko feature major DiOS 7 months ago
#48 Destroy symbolic formula directly when 0 reference count is reached Henrich Lauko feature major DiOS 7 months ago
#53 divcc: Investigate and fix coreutils' ls blurry defect major divcc 6 months ago
#60 missing __sym_sitofp Henrich Lauko defect major other 3 months ago
#62 Generate concrete counterexample from smt. Henrich Lauko feature major MC 3 months ago
#25 Make metadata exception map lock-free adamatousek feature minor VM 8 months ago
#49 Build system should check for minimal version of Z3 Henrich Lauko defect minor other 7 months ago

Status: new (10 matches)

Ticket Summary Owner Type Priority Component Created
#22 Use lifetime markers to move allocas Henrich Lauko task major LART 8 months ago
#43 Fix thread_local mornfall defect major VM 7 months ago
#50 Comparison of pointers in usermeta is incorrect. mornfall defect major VM 7 months ago
#54 Split global variables by compilation unit. mornfall task major VM 6 months ago
#59 Make it possible for `step --over` to stop on thread switch mornfall defect major sim 5 months ago
#71 Divine 4.3.2 Build failures mornfall defect major other 7 weeks ago
#74 make static failures - Divine 4.3.2 mornfall defect major other 4 weeks ago
#76 Divcc produces a broken gzip blurrymoi defect major divcc 8 days ago
#77 divcc -v segfault blurrymoi defect major divcc 8 days ago
#75 Make failure without ninja - Divine 4.3.4 mornfall defect minor other 10 days ago

Status: reopened (1 match)

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