Custom Query (15 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: assigned (6 matches)

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

Status: new (9 matches)

Ticket Summary Owner Type Priority Component Created
#22 Use lifetime markers to move allocas Henrich Lauko task major LART 5 months ago
#24 divcc needs native libc++ and libc++abi to build C++ programs defect major DiOS 5 months ago
#37 Update libc++ and libc++abi. task major DiOS 4 months ago
#43 Fix thread_local mornfall defect major VM 4 months ago
#50 Comparison of pointers in usermeta is incorrect. mornfall defect major VM 4 months ago
#54 Split global variables by compilation unit. mornfall task major VM 3 months ago
#59 Make it possible for `step --over` to stop on thread switch mornfall defect major sim 7 weeks ago
#60 missing __sym_sitofp mornfall defect major other 4 days ago
#61 Problems in SV-COMP mornfall defect major other 22 minutes ago
Note: See TracQuery for help on using queries.