Mon, 25 Jan 2021 14:15:21 UTC

Information for build ocaml-cil-1.3.6-5.fc9

ID54988
Package Nameocaml-cil
Version1.3.6
Release5.fc9
Epoch
SummaryCIL - Infrastructure for C Program Analysis and Transformation
DescriptionCIL (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.
Built byrjones
State complete
Volume fedora_koji_archive00
StartedMon, 07 Jul 2008 10:48:51 UTC
CompletedMon, 07 Jul 2008 10:51:59 UTC
Taskbuild (dist-f9-updates-candidate, /cvs/pkgs:rpms/ocaml-cil/F-9:ocaml-cil-1_3_6-5_fc9)
Tags
dist-f9-updates
f9-build-cutoff
f9-cutoff
RPMs
src
ocaml-cil-1.3.6-5.fc9.src.rpm (info) (download)
i386
ocaml-cil-1.3.6-5.fc9.i386.rpm (info) (download)
ocaml-cil-cilly-1.3.6-5.fc9.i386.rpm (info) (download)
ocaml-cil-devel-1.3.6-5.fc9.i386.rpm (info) (download)
ocaml-cil-doc-1.3.6-5.fc9.i386.rpm (info) (download)
x86_64
ocaml-cil-1.3.6-5.fc9.x86_64.rpm (info) (download)
ocaml-cil-cilly-1.3.6-5.fc9.x86_64.rpm (info) (download)
ocaml-cil-devel-1.3.6-5.fc9.x86_64.rpm (info) (download)
ocaml-cil-doc-1.3.6-5.fc9.x86_64.rpm (info) (download)
Logs
i386
build.log
root.log
state.log
x86_64
build.log
root.log
state.log
Changelog * Mon Jul 07 2008 Richard W.M. Jones <rjones@redhat.com> - 1.3.6-5 - Fix Perl paths (rhbz#453759). * 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. * Mon Aug 20 2007 Richard W.M. Jones <rjones@redhat.com> - 1.3.6-2 - Initial RPM release.