Wed, 01 May 2024 23:49:28 UTC | login

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

ID52191
Package Nameocaml-cil
Version1.7.3
Release44.fc29
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 bydavidlt
State complete
Volume DEFAULT
StartedSat, 25 Aug 2018 10:44:00 UTC
CompletedSat, 25 Aug 2018 11:32:26 UTC
Taskbuild (f29-candidate, ocaml-cil-1.7.3-44.fc29.src.rpm)
Tags
f29
f30
f31
RPMs
src
ocaml-cil-1.7.3-44.fc29.src.rpm (info) (download)
riscv64
ocaml-cil-1.7.3-44.fc29.riscv64.rpm (info) (download)
ocaml-cil-cilly-1.7.3-44.fc29.riscv64.rpm (info) (download)
ocaml-cil-devel-1.7.3-44.fc29.riscv64.rpm (info) (download)
ocaml-cil-doc-1.7.3-44.fc29.riscv64.rpm (info) (download)
ocaml-cil-cilly-debuginfo-1.7.3-44.fc29.riscv64.rpm (info) (download)
ocaml-cil-debugsource-1.7.3-44.fc29.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * 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 * Mon Nov 07 2016 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-27 - Rebuild for OCaml 4.04.0. - Add explicit dependency on ocamlbuild. * Wed Oct 19 2016 Dan Horák <dan[at]danny.cz> - 1.7.3-26 - disable debuginfo subpackage on interpreted builds