Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ocaml-cil-1.7.3-65.fc33.1 RPM for armv7hl

From Fedora 33 testing updates for armhfp / Packages / o

Name: ocaml-cil Distribution: Fedora Project
Version: 1.7.3 Vendor: Fedora Project
Release: 65.fc33.1 Build date: Wed Sep 2 22:22:00 2020
Group: Unspecified Build host: buildvm-a32-13.iad2.fedoraproject.org
Size: 9010333 Source RPM: ocaml-cil-1.7.3-65.fc33.1.src.rpm
Packager: Fedora Project
Url: https://github.com/cil-project/cil
Summary: CIL - Infrastructure for C Program Analysis and Transformation
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.

Provides

Requires

License

BSD

Changelog

* 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.
* 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).

Files

/usr/lib/ocaml/cil
/usr/lib/ocaml/cil/META
/usr/lib/ocaml/cil/alpha.cmi
/usr/lib/ocaml/cil/availexps.cmi
/usr/lib/ocaml/cil/availexpslv.cmi
/usr/lib/ocaml/cil/bitmap.cmi
/usr/lib/ocaml/cil/cabs.cmi
/usr/lib/ocaml/cil/cabs2cil.cmi
/usr/lib/ocaml/cil/cabshelper.cmi
/usr/lib/ocaml/cil/cabsvisit.cmi
/usr/lib/ocaml/cil/callgraph.cmi
/usr/lib/ocaml/cil/canonicalize.cmi
/usr/lib/ocaml/cil/cfg.cmi
/usr/lib/ocaml/cil/check.cmi
/usr/lib/ocaml/cil/cil.cma
/usr/lib/ocaml/cil/cil.cmi
/usr/lib/ocaml/cil/cilint.cmi
/usr/lib/ocaml/cil/cillower.cmi
/usr/lib/ocaml/cil/ciloptions.cmi
/usr/lib/ocaml/cil/ciltools.cmi
/usr/lib/ocaml/cil/cilutil.cmi
/usr/lib/ocaml/cil/cilversion.cmi
/usr/lib/ocaml/cil/clexer.cmi
/usr/lib/ocaml/cil/clist.cmi
/usr/lib/ocaml/cil/cparser.cmi
/usr/lib/ocaml/cil/cprint.cmi
/usr/lib/ocaml/cil/dataflow.cmi
/usr/lib/ocaml/cil/dataslicing.cmi
/usr/lib/ocaml/cil/deadcodeelim.cmi
/usr/lib/ocaml/cil/dominators.cmi
/usr/lib/ocaml/cil/epicenter.cmi
/usr/lib/ocaml/cil/errormsg.cmi
/usr/lib/ocaml/cil/escape.cmi
/usr/lib/ocaml/cil/expcompare.cmi
/usr/lib/ocaml/cil/feature_config.cmi
/usr/lib/ocaml/cil/formatcil.cmi
/usr/lib/ocaml/cil/formatlex.cmi
/usr/lib/ocaml/cil/formatparse.cmi
/usr/lib/ocaml/cil/frontc.cmi
/usr/lib/ocaml/cil/growArray.cmi
/usr/lib/ocaml/cil/heap.cmi
/usr/lib/ocaml/cil/heapify.cmi
/usr/lib/ocaml/cil/inthash.cmi
/usr/lib/ocaml/cil/lexerhack.cmi
/usr/lib/ocaml/cil/liveness.cmi
/usr/lib/ocaml/cil/llvm.cmi
/usr/lib/ocaml/cil/llvmgen.cmi
/usr/lib/ocaml/cil/llvmssa.cmi
/usr/lib/ocaml/cil/llvmutils.cmi
/usr/lib/ocaml/cil/logcalls.cmi
/usr/lib/ocaml/cil/logwrites.cmi
/usr/lib/ocaml/cil/longarray.cmi
/usr/lib/ocaml/cil/machdep.cmi
/usr/lib/ocaml/cil/machdepenv.cmi
/usr/lib/ocaml/cil/mergecil.cmi
/usr/lib/ocaml/cil/olf.cmi
/usr/lib/ocaml/cil/oneret.cmi
/usr/lib/ocaml/cil/partial.cmi
/usr/lib/ocaml/cil/patch.cmi
/usr/lib/ocaml/cil/predabst.cmi
/usr/lib/ocaml/cil/pretty.cmi
/usr/lib/ocaml/cil/ptranal.cmi
/usr/lib/ocaml/cil/reachingdefs.cmi
/usr/lib/ocaml/cil/rmtmps.cmi
/usr/lib/ocaml/cil/setp.cmi
/usr/lib/ocaml/cil/sfi.cmi
/usr/lib/ocaml/cil/simplemem.cmi
/usr/lib/ocaml/cil/simplify.cmi
/usr/lib/ocaml/cil/ssa.cmi
/usr/lib/ocaml/cil/stats.cmi
/usr/lib/ocaml/cil/trace.cmi
/usr/lib/ocaml/cil/uref.cmi
/usr/lib/ocaml/cil/usedef.cmi
/usr/lib/ocaml/cil/util.cmi
/usr/lib/ocaml/cil/whitetrack.cmi
/usr/share/doc/ocaml-cil
/usr/share/doc/ocaml-cil/LICENSE
/usr/share/doc/ocaml-cil/README.md


Generated by rpm2html 1.8.1

Fabrice Bellet, Mon May 9 16:36:51 2022