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-77.fc38 RPM for aarch64

From Fedora 38 for aarch64 / o

Name: ocaml-cil Distribution: Fedora Project
Version: 1.7.3 Vendor: Fedora Project
Release: 77.fc38 Build date: Tue Jan 24 10:27:45 2023
Group: Unspecified Build host:
Size: 8542336 Source RPM: ocaml-cil-1.7.3-77.fc38.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






* 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
* 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



Generated by rpm2html 1.8.1

Fabrice Bellet, Thu May 9 22:19:29 2024