Custom Query (13 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 | |
#116 | Divine fails to build on distributions with recent glibc and GNU toolchain | new | defect | major | 4.5 | |
#117 | Possibility of symbolic argc + argv | new | feature | major | 4.5 | |
#120 | Divine-4.4.2 was built failed in ubuntu 20.04 | 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 13 | new | feature | minor | 5.0 | |
#121 | Where can I get the extract-llvm from? | new | feature | trivial | 4.4 |
Note: See TracQuery
for help on using queries.