Custom Query (36 matches)


Show under each result:

Status: assigned (6 matches)

Ticket Summary Owner Type Priority Component Resolution
#17 Generalize smt builder interface to be usable with different back-ends. Henrich Lauko feature major MC
#19 SYM: Spurious errors due to infeasible explicit values Henrich Lauko defect major LART
#26 The weakmem runtime leaks memory Vladimír Štill defect major DiOS
#47 Benchmark abstraction cleanup influence Henrich Lauko task major DiOS
#72 Termination testing our data structures xstill defect major other
#39 Hunt down libc functions that should be defined weak blurry task minor DiOS

Status: closed (13 matches)

Ticket Summary Owner Type Priority Component Resolution
#5 Invalid YAML report for programs with options or stdin mornfall defect major UI fixed
#8 Missing or spurious ODBC dependency mornfall defect major bench worksforme
#13 pass CMake pthreads check blurrymoi defect major divcc fixed
#14 Allow programs to override libc symbols mornfall defect major DiOS fixed
#23 divine cc -c -Ipath does not work blurrymoi defect major divcc fixed
#27 build filaure (fatal error: dios.h: No such file or directory) mornfall defect major other fixed
#29 Add/fix divcc --version and --help blurry defect major divcc fixed
#42 DIVINE sim crashes after only six states mornfall defect major sim invalid
#57 Build error in divine-smt mornfall defect major other duplicate
#67 DiOS: VFS Capture does not work mornfall defect major other duplicate
#20 Use error output for actual errors only mornfall defect minor UI invalid
#28 Capturing symbolically linked files seem to crash DiOS mornfall defect minor DiOS fixed
#58 Build fails: Directory nonexistent mornfall defect minor other fixed

Status: new (17 matches)

Ticket Summary Owner Type Priority Component Resolution
#3 Aggregate and garbage-collect *_log tables. mornfall feature major bench
#6 Improve support for debugging inlined functions mornfall defect major sim
#10 Memory leak from symbolic values. defect major DiOS
#16 Undetected double free Henrich Lauko feature major LART
#18 Implement string modification abstraction. Henrich Lauko task major LART
#31 Capture 'mount points' are confusing. mornfall task major UI
#32 Allow usermeta layers to be weak (debug). mornfall feature major VM
#33 Return the list of leaked objects back to userspace. mornfall feature major VM
#34 Add _VM_T_StackTrace to __vm_trace. mornfall feature major VM
#35 Track origins of memory objects. feature major DiOS
#38 Report attempts to use symbolic data if symbolic is disable mornfall defect major other
#40 Error with _SYM and array indexing (worked in 4.1.6) Henrich Lauko feature major LART
#45 Add support for __atomic_* libcalls defect major DiOS
#51 Write a style guide. mornfall task major other
#30 Possibly move divine's version() out of UI. mornfall feature minor UI
#44 Multi-Threaded Performance Doesn't Scale mornfall defect minor other
#63 Use refcount_ptr in DiOS. task minor DiOS
Note: See TracQuery for help on using queries.