ocaml-cil-1.7.3-49.fc31 | Build Info

Information for build ocaml-cil-1.7.3-49.fc31

91028

Package Name

ocaml-cil

Version

1.7.3

Release

49.fc31

Epoch

Source

git+https://src.fedoraproject.org/rpms/ocaml-cil.git#bc73b4cfd943306e50631a1a337abdb879d7f128

Summary

CIL - Infrastructure for C Program Analysis and Transformation

Description

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.

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Wed, 24 Jul 2019 11:32:07 UTC

Completed

Wed, 24 Jul 2019 15:26:24 UTC

Task

build (f31-candidate, /rpms/ocaml-cil.git:bc73b4cfd943306e50631a1a337abdb879d7f128)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-cil.git#bc73b4cfd943306e50631a1a337abdb879d7f128'}}

Tags

f31

f32

f33

RPMs

src
	ocaml-cil-1.7.3-49.fc31.src.rpm (info) (download)
riscv64
	ocaml-cil-1.7.3-49.fc31.riscv64.rpm (info) (download)
	ocaml-cil-cilly-1.7.3-49.fc31.riscv64.rpm (info) (download)
	ocaml-cil-devel-1.7.3-49.fc31.riscv64.rpm (info) (download)
	ocaml-cil-doc-1.7.3-49.fc31.riscv64.rpm (info) (download)
	ocaml-cil-cilly-debuginfo-1.7.3-49.fc31.riscv64.rpm (info) (download)
	ocaml-cil-debugsource-1.7.3-49.fc31.riscv64.rpm (info) (download)

Logs

riscv64
	build.log
	hw_info.log
	mock_output.log
	root.log
	state.log

Changelog

* Thu Jun 27 2019 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-49 - OCaml 4.08.0 (final) rebuild. * Sat Jun 01 2019 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-48 - Perl 5.30 rebuild * Mon Apr 29 2019 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-47 - OCaml 4.08.0 (beta 3) rebuild. * Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-46 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Tue Jan 08 2019 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-45 - hevea now generates *.svg instead of *.gif (RHBZ#1664307). * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-44 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-43 - OCaml 4.07.0 (final) rebuild. * Fri Jun 29 2018 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-42 - Perl 5.28 rebuild * Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-41 - OCaml 4.07.0-rc1 rebuild. * Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-40 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Wed Nov 22 2017 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-39 - OCaml 4.06.0 rebuild. - Fixes for -safe-string. - Stop using opt macro. - Enable debuginfo on all architectures. * Tue Aug 08 2017 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-38 - OCaml 4.05.0 rebuild. * Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-37 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-36 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild

Main Site Links:

Information for build ocaml-cil-1.7.3-49.fc31