ocaml-cil-1.3.6-7.fc10 RPM for x86_64

From Fedora Development for x86_64

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

• ocaml-cil

Copyright

BSD

Signatures

internal MD5: 6e877e2342ce9ac7bf906b3d672ff0f1

GPG

Changelog

* Wed Sep 03 2008 Richard W.M. Jones <rjones@redhat.com> - 1.3.6-7
  - Prevent unwanted bytecode stripping by RPM and prelink.
  - Place *.ml files into the -devel subpackage.
* Tue Jul 08 2008 Richard W.M. Jones <rjones@redhat.com> - 1.3.6-6
  - Fix Perl paths (rhbz#453759).
* Thu Apr 24 2008 Richard W.M. Jones <rjones@redhat.com> - 1.3.6-5
  - Rebuild for OCaml 3.10.2
* Wed Nov 07 2007 Richard W.M. Jones <rjones@redhat.com> - 1.3.6-4
  - ExcludeArch ppc - CIL doesn't build on PPC as it turns out.
* Wed Nov 07 2007 Richard W.M. Jones <rjones@redhat.com> - 1.3.6-3
  - Change upstream URL.
  - perl(CilConfig) set to package version
  - Split out documentation into a separate -doc package.
* Tue Aug 21 2007 Richard W.M. Jones <rjones@redhat.com> - 1.3.6-2
  - Initial RPM release.

Files

h* 

Generated by rpm2html 1.8.1

Daniel Veillard, Sat Jan 3 03:33:40 2009