package goblint-cil

  1. Overview
  2. Docs
A front-end for the C programming language that facilitates program analysis and transformation

Install

Dune Dependency

cil-project.github.io Edit opam file Versions (8)

Authors

  1. G
    gabriel@kerneis.info

Maintainers

  1. R
    ralf.vogler@gmail.com

Sources

1.7.4.tar.gz
md5=091bd157c350e65e9c5616779f674cde
sha512=ddfa86c993c2d1e399742f4e9e77e4db4f255dac7f62019952e9dcd874f77cb02140bb5a8b9f3d1c158ba4e4fa057442d2ffdb6d40217bc3e0f76fe8a69af6a2

Description

This is a fork of the 'cil' package needed to build 'goblint'. Changes:

  • some warnings are made optional
  • truncated integer constants have a string representation
  • compiles with OCaml >=4.06.0, use zarith instead of num

Published: 17 Jun 2019

Dependencies (4)

  1. zarith
  2. ocamlbuild build
  3. ocamlfind build
  4. ocaml >= "4.02.3" & < "5.0"

Dev Dependencies (1)

  1. hevea with-doc | with-test

Used by (2)

  1. goblint < "1.1.1"
  2. lintcstubs

Conflicts (1)

  1. cil