Published June 11, 2026
| Version 0.6~rc1
Software
Open
colibri2
Contributors
Project leader:
Project member (3):
-
1.
CEA LIST
Description
Static version of colibri2 version ef72cb1a
Files
Files
(61.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:39a13f1d1ec17b46355186aaa9dabadc
|
61.6 MB | Download |
Additional details
Software
- Repository URL
- https://git.frama-c.com/pub/colibrics
- Programming language
- OCaml
- Development Status
- Active