Custom Query (19 matches)


Show under each result:

Status: accepted (2 matches)

Ticket Summary Owner Type Priority Component Created
#74 make static failures - Divine 4.3.2 mornfall defect major other 3 months ago
#87 Struct self-assignment results in assertion failure in memcpy mornfall defect major DiOS 9 days ago

Status: assigned (7 matches)

Ticket Summary Owner Type Priority Component Created
#4 Implement exec --symbolic. adamatousek feature major MC 17 months ago
#48 Destroy symbolic formula directly when 0 reference count is reached Henrich Lauko feature major DiOS 9 months ago
#53 divcc: Investigate and fix coreutils' ls blurry defect major divcc 8 months ago
#60 missing __sym_sitofp Henrich Lauko defect major other 5 months ago
#62 Generate concrete counterexample from smt. Henrich Lauko feature major MC 5 months ago
#25 Make metadata exception map lock-free adamatousek feature minor VM 10 months ago
#49 Build system should check for minimal version of Z3 Henrich Lauko defect minor other 9 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 10 months ago
#43 Fix thread_local mornfall defect major VM 9 months ago
#54 Split global variables by compilation unit. mornfall task major VM 8 months ago
#59 Make it possible for `step --over` to stop on thread switch mornfall defect major sim 7 months ago
#85 testsuite: Some simulator tests fail consistently on Fedora mornfall defect major sim 3 weeks ago
#90 VFS: Divine segfaults while loading when capturing a diffutils directory defect major DiOS 2 days ago
#75 Make failure without ninja - Divine 4.3.4 mornfall defect minor other 2 months ago
#91 Make (install) enhancements mornfall feature minor other 2 days ago
#92 divine info is outdated defect minor DiOS 8 hours ago

Status: reopened (1 match)

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