Custom Query (11 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: accepted (2 matches)

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

Status: assigned (6 matches)

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

Status: new (3 matches)

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