Custom Query (10 matches)


Show under each result:

Ticket Summary Status Owner Type Priority Milestone
#51 Write a style guide. new mornfall task major 5.0
#60 missing __sym_sitofp assigned Henrich Lauko defect major 4.3
#72 Termination testing our data structures assigned xstill defect major 5.0
#105 make: Move any compilation out of make install accepted mornfall feature major 4.4
#106 make: CMake does not set PYTHON_INTERP during libcxx configuration accepted Vladimír Štill defect major 4.4
#113 make install fails for DIVINE 4.4.2 on Debian 10 new mornfall defect major 4.4
#114 divine check fails with "cannot enter kernel mode here" new mornfall defect major 4.4
#44 Multi-Threaded Performance Doesn't Scale accepted mornfall defect minor 5.0
#49 Build system should check for minimal version of Z3 assigned Henrich Lauko defect minor 4.3
#104 build Divine against system LLVM 9.x new mornfall feature minor 5.0
Note: See TracQuery for help on using queries.