Custom Query (22 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Owner Type Priority Milestone Component
#29 Add/fix divcc --version and --help blurry defect major 5.0 divcc
#13 pass CMake pthreads check blurrymoi defect major 5.0 divcc
#23 divine cc -c -Ipath does not work blurrymoi defect major 5.0 divcc
#2 Lazy loading / linking of DiOS bitcode. mornfall feature major 4.2 MC
#5 Invalid YAML report for programs with options or stdin mornfall defect major 5.0 UI
#14 Allow programs to override libc symbols mornfall defect major 5.0 DiOS
#21 Implement clock_gettime mornfall feature minor 4.2 DiOS
#27 build filaure (fatal error: dios.h: No such file or directory) mornfall defect major 5.0 other
#28 Capturing symbolically linked files seem to crash DiOS mornfall defect minor 5.0 DiOS
#36 Assign 'types' (weak, marked) to objects, not to pointers. mornfall task major 4.3 VM
#52 unable to reproduce divcc/gzip hello world with divine-4.2.1+2019.02.06 mornfall defect major 4.3 VM
#56 Showing globals does not work mornfall defect major 4.3 sim
#58 Build fails: Directory nonexistent mornfall defect minor 5.0 other
#9 Problem with cast form abstract int to abstract pointer. Henrich Lauko defect major 4.2 LART
#11 Implement string abstraction with 'strlen' function. Henrich Lauko task major 4.2 LART
#1 Fix memory leaks in DiOS defect major 4.2 DiOS
#7 Problems with --symbolic in SV-COMP benchmarks defect major 4.2 DiOS
#12 Have both versions of strerror_r defect major 4.2 DiOS
#15 Implement strcmp for mstring domain. feature major 4.2 DiOS
#24 divcc needs native libc++ and libc++abi to build C++ programs defect major 4.3 DiOS
#37 Update libc++ and libc++abi. task major 4.3 DiOS
#41 Faults that are suppressed should not appear in the trace defect minor 4.3 DiOS
Note: See TracQuery for help on using queries.