Opam Package goblint-cil.1.7.4

Package info

opam-namegoblint-cil
opam-version1.7.4
synopsisA front-end for the C programming language that facilitates program analysis and transformation
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
authors
  • gabriel@kerneis.info
homepagehttps://cil-project.github.io/cil/
deps (4)
revdeps(0)
metas (23)
libraries (21)

Package modules

Package sources

goblint-cil

Package files

share/cil/ocamlpath
share/cil
lib/perl5/x86_64-linux-gnu-thread-multi/auto/cilly/.packlist
lib/perl5/x86_64-linux-gnu-thread-multi/auto/cilly
lib/perl5/x86_64-linux-gnu-thread-multi/auto
lib/perl5/x86_64-linux-gnu-thread-multi
lib/perl5/App/Cilly/TempFile.pm
lib/perl5/App/Cilly/OutputFile.pm
lib/perl5/App/Cilly/KeptFile.pm
lib/perl5/App/Cilly/CilConfig.pm
lib/perl5/App/Cilly/CilCompiler.pm
lib/perl5/App/Cilly.pm
lib/perl5/App/Cilly
lib/perl5/App
lib/perl5
lib/cil/zrapp.mli
lib/cil/zrapp.cmxs
lib/cil/zrapp.cmxa
lib/cil/zrapp.cmx
lib/cil/zrapp.cmi
lib/cil/zrapp.cma
lib/cil/zrapp.a
lib/cil/whitetrack.mli
lib/cil/whitetrack.cmx
lib/cil/whitetrack.cmi
lib/cil/util.mli
lib/cil/util.cmx
lib/cil/util.cmi
lib/cil/usedef.inferred.mli
lib/cil/usedef.cmx
lib/cil/usedef.cmi
lib/cil/uref.mli
lib/cil/uref.cmx
lib/cil/uref.cmi
lib/cil/trace.mli
lib/cil/trace.cmx
lib/cil/trace.cmi
lib/cil/steensgaard.mli
lib/cil/steensgaard.cmx
lib/cil/steensgaard.cmi
lib/cil/stats.mli
lib/cil/stats.cmx
lib/cil/stats.cmi
lib/cil/simplify.mli
lib/cil/simplify.cmxs
lib/cil/simplify.cmxa
lib/cil/simplify.cmx
lib/cil/simplify.cmi
lib/cil/simplify.cma
lib/cil/simplify.a
lib/cil/simplemem.inferred.mli
lib/cil/simplemem.cmxs
lib/cil/simplemem.cmxa
lib/cil/simplemem.cmx
lib/cil/simplemem.cmi
lib/cil/simplemem.cma
lib/cil/simplemem.a
lib/cil/sfi.inferred.mli
lib/cil/sfi.cmxs
lib/cil/sfi.cmxa
lib/cil/sfi.cmx
lib/cil/sfi.cmi
lib/cil/sfi.cma
lib/cil/sfi.a
lib/cil/setp.mli
lib/cil/setp.cmx
lib/cil/setp.cmi
lib/cil/rmtmps.mli
lib/cil/rmtmps.cmx
lib/cil/rmtmps.cmi
lib/cil/rmciltmps.inferred.mli
lib/cil/rmciltmps.cmx
lib/cil/rmciltmps.cmi
lib/cil/reachingdefs.inferred.mli
lib/cil/reachingdefs.cmx
lib/cil/reachingdefs.cmi
lib/cil/ptranal.mli
lib/cil/ptranal.cmx
lib/cil/ptranal.cmi
lib/cil/pta.cmxs
lib/cil/pta.cmxa
lib/cil/pta.cma
lib/cil/pta.a
lib/cil/pretty.mli
lib/cil/pretty.cmx
lib/cil/pretty.cmi
lib/cil/patch.mli
lib/cil/patch.cmx
lib/cil/patch.cmi
lib/cil/partial.inferred.mli
lib/cil/partial.cmxs
lib/cil/partial.cmxa
lib/cil/partial.cmx
lib/cil/partial.cmi
lib/cil/partial.cma
lib/cil/partial.a
lib/cil/oneret.mli
lib/cil/oneret.cmxs
lib/cil/oneret.cmxa
lib/cil/oneret.cmx
lib/cil/oneret.cmi
lib/cil/oneret.cma
lib/cil/oneret.a
lib/cil/olf.mli
lib/cil/olf.cmx
lib/cil/olf.cmi
lib/cil/mergecil.mli
lib/cil/mergecil.cmx
lib/cil/mergecil.cmi
lib/cil/machdepenv.inferred.mli
lib/cil/machdepenv.cmx
lib/cil/machdepenv.cmi
lib/cil/machdep.inferred.mli
lib/cil/machdep.cmx
lib/cil/machdep.cmi
lib/cil/longarray.mli
lib/cil/longarray.cmx
lib/cil/longarray.cmi
lib/cil/logwrites.inferred.mli
lib/cil/logwrites.cmxs
lib/cil/logwrites.cmxa
lib/cil/logwrites.cmx
lib/cil/logwrites.cmi
lib/cil/logwrites.cma
lib/cil/logwrites.a
lib/cil/logcalls.mli
lib/cil/logcalls.cmxs
lib/cil/logcalls.cmxa
lib/cil/logcalls.cmx
lib/cil/logcalls.cmi
lib/cil/logcalls.cma
lib/cil/logcalls.a
lib/cil/llvmutils.inferred.mli
lib/cil/llvmutils.cmx
lib/cil/llvmutils.cmi
lib/cil/llvmssa.inferred.mli
lib/cil/llvmssa.cmx
lib/cil/llvmssa.cmi
lib/cil/llvmgen.inferred.mli
lib/cil/llvmgen.cmx
lib/cil/llvmgen.cmi
lib/cil/llvm.inferred.mli
lib/cil/llvm.cmxs
lib/cil/llvm.cmxa
lib/cil/llvm.cmx
lib/cil/llvm.cmi
lib/cil/llvm.cma
lib/cil/llvm.a
lib/cil/liveness.inferred.mli
lib/cil/liveness.cmxs
lib/cil/liveness.cmxa
lib/cil/liveness.cmx
lib/cil/liveness.cmi
lib/cil/liveness.cma
lib/cil/liveness.a
lib/cil/lexerhack.inferred.mli
lib/cil/lexerhack.cmx
lib/cil/lexerhack.cmi
lib/cil/inthash.mli
lib/cil/inthash.cmx
lib/cil/inthash.cmi
lib/cil/inliner.inferred.mli
lib/cil/inliner.cmxs
lib/cil/inliner.cmxa
lib/cil/inliner.cmx
lib/cil/inliner.cmi
lib/cil/inliner.cma
lib/cil/inliner.a
lib/cil/heapify.inferred.mli
lib/cil/heapify.cmxs
lib/cil/heapify.cmxa
lib/cil/heapify.cmx
lib/cil/heapify.cmi
lib/cil/heapify.cma
lib/cil/heapify.a
lib/cil/heap.inferred.mli
lib/cil/heap.cmx
lib/cil/heap.cmi
lib/cil/growArray.mli
lib/cil/growArray.cmx
lib/cil/growArray.cmi
lib/cil/golf.mli
lib/cil/golf.cmx
lib/cil/golf.cmi
lib/cil/frontc.mli
lib/cil/frontc.cmx
lib/cil/frontc.cmi
lib/cil/formatparse.mli
lib/cil/formatparse.cmx
lib/cil/formatparse.cmi
lib/cil/formatlex.inferred.mli
lib/cil/formatlex.cmx
lib/cil/formatlex.cmi
lib/cil/formatcil.mli
lib/cil/formatcil.cmx
lib/cil/formatcil.cmi
lib/cil/feature.mli
lib/cil/feature.cmx
lib/cil/feature.cmi
lib/cil/expcompare.inferred.mli
lib/cil/expcompare.cmx
lib/cil/expcompare.cmi
lib/cil/escape.mli
lib/cil/escape.cmx
lib/cil/escape.cmi
lib/cil/errormsg.mli
lib/cil/errormsg.cmx
lib/cil/errormsg.cmi
lib/cil/epicenter.inferred.mli
lib/cil/epicenter.cmxs
lib/cil/epicenter.cmxa
lib/cil/epicenter.cmx
lib/cil/epicenter.cmi
lib/cil/epicenter.cma
lib/cil/epicenter.a
lib/cil/dominators.mli
lib/cil/dominators.cmx
lib/cil/dominators.cmi
lib/cil/deadcodeelim.inferred.mli
lib/cil/deadcodeelim.cmx
lib/cil/deadcodeelim.cmi
lib/cil/dataslicing.mli
lib/cil/dataslicing.cmxs
lib/cil/dataslicing.cmxa
lib/cil/dataslicing.cmx
lib/cil/dataslicing.cmi
lib/cil/dataslicing.cma
lib/cil/dataslicing.a
lib/cil/dataflow.mli
lib/cil/dataflow.cmx
lib/cil/dataflow.cmi
lib/cil/cqualann.inferred.mli
lib/cil/cqualann.cmxs
lib/cil/cqualann.cmxa
lib/cil/cqualann.cmx
lib/cil/cqualann.cmi
lib/cil/cqualann.cma
lib/cil/cqualann.a
lib/cil/cprint.inferred.mli
lib/cil/cprint.cmx
lib/cil/cprint.cmi
lib/cil/cparser.mli
lib/cil/cparser.cmx
lib/cil/cparser.cmi
lib/cil/clist.mli
lib/cil/clist.cmx
lib/cil/clist.cmi
lib/cil/clexer.mli
lib/cil/clexer.cmx
lib/cil/clexer.cmi
lib/cil/cilversion.inferred.mli
lib/cil/cilversion.cmx
lib/cil/cilversion.cmi
lib/cil/cilutil.inferred.mli
lib/cil/cilutil.cmx
lib/cil/cilutil.cmi
lib/cil/ciltools.inferred.mli
lib/cil/ciltools.cmx
lib/cil/ciltools.cmi
lib/cil/ciloptions.mli
lib/cil/ciloptions.cmx
lib/cil/ciloptions.cmi
lib/cil/cillower.mli
lib/cil/cillower.cmx
lib/cil/cillower.cmi
lib/cil/cilint.mli
lib/cil/cilint.cmx
lib/cil/cilint.cmi
lib/cil/cil.mli
lib/cil/cil.cmxa
lib/cil/cil.cmx
lib/cil/cil.cmi
lib/cil/cil.cma
lib/cil/cil.a
lib/cil/check.mli
lib/cil/check.cmx
lib/cil/check.cmi
lib/cil/cfg.mli
lib/cil/cfg.cmx
lib/cil/cfg.cmi
lib/cil/ccl.mli
lib/cil/ccl.cmxs
lib/cil/ccl.cmxa
lib/cil/ccl.cmx
lib/cil/ccl.cmi
lib/cil/ccl.cma
lib/cil/ccl.a
lib/cil/canonicalize.mli
lib/cil/canonicalize.cmxs
lib/cil/canonicalize.cmxa
lib/cil/canonicalize.cmx
lib/cil/canonicalize.cmi
lib/cil/canonicalize.cma
lib/cil/canonicalize.a
lib/cil/callgraph.mli
lib/cil/callgraph.cmxs
lib/cil/callgraph.cmxa
lib/cil/callgraph.cmx
lib/cil/callgraph.cmi
lib/cil/callgraph.cma
lib/cil/callgraph.a
lib/cil/cabsvisit.mli
lib/cil/cabsvisit.cmx
lib/cil/cabsvisit.cmi
lib/cil/cabshelper.inferred.mli
lib/cil/cabshelper.cmx
lib/cil/cabshelper.cmi
lib/cil/cabs2cil.mli
lib/cil/cabs2cil.cmx
lib/cil/cabs2cil.cmi
lib/cil/cabs.inferred.mli
lib/cil/cabs.cmx
lib/cil/cabs.cmi
lib/cil/blockinggraph.mli
lib/cil/blockinggraph.cmxs
lib/cil/blockinggraph.cmxa
lib/cil/blockinggraph.cmx
lib/cil/blockinggraph.cmi
lib/cil/blockinggraph.cma
lib/cil/blockinggraph.a
lib/cil/bitmap.mli
lib/cil/bitmap.cmx
lib/cil/bitmap.cmi
lib/cil/availexpslv.inferred.mli
lib/cil/availexpslv.cmx
lib/cil/availexpslv.cmi
lib/cil/availexps.inferred.mli
lib/cil/availexps.cmx
lib/cil/availexps.cmi
lib/cil/alpha.mli
lib/cil/alpha.cmx
lib/cil/alpha.cmi
lib/cil/META
lib/cil
bin/cilly.native
bin/cilly.byte
bin/cilly