Custom Query (8 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Resolution: fixed (8 matches)

Ticket Summary Owner Type Priority Component Created
#1 Fix memory leaks in DiOS defect major DiOS 15 months ago
#2 Lazy loading / linking of DiOS bitcode. mornfall feature major MC 15 months ago
#7 Problems with --symbolic in SV-COMP benchmarks defect major DiOS 12 months ago
#9 Problem with cast form abstract int to abstract pointer. Henrich Lauko defect major LART 9 months ago
#11 Implement string abstraction with 'strlen' function. Henrich Lauko task major LART 9 months ago
#12 Have both versions of strerror_r defect major DiOS 9 months ago
#15 Implement strcmp for mstring domain. feature major DiOS 9 months ago
#21 Implement clock_gettime mornfall feature minor DiOS 8 months ago
Note: See TracQuery for help on using queries.