Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ocaml-cil-1.7.3-75.fc37 RPM for x86_64

From Fedora 37 for x86_64 / o

Name: ocaml-cil Distribution: Fedora Project
Version: 1.7.3 Vendor: Fedora Project
Release: 75.fc37 Build date: Fri Jul 22 03:17:59 2022
Group: Unspecified Build host: buildvm-x86-13.iad2.fedoraproject.org
Size: 8542327 Source RPM: ocaml-cil-1.7.3-75.fc37.src.rpm
Packager: Fedora Project
Url: https://github.com/cil-project/cil
Summary: CIL - Infrastructure for C Program Analysis and Transformation
CIL (C Intermediate Language) is a high-level representation along
with a set of tools that permit easy analysis and source-to-source
transformation of C programs.

CIL is both lower-level than abstract-syntax trees, by clarifying
ambiguous constructs and removing redundant ones, and also
higher-level than typical intermediate languages designed for
compilation, by maintaining types and a close relationship with the
source program. The main advantage of CIL is that it compiles all
valid C programs into a few core constructs with a very clean
semantics. Also CIL has a syntax-directed type system that makes it
easy to analyze and manipulate C programs. Furthermore, the CIL
front-end is able to process not only ANSI-C programs but also those
using Microsoft C or GNU C extensions. If you do not use CIL and want
instead to use just a C parser and analyze programs expressed as
abstract-syntax trees then your analysis will have to handle a lot of
ugly corners of the language (let alone the fact that parsing C itself
is not a trivial task).

In essence, CIL is a highly-structured, "clean" subset of C. CIL
features a reduced number of syntactic and conceptual forms. For
example, all looping constructs are reduced to a single form, all
function bodies are given explicit return statements, syntactic sugar
like "->" is eliminated and function arguments with array types become
pointers.

Provides

Requires

License

BSD

Changelog

* Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-75
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Sat Jun 18 2022 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-74
  - OCaml 4.14.0 rebuild
* Wed Jun 01 2022 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-73
  - Perl 5.36 rebuild
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-72
  - OCaml 4.13.1 rebuild to remove package notes
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-71
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-70
  - OCaml 4.13.1 build
* Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-69
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Sat May 22 2021 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-68
  - Perl 5.34 rebuild
* Mon Mar 01 2021 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-67
  - OCaml 4.12.0 build
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-66
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-65
  - OCaml 4.11.1 rebuild
* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-64
  - OCaml 4.11.0 rebuild
* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-63
  - Second attempt - Rebuilt for
    https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-62
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Files

/usr/lib64/ocaml/cil
/usr/lib64/ocaml/cil/META
/usr/lib64/ocaml/cil/alpha.cmi
/usr/lib64/ocaml/cil/availexps.cmi
/usr/lib64/ocaml/cil/availexpslv.cmi
/usr/lib64/ocaml/cil/bitmap.cmi
/usr/lib64/ocaml/cil/cabs.cmi
/usr/lib64/ocaml/cil/cabs2cil.cmi
/usr/lib64/ocaml/cil/cabshelper.cmi
/usr/lib64/ocaml/cil/cabsvisit.cmi
/usr/lib64/ocaml/cil/callgraph.cmi
/usr/lib64/ocaml/cil/canonicalize.cmi
/usr/lib64/ocaml/cil/cfg.cmi
/usr/lib64/ocaml/cil/check.cmi
/usr/lib64/ocaml/cil/cil.cma
/usr/lib64/ocaml/cil/cil.cmi
/usr/lib64/ocaml/cil/cilint.cmi
/usr/lib64/ocaml/cil/cillower.cmi
/usr/lib64/ocaml/cil/ciloptions.cmi
/usr/lib64/ocaml/cil/ciltools.cmi
/usr/lib64/ocaml/cil/cilutil.cmi
/usr/lib64/ocaml/cil/cilversion.cmi
/usr/lib64/ocaml/cil/clexer.cmi
/usr/lib64/ocaml/cil/clist.cmi
/usr/lib64/ocaml/cil/cparser.cmi
/usr/lib64/ocaml/cil/cprint.cmi
/usr/lib64/ocaml/cil/dataflow.cmi
/usr/lib64/ocaml/cil/dataslicing.cmi
/usr/lib64/ocaml/cil/deadcodeelim.cmi
/usr/lib64/ocaml/cil/dominators.cmi
/usr/lib64/ocaml/cil/epicenter.cmi
/usr/lib64/ocaml/cil/errormsg.cmi
/usr/lib64/ocaml/cil/escape.cmi
/usr/lib64/ocaml/cil/expcompare.cmi
/usr/lib64/ocaml/cil/feature_config.cmi
/usr/lib64/ocaml/cil/formatcil.cmi
/usr/lib64/ocaml/cil/formatlex.cmi
/usr/lib64/ocaml/cil/formatparse.cmi
/usr/lib64/ocaml/cil/frontc.cmi
/usr/lib64/ocaml/cil/growArray.cmi
/usr/lib64/ocaml/cil/heap.cmi
/usr/lib64/ocaml/cil/heapify.cmi
/usr/lib64/ocaml/cil/inthash.cmi
/usr/lib64/ocaml/cil/lexerhack.cmi
/usr/lib64/ocaml/cil/liveness.cmi
/usr/lib64/ocaml/cil/llvm.cmi
/usr/lib64/ocaml/cil/llvmgen.cmi
/usr/lib64/ocaml/cil/llvmssa.cmi
/usr/lib64/ocaml/cil/llvmutils.cmi
/usr/lib64/ocaml/cil/logcalls.cmi
/usr/lib64/ocaml/cil/logwrites.cmi
/usr/lib64/ocaml/cil/longarray.cmi
/usr/lib64/ocaml/cil/machdep.cmi
/usr/lib64/ocaml/cil/machdepenv.cmi
/usr/lib64/ocaml/cil/mergecil.cmi
/usr/lib64/ocaml/cil/olf.cmi
/usr/lib64/ocaml/cil/oneret.cmi
/usr/lib64/ocaml/cil/partial.cmi
/usr/lib64/ocaml/cil/patch.cmi
/usr/lib64/ocaml/cil/predabst.cmi
/usr/lib64/ocaml/cil/pretty.cmi
/usr/lib64/ocaml/cil/ptranal.cmi
/usr/lib64/ocaml/cil/reachingdefs.cmi
/usr/lib64/ocaml/cil/rmtmps.cmi
/usr/lib64/ocaml/cil/setp.cmi
/usr/lib64/ocaml/cil/sfi.cmi
/usr/lib64/ocaml/cil/simplemem.cmi
/usr/lib64/ocaml/cil/simplify.cmi
/usr/lib64/ocaml/cil/ssa.cmi
/usr/lib64/ocaml/cil/stats.cmi
/usr/lib64/ocaml/cil/trace.cmi
/usr/lib64/ocaml/cil/uref.cmi
/usr/lib64/ocaml/cil/usedef.cmi
/usr/lib64/ocaml/cil/util.cmi
/usr/lib64/ocaml/cil/whitetrack.cmi
/usr/share/doc/ocaml-cil
/usr/share/doc/ocaml-cil/LICENSE
/usr/share/doc/ocaml-cil/README.md


Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jan 10 01:31:03 2023