Custom Query (8 matches)


Show under each result:

Ticket Summary Status Owner Type Milestone Priority
#30 Possibly move divine's version() out of UI. new mornfall feature 5.0 minor
#39 Hunt down libc functions that should be defined weak assigned blurry task 5.0 minor
#44 Multi-Threaded Performance Doesn't Scale accepted mornfall defect 5.0 minor
#49 Build system should check for minimal version of Z3 assigned Henrich Lauko defect 4.3 minor
#63 Use refcount_ptr in DiOS. new task 5.0 minor
#92 divine info is outdated accepted Vladimír Štill defect 4.3 minor
#104 build Divine against system LLVM 13 new mornfall feature 5.0 minor
#107 unreachable executed: unknown binary operation fp.leq assigned Henrich Lauko defect 4.4 minor
Note: See TracQuery for help on using queries.