Custom Query (8 matches)


Show under each result:

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