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-78.fc39 RPM for aarch64

From Fedora 39 for aarch64 / o

Name: ocaml-cil Distribution: Fedora Project
Version: 1.7.3 Vendor: Fedora Project
Release: 78.fc39 Build date: Mon Apr 24 10:56:15 2023
Group: Unspecified Build host:
Size: 8542553 Source RPM: ocaml-cil-1.7.3-78.fc39.src.rpm
Packager: Fedora Project
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






* Mon Apr 24 2023 Florian Weimer <> - 1.7.3-78
  - Port to C99
* Tue Jan 24 2023 Richard W.M. Jones <> - 1.7.3-77
  - Rebuild OCaml packages for F38
* Thu Jan 19 2023 Fedora Release Engineering <> - 1.7.3-76
  - Rebuilt for
* Fri Jul 22 2022 Fedora Release Engineering <> - 1.7.3-75
  - Rebuilt for
* Sat Jun 18 2022 Richard W.M. Jones <> - 1.7.3-74
  - OCaml 4.14.0 rebuild
* Wed Jun 01 2022 Jitka Plesnikova <> - 1.7.3-73
  - Perl 5.36 rebuild
* Fri Feb 04 2022 Richard W.M. Jones <> - 1.7.3-72
  - OCaml 4.13.1 rebuild to remove package notes
* Thu Jan 20 2022 Fedora Release Engineering <> - 1.7.3-71
  - Rebuilt for
* Mon Oct 04 2021 Richard W.M. Jones <> - 1.7.3-70
  - OCaml 4.13.1 build
* Thu Jul 22 2021 Fedora Release Engineering <> - 1.7.3-69
  - Rebuilt for
* Sat May 22 2021 Jitka Plesnikova <> - 1.7.3-68
  - Perl 5.34 rebuild



Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Feb 10 01:36:27 2024