Project cbmc
Known since 2026-08-20, see on repology.
6.11.0
- Date
- 2026-08-28
- Fetched
- 2026-08-29
- Package
- cbmc (devel/cbmc)
- Size
- 2494081
- Lines
- 2073
- Warnings
- 1
- Fetched
- 2026-08-24
- Package
- cbmc
- Size
- 155976
- Lines
- 1680
- Warnings
- 1
- Fetched
- 2026-08-24
- Package
- cbmc
- Size
- 155491
- Lines
- 1693
- Fetched
- 2026-08-24
- Package
- cbmc
- Size
- 157010
- Lines
- 1714
6.10.0
- Date
- 2026-08-22
- Fetched
- 2026-08-23
- Package
- cbmc (devel/cbmc)
- Size
- 2487133
- Lines
- 2067
- Warnings
- 1
- Date
- 2026-07-16
- Fetched
- 2026-08-20
- Package
- cbmc
- Size
- 3306569
- Lines
- 1990
- Warnings
- 5
- Date
- 2026-07-16
- Fetched
- 2026-08-20
- Package
- cbmc
- Size
- 3312668
- Lines
- 1991
- Warnings
- 5
- Date
- 2026-07-16
- Fetched
- 2026-08-20
- Package
- cbmc
- Size
- 3495864
- Lines
- 2300
- Warnings
- 14
- Date
- 2026-07-16
- Fetched
- 2026-08-20
- Package
- cbmc
- Size
- 3367783
- Lines
- 1991
- Warnings
- 5