Thu, 02 May 2024 08:33:04 UTC | login

Information for build ocaml-cil-1.7.3-65.fc33.1.rvre0

ID195187
Package Nameocaml-cil
Version1.7.3
Release65.fc33.1.rvre0
Epoch
Sourcegit+http://fedora.riscv.rocks:3000/rpms/ocaml-cil.git#bd1961ec0f7dfc72505d415b5a1d998fc040bea7
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
StartedSun, 25 Apr 2021 07:08:58 UTC
CompletedSun, 25 Apr 2021 08:19:30 UTC
Taskbuild (f33, /rpms/ocaml-cil.git:bd1961ec0f7dfc72505d415b5a1d998fc040bea7)
Extra{'source': {'original_url': 'git+http://fedora.riscv.rocks:3000/rpms/ocaml-cil.git#bd1961ec0f7dfc72505d415b5a1d998fc040bea7'}}
Tags
f33
f37
f38
RPMs
src
ocaml-cil-1.7.3-65.fc33.1.rvre0.src.rpm (info) (download)
riscv64
ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64.rpm (info) (download)
ocaml-cil-cilly-1.7.3-65.fc33.1.rvre0.riscv64.rpm (info) (download)
ocaml-cil-devel-1.7.3-65.fc33.1.rvre0.riscv64.rpm (info) (download)
ocaml-cil-doc-1.7.3-65.fc33.1.rvre0.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 1.7.3-65.1.rvre0 - Rebuilt for Fedora RISCV, no changes * Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-65.1 - Bump release and 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 * Thu Jun 25 2020 Jitka Plesnikova <jplesnik@redhat.com> - 1.7.3-61 - Perl 5.32 rebuild * Mon May 04 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-60 - OCaml 4.11.0+dev2-2020-04-22 rebuild * Tue Apr 21 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-59 - OCaml 4.11.0 pre-release attempt 2 * Fri Apr 17 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-58 - OCaml 4.11.0 pre-release * Fri Apr 03 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-57 - Update all OCaml dependencies for RPM 4.16. * Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-56 - OCaml 4.10.0 final. * Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-55 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-54 - OCaml 4.10.0+beta1 rebuild. * Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-53 - OCaml 4.09.0 (final) rebuild. * Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-52 - OCaml 4.08.1 (final) rebuild. * Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-51 - OCaml 4.08.1 (rc2) rebuild. * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-50 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * 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.