Custom Query (32 matches)


Show under each result:

Ticket Summary Status Owner Type Milestone Component
#4 Implement exec --symbolic. assigned adamatousek feature 4.3 MC
#53 divcc: Investigate and fix coreutils' ls assigned blurry defect 4.3 divcc
#3 Aggregate and garbage-collect *_log tables. new mornfall feature 5.0 bench
#6 Improve support for debugging inlined functions new mornfall defect 5.0 sim
#31 Capture 'mount points' are confusing. new mornfall task 5.0 UI
#32 Allow usermeta layers to be weak (debug). new mornfall feature 5.0 VM
#33 Return the list of leaked objects back to userspace. new mornfall feature 5.0 VM
#34 Add _VM_T_StackTrace to __vm_trace. new mornfall feature 5.0 VM
#38 Report attempts to use symbolic data if symbolic is disable new mornfall defect 5.0 other
#43 Fix thread_local new mornfall defect 4.3 VM
#50 Comparison of pointers in usermeta is incorrect. new mornfall defect 4.3 VM
#51 Write a style guide. new mornfall task 5.0 other
#54 Split global variables by compilation unit. new mornfall task 4.3 VM
#55 Store snapshots in 2 layers. new mornfall task 4.4 VM
#59 Make it possible for `step --over` to stop on thread switch new mornfall defect 4.3 sim
#26 The weakmem runtime leaks memory assigned Vladimír Štill defect 5.0 DiOS
#16 Undetected double free new Henrich Lauko feature 5.0 LART
#17 Generalize smt builder interface to be usable with different back-ends. assigned Henrich Lauko feature 5.0 MC
#18 Implement string modification abstraction. new Henrich Lauko task 5.0 LART
#19 SYM: Spurious errors due to infeasible explicit values assigned Henrich Lauko defect 5.0 LART
#22 Use lifetime markers to move allocas new Henrich Lauko task 4.3 LART
#40 Error with _SYM and array indexing (worked in 4.1.6) new Henrich Lauko feature 5.0 LART
#46 Simplify stashing mechanism assigned Henrich Lauko feature 4.3 DiOS
#47 Benchmark abstraction cleanup influence assigned Henrich Lauko task 5.0 DiOS
#48 Destroy symbolic formula directly when 0 reference count is reached assigned Henrich Lauko feature 4.3 DiOS
#60 missing __sym_sitofp assigned Henrich Lauko defect 4.3 other
#62 Generate concrete counterexample from smt. assigned Henrich Lauko feature 4.3 MC
#10 Memory leak from symbolic values. new defect 5.0 DiOS
#24 divcc needs native libc++ and libc++abi to build C++ programs new defect 4.3 DiOS
#35 Track origins of memory objects. new feature 5.0 DiOS
#37 Update libc++ and libc++abi. new task 4.3 DiOS
#45 Add support for __atomic_* libcalls new defect 5.0 DiOS
Note: See TracQuery for help on using queries.