Custom Query (20 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Owner Priority Milestone Component
#6 Improve support for debugging inlined functions new mornfall major 5.0 sim
#10 Memory leak from symbolic values. new major 5.0 DiOS
#19 SYM: Spurious errors due to infeasible explicit values assigned Henrich Lauko major 5.0 LART
#26 The weakmem runtime leaks memory assigned Vladimír Štill major 5.0 DiOS
#38 Report attempts to use symbolic data if symbolic is disable new mornfall major 5.0 other
#43 Fix thread_local new mornfall major 4.3 VM
#45 Add support for __atomic_* libcalls new major 5.0 DiOS
#53 divcc: Investigate and fix coreutils' ls assigned blurry major 4.3 divcc
#59 Make it possible for `step --over` to stop on thread switch new mornfall major 4.3 sim
#60 missing __sym_sitofp assigned Henrich Lauko major 4.3 other
#65 Error message in symbolic mode reopened mornfall major 4.3 other
#69 Fix linking with lld new blurrymoi major 4.4 divcc
#71 Divine 4.3.2 Build failures new mornfall major 4.3 other
#72 Termination testing our data structures assigned xstill major 5.0 other
#73 make install failure - Divine 4.3.2 accepted mornfall major 4.3 other
#74 make static failures - Divine 4.3.2 new mornfall major 4.3 other
#80 dioscc without any arguments fails with ld error new blurrymoi major 4.3 divcc
#44 Multi-Threaded Performance Doesn't Scale new mornfall minor 5.0 other
#49 Build system should check for minimal version of Z3 assigned Henrich Lauko minor 4.3 other
#75 Make failure without ninja - Divine 4.3.4 new mornfall minor 4.3 other
Note: See TracQuery for help on using queries.