Sat, 01 Mar 2025 21:17:55 UTC | login

Information for build ocaml-cil-1.7.3-75.fc37

ID200858
Package Nameocaml-cil
Version1.7.3
Release75.fc37
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ocaml-cil.git#7281f38ec307a0aafda9020485cf04addcd23e18
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
StartedFri, 07 Oct 2022 20:20:45 UTC
CompletedFri, 07 Oct 2022 22:05:40 UTC
Taskbuild (f37, /rpms/ocaml-cil.git:7281f38ec307a0aafda9020485cf04addcd23e18)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-cil.git#7281f38ec307a0aafda9020485cf04addcd23e18'}}
Tags
f37
f38
RPMs
src
ocaml-cil-1.7.3-75.fc37.src.rpm (info) (download)
riscv64
ocaml-cil-1.7.3-75.fc37.riscv64.rpm (info) (download)
ocaml-cil-cilly-1.7.3-75.fc37.riscv64.rpm (info) (download)
ocaml-cil-devel-1.7.3-75.fc37.riscv64.rpm (info) (download)
ocaml-cil-doc-1.7.3-75.fc37.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-75 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Sat Jun 18 2022 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-74 - OCaml 4.14.0 rebuild * Wed Jun 01 2022 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-73 - Perl 5.36 rebuild * Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-72 - OCaml 4.13.1 rebuild to remove package notes * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-71 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-70 - OCaml 4.13.1 build * Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-69 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Sat May 22 2021 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-68 - Perl 5.34 rebuild * Mon Mar 01 2021 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-67 - OCaml 4.12.0 build * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-66 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-65 - OCaml 4.11.1 rebuild * Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-64 - OCaml 4.11.0 rebuild * Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-63 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-62 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild