devel/ikos
| Maintainer | yuri@FreeBSD.org |
|---|---|
| Version | 3.5_5 |
| Comment | Static analyzer for C/C++ based on theory of abstract interpretation |
| Categories | devel |
| Links | FreshPorts upstream |
Fallout list
Showing every version, including the 12 the ports tree has moved past. Hide them.
| version | build environment | category | date (UTC) | urls |
|---|---|---|---|---|
| 3.5_3 → 3.5_5 | main-arm64-default | configure |
detail
·
log
·
|
|
| 3.5_3 → 3.5_5 | main-amd64-default | configure |
detail
·
log
·
|
|
| 3.5_3 → 3.5_5 | main-amd64-default | configure | detail · log · report · build queue | |
| 3.5_3 → 3.5_5 | main-amd64-default | configure | detail · log · report · build queue | |
| 3.5_3 → 3.5_5 | main-arm64-default | configure | detail · log · report · build queue | |
| 3.5_3 → 3.5_5 | main-amd64-default | configure | detail · log · report · build queue | |
| 3.5_3 → 3.5_5 | main-amd64-default | configure | detail · log · report · build queue | |
| 3.5_3 → 3.5_5 | main-arm64-default | configure | detail · log · report · build queue | |
| 3.5_3 → 3.5_5 | main-amd64-default | configure | detail · log · report · build queue | |
| 3.5_3 → 3.5_5 | main-amd64-default | configure | detail · log · report · build queue | |
| 3.5_3 → 3.5_5 | main-arm64-default | configure | detail · log · report · build queue | |
| 3.5_3 → 3.5_5 | main-amd64-default | configure | detail · log · report · build queue |