Custom Query (8 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


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