Custom Query (22 matches)


Show under each result:

Ticket Summary Status Type Priority Milestone Component
#51 Write a style guide. new task major 5.0 other
#55 Store snapshots in 2 layers. new task major 4.4 VM
#54 Split global variables by compilation unit. new task major 4.3 VM
#33 Return the list of leaked objects back to userspace. new feature major 5.0 VM
#38 Report attempts to use symbolic data if symbolic is disable new defect major 5.0 other
#30 Possibly move divine's version() out of UI. new feature minor 5.0 UI
#44 Multi-Threaded Performance Doesn't Scale new defect minor 5.0 other
#74 make static failures - Divine 4.3.2 new defect major 4.3 other
#59 Make it possible for `step --over` to stop on thread switch new defect major 4.3 sim
#73 make install failure - Divine 4.3.2 accepted defect major 4.3 other
#75 Make failure without ninja - Divine 4.3.4 new defect minor 4.3 other
#6 Improve support for debugging inlined functions new defect major 5.0 sim
#82 Help commands segmentation faults new defect major 4.3 UI
#43 Fix thread_local new defect major 4.3 VM
#84 FindZ3.cmake fails on Fedora new defect major 4.3 other
#65 Error message in symbolic mode reopened defect major 4.3 other
#71 Divine 4.3.2 Build failures new defect major 4.3 other
#83 Divince check: false negative when using NULL as the first argument of the pthread_create() new defect major 4.5 other
#31 Capture 'mount points' are confusing. new task major 5.0 UI
#32 Allow usermeta layers to be weak (debug). new feature major 5.0 VM
#3 Aggregate and garbage-collect *_log tables. new feature major 5.0 bench
#34 Add _VM_T_StackTrace to __vm_trace. new feature major 5.0 VM
Note: See TracQuery for help on using queries.