主要观点：CIL 是 C 编程语言的前端，用于程序分析和转换，goblint-cil是 CIL 的一个分支，支持 C99、C11 及 GNU C 的大部分扩展等，对 CIL 进行了多方面改进。
关键信息：

• goblint-cil的测试、文档构建及发布状态的链接。
• 支持 C99 和 C11、兼容现代 OCaml 版本、使用 Zarith 替代 Num 等改进内容。
• 快速开始安装goblint-cil的opam命令及参考教程迁移。
• 从源安装的先决条件及构建、测试、安装的命令。
• 使用cilly替代gcc编译链接程序，以及将goblint-cil作为库在 OCaml 顶行使用的示例。
• goblint-cil的 BSD 许可证及相关文件。
  重要细节：
• goblint-cil的 GitHub 发布链接及 opam 包状态链接。
• 快速开始中提到不要安装cil包，它是未维护的原始版本。
• 从源安装时创建本地 opam 开关并安装依赖的步骤。
• 运行单个测试时的命令及路径。
• 在 OCaml 顶行使用goblint-cil时的具体操作和输出。