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 |
#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 | 13 months ago | 13 months ago | |
#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 | 21 months ago | 20 months ago |
Note: See TracQuery
for help on using queries.