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 aarch64

From Fedora 37 for aarch64 / o

Name: ocaml-cil Distribution: Fedora Project
Version: 1.7.3 Vendor: Fedora Project
Release: 75.fc37 Build date: Fri Jul 22 03:17:57 2022
Group: Unspecified Build host:
Size: 8542336 Source RPM: ocaml-cil-1.7.3-75.fc37.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






* 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
* Mon Mar 01 2021 Richard W.M. Jones <> - 1.7.3-67
  - OCaml 4.12.0 build
* Tue Jan 26 2021 Fedora Release Engineering <> - 1.7.3-66
  - Rebuilt for
* Tue Sep 01 2020 Richard W.M. Jones <> - 1.7.3-65
  - OCaml 4.11.1 rebuild
* Fri Aug 21 2020 Richard W.M. Jones <> - 1.7.3-64
  - OCaml 4.11.0 rebuild
* Sat Aug 01 2020 Fedora Release Engineering <> - 1.7.3-63
  - Second attempt - Rebuilt for
* Tue Jul 28 2020 Fedora Release Engineering <> - 1.7.3-62
  - Rebuilt for



Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Feb 9 20:38:59 2024