Custom Query (6 matches)
Status: accepted (2 matches)
| Ticket | Summary | Owner | Type | Priority | Created | Modified |
|---|---|---|---|---|---|---|
| #105 | make: Move any compilation out of make install | feature | major | 4 years ago | 4 years ago | |
| #106 | make: CMake does not set PYTHON_INTERP during libcxx configuration | defect | major | 4 years ago | 20 months ago | |
Status: new (4 matches) |
||||||
| Ticket | Summary | Owner | Type | Priority | Created | Modified |
| #113 | make install fails for DIVINE 4.4.2 on Debian 10 | defect | major | 4 years ago | 3 years ago | |
| #120 | Divine-4.4.2 was built failed in ubuntu 20.04 | defect | major | 20 months ago | 20 months ago | |
| #121 | Where can I get the extract-llvm from? | feature | trivial | 20 months ago | 20 months ago | |
| #122 | Verify properties described using LTL formulas | feature | major | 12 months ago | 12 months ago | |
Note: See TracQuery
for help on using queries.