SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ocaml-cil rpm build for : Fedora 31. For other distributions click ocaml-cil.

Name : ocaml-cil
Version : 1.7.3 Vendor : Fedora Project
Release : 51.fc31 Date : 2019-07-31 20:15:22
Group : Unspecified Source RPM : ocaml-cil-1.7.3-51.fc31.src.rpm
Size : 6.91 MB
Packager : Fedora Project
Summary : CIL - Infrastructure for C Program Analysis and Transformation
Description :
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.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/31/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-cil-1.7.3-51.fc31.x86_64.rpm
     

Provides :
ocaml(Alpha)
ocaml(Availexps)
ocaml(Availexpslv)
ocaml(Bitmap)
ocaml(Cabs)
ocaml(Cabs2cil)
ocaml(Cabshelper)
ocaml(Cabsvisit)
ocaml(Callgraph)
ocaml(Canonicalize)
ocaml(Cfg)
ocaml(Check)
ocaml(Cil)
ocaml(Cilint)
ocaml(Cillower)
ocaml(Ciloptions)
ocaml(Ciltools)
ocaml(Cilutil)
ocaml(Cilversion)
ocaml(Clexer)
ocaml(Clist)
ocaml(Cparser)
ocaml(Cprint)
ocaml(Dataflow)
ocaml(Dataslicing)
ocaml(Deadcodeelim)
ocaml(Dominators)
ocaml(Epicenter)
ocaml(Errormsg)
ocaml(Escape)
ocaml(Expcompare)
ocaml(Feature_config)
ocaml(Formatcil)
ocaml(Formatlex)
ocaml(Formatparse)
ocaml(Frontc)
ocaml(GrowArray)
ocaml(Heap)
ocaml(Heapify)
ocaml(Inthash)
ocaml(Lexerhack)
ocaml(Liveness)
ocaml(Llvm)
ocaml(Llvmgen)
ocaml(Llvmssa)
ocaml(Llvmutils)
ocaml(Logcalls)
ocaml(Logwrites)
ocaml(Longarray)
ocaml(Machdep)
ocaml(Machdepenv)
ocaml(Mergecil)
ocaml(Olf)
ocaml(Oneret)
ocaml(Partial)
ocaml(Patch)
ocaml(Predabst)
ocaml(Pretty)
ocaml(Ptranal)
ocaml(Reachingdefs)
ocaml(Rmtmps)
ocaml(Setp)
ocaml(Sfi)
ocaml(Simplemem)
ocaml(Simplify)
ocaml(Ssa)
ocaml(Stats)
ocaml(Trace)
ocaml(Uref)
ocaml(Usedef)
ocaml(Util)
ocaml(Whitetrack)
ocaml-cil
ocaml-cil(x86-64)

Requires :
ocaml(Big_int) = ef98a40185395a8404538aef56b9280c
ocaml(Cabs) = 3f51d70f52f1a20fccda1e18e9f482c1
ocaml(Callgraph) = d0e3a198b45ab63ea9626d353c65ce02
ocaml(CamlinternalFormatBasics) = a2b1a9d869fd05813beb35645bd9cd94
ocaml(CamlinternalOO) = d36e44265a1abc6fe38b4d90a9e29d76
ocaml(Cfg) = 8f86fb396e862dcfd1b91f3143793a7b
ocaml(Cil) = 637ebbfd9af4c85458f277b8a8d7f34a
ocaml(Cilint) = 8c72fdc04cbb38380a14280eb83d8f43
ocaml(Ciltools) = 4df16f4bf94b2f3f8309cfbf2739d529
ocaml(Cilutil) = ba2da1ac981f55170b3806d803d0becc
ocaml(Cparser) = 5dc8257bb1357dcd5bbb3e3fdb98e7cb
ocaml(Dataflow) = 905c70c05a513a4df96b5c6cea9d579d
ocaml(Errormsg) = 2d390fbc113ff675cbafbc20b81a9d6f
ocaml(Escape) = 36e3c37f1bf8fd1867b924d0ee24e8c1
ocaml(Expcompare) = 87704a4ac0e565df1ae8b8df32583a58
ocaml(Formatparse) = 5ab6cb0c50976869663b5af2417715a3
ocaml(GrowArray) = cac8c7e8ded229bec2d323866afd87ff
ocaml(Heap) = 4e55af3421e35098e440dffa435659d8
ocaml(Inthash) = fbcde9b4292dea4b0fcbc400c5e7d041
ocaml(Lexerhack) = 8cf86ba7b492a23a52e8be3a5612d56a
ocaml(Liveness) = 6990360e5b7b5536aa632463a63eacd2
ocaml(Llvmgen) = 676f03c5cdbfeb71d97fa6d1d731a5ac
ocaml(Llvmssa) = d5ea7616906e2eb4854373a7178fdbdd
ocaml(Llvmutils) = 4fcf169ec3d188da37a9329cfeb5180e
ocaml(Machdep) = 5a86f13b5fde436ba2af6055727c8564
ocaml(Nat) = 3b5a98c5ad682c732c4b9bccc063982a
ocaml(Pretty) = 91c39cc44637d4209613f216c70440bc
ocaml(Ptranal) = 7efb7290a0be3337a8fe887131ce6e9c
ocaml(Reachingdefs) = 24474d47f6c72b95d5754bae6ec7ba99
ocaml(Rmtmps) = 0614fcf60720469553787edb7c22f74b
ocaml(Stats) = ec77aac0ccbd84a551d9ad9d27e38f23
ocaml(Stdlib) = ad45f251bbf98d3a0bf3b883546ecfc8
ocaml(Stdlib__arg) = 5946cffdb65af107c239a1dd5b0b22b7
ocaml(Stdlib__array) = 8412db19ee2dd682a114d363bf147818
ocaml(Stdlib__bigarray) = a39abb3f899c4b4ea72b1eda931404b8
ocaml(Stdlib__buffer) = 35866fa9f82ad0886b2ccd0a86f2e1e6
ocaml(Stdlib__bytes) = 6b7074af78d2fce4ff8323a7d4e5ea0d
ocaml(Stdlib__char) = 1f7aaa002e7504e2fcb18665bf17141d
ocaml(Stdlib__complex) = 3e86422b431ff5c172197d51a2afdd52
ocaml(Stdlib__filename) = 620b1f6f6d9c32af927183ef4ceedb7a
ocaml(Stdlib__gc) = 970a1de1bd727bfd42430520e49734ec
ocaml(Stdlib__hashtbl) = 8a0f9b54a9d30b1aeff83f4bae88dfde
ocaml(Stdlib__int32) = 9de27084a784cd13eb5e5552ddbd6b4e
ocaml(Stdlib__int64) = 131e92719192bf020f99efe1afb0007c
ocaml(Stdlib__lexing) = cf953e945260781e23991e3991f9d5b0
ocaml(Stdlib__list) = fa1a1736c894577d834b1d79f2682a7e
ocaml(Stdlib__map) = 24753f5ffed358ea157f8ab4f298d015
ocaml(Stdlib__marshal) = 9bb0b41541bcb3287f866eecd2bb119e
ocaml(Stdlib__nativeint) = 1299f64d64f7c776695f30edab0d4d78
ocaml(Stdlib__obj) = 9f725e74fc3209d50af4a35f74f18b53
ocaml(Stdlib__parsing) = f6f0e3b8fd70ad0e13eaee95a6d4003b
ocaml(Stdlib__pervasives) = ffb0eefbca3d14a1a48cbcb24e4eb181
ocaml(Stdlib__printexc) = 0385c022af1089101c5830e076b89d37
ocaml(Stdlib__printf) = b72a44ed259e7034497028c0b31e9fa1
ocaml(Stdlib__queue) = 0e53521dd09e6bd3fb5bff6dbaa5b840
ocaml(Stdlib__seq) = 359c95515bb2842e5ad1497a5b684136
ocaml(Stdlib__set) = 579516330b5c99c94e9cea433159c1ef
ocaml(Stdlib__stack) = 607d26d00f135f62976f5b252e211e79
ocaml(Stdlib__string) = 89dc8c0e4f92ce704437ae3fafad684f
ocaml(Stdlib__sys) = 13aa7b95294684724e198467fb7c3467
ocaml(Stdlib__uchar) = db24a5ebd1625809ae883920f16c2526
ocaml(Str) = 8f606ab43354811d8e27aa499347d0bb
ocaml(Trace) = 37c57f92e094dbcc8b3b9c785d441691
ocaml(Unix) = 323356c8c72d73e9e59421c988efd3aa
ocaml(Usedef) = 397550b7f40cf9ac69f8b69d46d834b9
ocaml(Util) = dbdddaf64ebd93adeaf80557ba86f79d
ocaml(Whitetrack) = 861222673586353e47761deb563f02b8
ocaml(runtime) = 4.08.1
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1


Content of RPM :
/usr/lib64/ocaml/cil
/usr/lib64/ocaml/cil/META
/usr/lib64/ocaml/cil/alpha.cmi
/usr/lib64/ocaml/cil/availexps.cmi
/usr/lib64/ocaml/cil/availexpslv.cmi
/usr/lib64/ocaml/cil/bitmap.cmi
/usr/lib64/ocaml/cil/cabs.cmi
/usr/lib64/ocaml/cil/cabs2cil.cmi
/usr/lib64/ocaml/cil/cabshelper.cmi
/usr/lib64/ocaml/cil/cabsvisit.cmi
/usr/lib64/ocaml/cil/callgraph.cmi
/usr/lib64/ocaml/cil/canonicalize.cmi
/usr/lib64/ocaml/cil/cfg.cmi
/usr/lib64/ocaml/cil/check.cmi
/usr/lib64/ocaml/cil/cil.cma
/usr/lib64/ocaml/cil/cil.cmi
/usr/lib64/ocaml/cil/cilint.cmi
/usr/lib64/ocaml/cil/cillower.cmi
/usr/lib64/ocaml/cil/ciloptions.cmi
/usr/lib64/ocaml/cil/ciltools.cmi
/usr/lib64/ocaml/cil/cilutil.cmi
/usr/lib64/ocaml/cil/cilversion.cmi
/usr/lib64/ocaml/cil/clexer.cmi
/usr/lib64/ocaml/cil/clist.cmi
/usr/lib64/ocaml/cil/cparser.cmi
/usr/lib64/ocaml/cil/cprint.cmi
/usr/lib64/ocaml/cil/dataflow.cmi
/usr/lib64/ocaml/cil/dataslicing.cmi
/usr/lib64/ocaml/cil/deadcodeelim.cmi
/usr/lib64/ocaml/cil/dominators.cmi
There is 48 files more in these RPM.

 
ICM