Tue, 16 Aug 2022 00:07:06 UTC

Information for build ocaml-cil-1.7.3-45.fc29

ID1177919
Package Nameocaml-cil
Version1.7.3
Release45.fc29
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ocaml-cil.git#2c808962e56096c7a1896ece8e22358f8897c0d6
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_archive04
StartedTue, 08 Jan 2019 13:46:20 UTC
CompletedTue, 08 Jan 2019 13:56:45 UTC
Taskbuild (f29-candidate, /rpms/ocaml-cil.git:2c808962e56096c7a1896ece8e22358f8897c0d6)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-cil.git#2c808962e56096c7a1896ece8e22358f8897c0d6'}}
Tags
f29-updates
RPMs
src
ocaml-cil-1.7.3-45.fc29.src.rpm (info) (download)
aarch64
ocaml-cil-1.7.3-45.fc29.aarch64.rpm (info) (download)
ocaml-cil-cilly-1.7.3-45.fc29.aarch64.rpm (info) (download)
ocaml-cil-devel-1.7.3-45.fc29.aarch64.rpm (info) (download)
ocaml-cil-doc-1.7.3-45.fc29.aarch64.rpm (info) (download)
ocaml-cil-cilly-debuginfo-1.7.3-45.fc29.aarch64.rpm (info) (download)
ocaml-cil-debugsource-1.7.3-45.fc29.aarch64.rpm (info) (download)
armv7hl
ocaml-cil-1.7.3-45.fc29.armv7hl.rpm (info) (download)
ocaml-cil-cilly-1.7.3-45.fc29.armv7hl.rpm (info) (download)
ocaml-cil-devel-1.7.3-45.fc29.armv7hl.rpm (info) (download)
ocaml-cil-doc-1.7.3-45.fc29.armv7hl.rpm (info) (download)
ocaml-cil-cilly-debuginfo-1.7.3-45.fc29.armv7hl.rpm (info) (download)
ocaml-cil-debugsource-1.7.3-45.fc29.armv7hl.rpm (info) (download)
i686
ocaml-cil-1.7.3-45.fc29.i686.rpm (info) (download)
ocaml-cil-cilly-1.7.3-45.fc29.i686.rpm (info) (download)
ocaml-cil-devel-1.7.3-45.fc29.i686.rpm (info) (download)
ocaml-cil-doc-1.7.3-45.fc29.i686.rpm (info) (download)
ocaml-cil-cilly-debuginfo-1.7.3-45.fc29.i686.rpm (info) (download)
ocaml-cil-debugsource-1.7.3-45.fc29.i686.rpm (info) (download)
ppc64le
ocaml-cil-1.7.3-45.fc29.ppc64le.rpm (info) (download)
ocaml-cil-cilly-1.7.3-45.fc29.ppc64le.rpm (info) (download)
ocaml-cil-devel-1.7.3-45.fc29.ppc64le.rpm (info) (download)
ocaml-cil-doc-1.7.3-45.fc29.ppc64le.rpm (info) (download)
ocaml-cil-cilly-debuginfo-1.7.3-45.fc29.ppc64le.rpm (info) (download)
ocaml-cil-debugsource-1.7.3-45.fc29.ppc64le.rpm (info) (download)
s390x
ocaml-cil-1.7.3-45.fc29.s390x.rpm (info) (download)
ocaml-cil-cilly-1.7.3-45.fc29.s390x.rpm (info) (download)
ocaml-cil-devel-1.7.3-45.fc29.s390x.rpm (info) (download)
ocaml-cil-doc-1.7.3-45.fc29.s390x.rpm (info) (download)
ocaml-cil-cilly-debuginfo-1.7.3-45.fc29.s390x.rpm (info) (download)
ocaml-cil-debugsource-1.7.3-45.fc29.s390x.rpm (info) (download)
x86_64
ocaml-cil-1.7.3-45.fc29.x86_64.rpm (info) (download)
ocaml-cil-cilly-1.7.3-45.fc29.x86_64.rpm (info) (download)
ocaml-cil-devel-1.7.3-45.fc29.x86_64.rpm (info) (download)
ocaml-cil-doc-1.7.3-45.fc29.x86_64.rpm (info) (download)
ocaml-cil-cilly-debuginfo-1.7.3-45.fc29.x86_64.rpm (info) (download)
ocaml-cil-debugsource-1.7.3-45.fc29.x86_64.rpm (info) (download)
Logs
x86_64
hw_info.log
build.log
root.log
state.log
mock_output.log
ppc64le
hw_info.log
root.log
state.log
build.log
mock_output.log
aarch64
state.log
root.log
hw_info.log
build.log
mock_output.log
i686
root.log
build.log
hw_info.log
state.log
mock_output.log
s390x
hw_info.log
state.log
build.log
root.log
mock_output.log
armv7hl
state.log
root.log
build.log
hw_info.log
mock_output.log
Changelog * 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 * Tue Jun 27 2017 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-35 - OCaml 4.04.2 rebuild. * Wed Jun 07 2017 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-34 - Perl 5.26 re-rebuild of bootstrapped packages * Wed Jun 07 2017 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-33 - Rebuild against ocamlfind 1.7.3. * Sun Jun 04 2017 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-32 - Perl 5.26 rebuild * Mon May 22 2017 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-31 - Fix unescaped left brace in regex * Sat May 13 2017 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-30 - OCaml 4.04.1 rebuild. * Tue Feb 14 2017 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-29 - Fix compilation with GCC 7. * Sat Feb 11 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-28 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild