package goblint-cil
- Overview
- No Docs
A front-end for the C programming language that facilitates program analysis and transformation
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-cil-2.0.6.tbz
sha256=5577007bfac63c3f0609abdb74119fe674c9bc8529d790e90ef73a85964aa07a
sha512=f1a393fa92614ceaf857bec4df474d3e152c578d0ab5fdf791e9129668861ccaa37efae2f18aa539965d6c2ed4dabb47b4a5262aab55112e181935def06f18da
Description
This is a fork of the 'cil' package used for 'goblint'. Major changes include:
- Support for C99 and C11.
- Compatibility with modern OCaml versions.
- Use Zarith instead of Num and use that for integer constants.
- Improved locations with columns and spans.
- Removal of unmaintained extensions and MSVC support.
- Use dune instead of make and ocamlbuild.
- Many bug fixes.
Published: 26 Mar 2025
Dependencies (10)
- conf-gcc
- cppo
- conf-perl
- yojson
-
ppx_deriving_yojson
>= "3.2" - stdlib-shims
- dune-configurator
-
dune
>= "2.7" - zarith
-
ocaml
>= "4.05.0"
Used by (3)
-
goblint
>= "2.5.0" - imguiml
- lintcstubs