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