Fri, 17 May 2024 03:14:42 UTC | login

Information for RPM ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64.rpm

ID781573
Nameocaml-cil
Version1.7.3
Release65.fc33.1.rvre0
Epoch
Archriscv64
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.
Build Time2021-04-25 07:52:26 GMT
Size2.73 MB
46e4742c632e7041bc30d455e2fb4fa7
LicenseBSD
Buildrootf33-build-597368-66909
Provides
ocaml(Alpha) = df15700f7494eb5ae35e11a32a4f8e3a
ocaml(Availexps) = f999b20c1398388511c42834b5f7675e
ocaml(Availexpslv) = 68039c0ccd73d41a374f254611e4bbbf
ocaml(Bitmap) = 7f39de54cfc0e95ecaee2bb488d441d8
ocaml(Cabs) = cf383ca701c90e5d48f3dd722150cde3
ocaml(Cabs2cil) = 73d924963e2f4a9c934e01447b208474
ocaml(Cabshelper) = 4487b15dfa72ac2382440dd05e7fee09
ocaml(Cabsvisit) = c6772ba2c513455942a78f65b5502ec1
ocaml(Callgraph) = c966200cc5bbbe21dbd6627ada621959
ocaml(Canonicalize) = 926217a0d8c1bc9c903a9aa8c44c0202
ocaml(Cfg) = 06d5d1466f1566f3aa72f7b4711564af
ocaml(Check) = cd5c3c028865f1d4a608a9f434ae66c0
ocaml(Cil) = 33c2edfc6b9c0d358b2bd80b0d8f57e3
ocaml(Cilint) = 9a745ed915633b56350eacb33d5b5f4b
ocaml(Cillower) = 93aff5d64e39baed79e85d3de5424b1a
ocaml(Ciloptions) = 19a82a0de540f9ad03b951e2a37cd672
ocaml(Ciltools) = 1030759195598971b8b2bd4e733a74e2
ocaml(Cilutil) = c2a788854774cc5f93d08ca46271a43e
ocaml(Cilversion) = b34ccafbddcf42b052165b856da32cec
ocaml(Clexer) = 80387ad43bb1bb991b444c6d65637902
ocaml(Clist) = f181fcf6ca71f0e12df957ff5fb869f9
ocaml(Cparser) = 81c666ba23ca4b991a741eeaaa38faa0
ocaml(Cprint) = da05afeae6e3b119b5c2c36218465d72
ocaml(Dataflow) = 91c84d72d9a908ac35689466a2c67f08
ocaml(Dataslicing) = 704d80c88fc0a927bff85aa524b000b0
ocaml(Deadcodeelim) = 7d371fb2090fee4355e998178862173e
ocaml(Dominators) = dab071a6e4b422b0b8feea2cc7d38c3c
ocaml(Epicenter) = e64ba2154a8feb12c3b3d508b2647131
ocaml(Errormsg) = 07baf304d21f9b4d0f3527f929f9329f
ocaml(Escape) = fb2f039462803fb6b41016c82ee3c212
ocaml(Expcompare) = 2475a49dc8af9c10c2c926201da78eef
ocaml(Feature_config) = 4ae9e78c3c563dbb3daa5a99ae76da85
ocaml(Formatcil) = 84a85615d1f25d4e37c5694f1f073bb8
ocaml(Formatlex) = 0fb2d2d17c86479b902ad472589aa738
ocaml(Formatparse) = 16ab84575bc1ca1481541fc62ecd6bd4
ocaml(Frontc) = 36256e4a3242422f2ddf60464653f4cf
ocaml(GrowArray) = 5f200ab5ce4190ca50a92496cbe0edf4
ocaml(Heap) = f3312d277b681b0adb8702bd614dab29
ocaml(Heapify) = a8242d1aaa82fc96190ec4a161aeea47
ocaml(Inthash) = abdf389be3819d822f76d66214f2fae6
ocaml(Lexerhack) = a7b5a4acb5c31e12e2e0798b16bdc9b4
ocaml(Liveness) = 6c02c4520c0b19254aecc2382e8ea6c3
ocaml(Llvm) = 2e943a03f37d3198dc0bcd609773a38a
ocaml(Llvmgen) = 167883b59fc63370ab8ccef159eb51f0
ocaml(Llvmssa) = 2f546c001210dc7653a867fdb7eed224
ocaml(Llvmutils) = ea962336d044e6f820be20f725c5ebec
ocaml(Logcalls) = 2c8862dabb5285bfdc2d482a9cd33952
ocaml(Logwrites) = 299b74c00604830c31b12f296d9113de
ocaml(Longarray) = bf0cce26c78a9fac6941d03b27e5c164
ocaml(Machdep) = d885452db1a112aa42ad0764f1416c4b
ocaml(Machdepenv) = e53c2dee562bb038ca14c3de1e0e17a4
ocaml(Mergecil) = d6734493f07643f8c2cd358f867f8d68
ocaml(Olf) = f367dc08fa219dfcba0f26450bf43f5d
ocaml(Oneret) = 1ce4306c27cc2ad01adf549bf28fe9d9
ocaml(Partial) = 06954b81927d6766a67e67c9e174a37c
ocaml(Patch) = 7cb7588a0d47bcf5a1d967cda755d0c7
ocaml(Predabst) = 5d6b06e8671e7e80a55db368b3b04c8c
ocaml(Pretty) = a9ddb0d9a4cccbc2b0a5e35ebc43bd12
ocaml(Ptranal) = c317a8992117188d5fadcf675b34bca7
ocaml(Reachingdefs) = 3bb151787d510dc50772379bb2b417e9
ocaml(Rmtmps) = 97c1a45d6a539951497b759f4ba735ae
ocaml(Setp) = 573aa9311fe5adb7f9935f536a93be82
ocaml(Sfi) = 6604dc31abd81760ae814b2a5b1f87cd
ocaml(Simplemem) = 2b58f52686e14c1090e970df6de09799
ocaml(Simplify) = 29131c3465ffbe952aafe7243aaee957
ocaml(Ssa) = 1fee3d209f541a5f0695d7fd2f7f881e
ocaml(Stats) = 3133f5c11b36948337bd8ca7a2161bc2
ocaml(Trace) = 3b8116ae45b4040c7d448d6ab21ab19f
ocaml(Uref) = 287fa54cfef840e47e5d5272cf556b92
ocaml(Usedef) = b08f03d77a9618b773a59b7c6a1f8696
ocaml(Util) = 5a5fb353947dddf24593e942d2f2c93b
ocaml(Whitetrack) = 7c270bc800dc38a299193915da5b84ca
ocaml-cil = 1.7.3-65.fc33.1.rvre0
ocaml-cil(riscv-64) = 1.7.3-65.fc33.1.rvre0
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(Alpha) = df15700f7494eb5ae35e11a32a4f8e3a
ocaml(Big_int) = dc25ad7b2afd2f71d443df3e2841f7da
ocaml(Bitmap) = 7f39de54cfc0e95ecaee2bb488d441d8
ocaml(Cabs) = cf383ca701c90e5d48f3dd722150cde3
ocaml(Cabs2cil) = 73d924963e2f4a9c934e01447b208474
ocaml(Cabshelper) = 4487b15dfa72ac2382440dd05e7fee09
ocaml(Cabsvisit) = c6772ba2c513455942a78f65b5502ec1
ocaml(Callgraph) = c966200cc5bbbe21dbd6627ada621959
ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1
ocaml(CamlinternalOO) = 9b49ddd063bfe999887d47e83d281c15
ocaml(Cfg) = 06d5d1466f1566f3aa72f7b4711564af
ocaml(Cil) = 33c2edfc6b9c0d358b2bd80b0d8f57e3
ocaml(Cilint) = 9a745ed915633b56350eacb33d5b5f4b
ocaml(Ciltools) = 1030759195598971b8b2bd4e733a74e2
ocaml(Cilutil) = c2a788854774cc5f93d08ca46271a43e
ocaml(Cilversion) = b34ccafbddcf42b052165b856da32cec
ocaml(Clexer) = 80387ad43bb1bb991b444c6d65637902
ocaml(Clist) = f181fcf6ca71f0e12df957ff5fb869f9
ocaml(Cparser) = 81c666ba23ca4b991a741eeaaa38faa0
ocaml(Cprint) = da05afeae6e3b119b5c2c36218465d72
ocaml(Dataflow) = 91c84d72d9a908ac35689466a2c67f08
ocaml(Errormsg) = 07baf304d21f9b4d0f3527f929f9329f
ocaml(Escape) = fb2f039462803fb6b41016c82ee3c212
ocaml(Expcompare) = 2475a49dc8af9c10c2c926201da78eef
ocaml(Formatlex) = 0fb2d2d17c86479b902ad472589aa738
ocaml(Formatparse) = 16ab84575bc1ca1481541fc62ecd6bd4
ocaml(Frontc) = 36256e4a3242422f2ddf60464653f4cf
ocaml(GrowArray) = 5f200ab5ce4190ca50a92496cbe0edf4
ocaml(Heap) = f3312d277b681b0adb8702bd614dab29
ocaml(Inthash) = abdf389be3819d822f76d66214f2fae6
ocaml(Lexerhack) = a7b5a4acb5c31e12e2e0798b16bdc9b4
ocaml(Liveness) = 6c02c4520c0b19254aecc2382e8ea6c3
ocaml(Llvmgen) = 167883b59fc63370ab8ccef159eb51f0
ocaml(Llvmssa) = 2f546c001210dc7653a867fdb7eed224
ocaml(Llvmutils) = ea962336d044e6f820be20f725c5ebec
ocaml(Longarray) = bf0cce26c78a9fac6941d03b27e5c164
ocaml(Machdep) = d885452db1a112aa42ad0764f1416c4b
ocaml(Machdepenv) = e53c2dee562bb038ca14c3de1e0e17a4
ocaml(Mergecil) = d6734493f07643f8c2cd358f867f8d68
ocaml(Nat) = dfdbe60a61f9c757582fa2a9237dc807
ocaml(Olf) = f367dc08fa219dfcba0f26450bf43f5d
ocaml(Patch) = 7cb7588a0d47bcf5a1d967cda755d0c7
ocaml(Pretty) = a9ddb0d9a4cccbc2b0a5e35ebc43bd12
ocaml(Ptranal) = c317a8992117188d5fadcf675b34bca7
ocaml(Reachingdefs) = 3bb151787d510dc50772379bb2b417e9
ocaml(Rmtmps) = 97c1a45d6a539951497b759f4ba735ae
ocaml(Setp) = 573aa9311fe5adb7f9935f536a93be82
ocaml(Stats) = 3133f5c11b36948337bd8ca7a2161bc2
ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d
ocaml(Stdlib__arg) = 93dbd397d18f68dd62193d6ee65a2b5a
ocaml(Stdlib__array) = 4528cb7f2202a96df7bc293599ce41ac
ocaml(Stdlib__bigarray) = 8f51e488a7f2bd0c6137bb9ba75b530e
ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481
ocaml(Stdlib__bytes) = 6f90f1d35d75f513a9ee53cebf3fbc27
ocaml(Stdlib__char) = cdee48235b2dbc08f40a0e2ec3824bc5
ocaml(Stdlib__complex) = 2221dce26021209ffd747f2125bf7f10
ocaml(Stdlib__filename) = b88c1b2c331fb92c75f13ee6d0d91977
ocaml(Stdlib__gc) = 5d6d09a276553c0d0c8ab63795fdc11d
ocaml(Stdlib__hashtbl) = b762db4e3b71657dfcfd14539af9611a
ocaml(Stdlib__int32) = 2e6c00c32474b3f4f0ca069a3eceab68
ocaml(Stdlib__int64) = 8da509b391e66cf2a7e37819728d5a15
ocaml(Stdlib__lexing) = c57f9c5debbcb9d656c70b1e7385c4f9
ocaml(Stdlib__list) = 15cef02558cc6576c616c84f09d5b0ea
ocaml(Stdlib__map) = 9d421c1da8aa330b734c69f7a2083439
ocaml(Stdlib__marshal) = f10cafdc69861beae3d2842ec2be689c
ocaml(Stdlib__nativeint) = 27bfaa776a5a329557cb5cebde7d21e0
ocaml(Stdlib__obj) = 387c3c41dccbee81a28b3728d6386b48
ocaml(Stdlib__parsing) = a1e21d363ae8b31ddf44cea20971b7de
ocaml(Stdlib__pervasives) = 76119ce30941328f65713c9e5efa6ead
ocaml(Stdlib__printexc) = 6e03ab07ea296513ab6af44b09129348
ocaml(Stdlib__printf) = 5cec2efa6f5a2459d17f2788deb783f2
ocaml(Stdlib__queue) = dba3e985c9c4016dae4b6f6d2b228c73
ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88
ocaml(Stdlib__set) = 5d365647a10f75c22f2b045a867b4d3e
ocaml(Stdlib__stack) = 3162780e8eebf1e37f8a42417fa1fe4b
ocaml(Stdlib__string) = 9d02da014acaf1dfdd63872e707eaed9
ocaml(Stdlib__sys) = 794924b786d5c3059c545cb526394520
ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96
ocaml(Str) = 69ca4b460c685490ba2f5d32f57b1172
ocaml(Trace) = 3b8116ae45b4040c7d448d6ab21ab19f
ocaml(Unix) = e6d191b089c68976347fa6524bb28048
ocaml(Uref) = 287fa54cfef840e47e5d5272cf556b92
ocaml(Usedef) = b08f03d77a9618b773a59b7c6a1f8696
ocaml(Util) = 5a5fb353947dddf24593e942d2f2c93b
ocaml(Whitetrack) = 7c270bc800dc38a299193915da5b84ca
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 78 >>>
Name ascending sort Size
/usr/lib64/ocaml/cil0.00 B
/usr/lib64/ocaml/cil/META139.00 B
/usr/lib64/ocaml/cil/alpha.cmi1.72 KB
/usr/lib64/ocaml/cil/availexps.cmi23.23 KB
/usr/lib64/ocaml/cil/availexpslv.cmi27.38 KB
/usr/lib64/ocaml/cil/bitmap.cmi2.39 KB
/usr/lib64/ocaml/cil/cabs.cmi13.99 KB
/usr/lib64/ocaml/cil/cabs2cil.cmi1.84 KB
/usr/lib64/ocaml/cil/cabshelper.cmi2.14 KB
/usr/lib64/ocaml/cil/cabsvisit.cmi6.72 KB
/usr/lib64/ocaml/cil/callgraph.cmi1.64 KB
/usr/lib64/ocaml/cil/canonicalize.cmi555.00 B
/usr/lib64/ocaml/cil/cfg.cmi1.32 KB
/usr/lib64/ocaml/cil/check.cmi822.00 B
/usr/lib64/ocaml/cil/cil.cma8.11 MB
/usr/lib64/ocaml/cil/cil.cmi86.97 KB
/usr/lib64/ocaml/cil/cilint.cmi3.82 KB
/usr/lib64/ocaml/cil/cillower.cmi546.00 B
/usr/lib64/ocaml/cil/ciloptions.cmi587.00 B
/usr/lib64/ocaml/cil/ciltools.cmi13.02 KB
/usr/lib64/ocaml/cil/cilutil.cmi1.47 KB
/usr/lib64/ocaml/cil/cilversion.cmi465.00 B
/usr/lib64/ocaml/cil/clexer.cmi1.44 KB
/usr/lib64/ocaml/cil/clist.cmi2.08 KB
/usr/lib64/ocaml/cil/cparser.cmi8.94 KB
/usr/lib64/ocaml/cil/cprint.cmi7.17 KB
/usr/lib64/ocaml/cil/dataflow.cmi4.31 KB
/usr/lib64/ocaml/cil/dataslicing.cmi552.00 B
/usr/lib64/ocaml/cil/deadcodeelim.cmi19.97 KB
/usr/lib64/ocaml/cil/dominators.cmi2.08 KB
/usr/lib64/ocaml/cil/epicenter.cmi1.20 KB
/usr/lib64/ocaml/cil/errormsg.cmi5.45 KB
/usr/lib64/ocaml/cil/escape.cmi756.00 B
/usr/lib64/ocaml/cil/expcompare.cmi5.48 KB
/usr/lib64/ocaml/cil/feature_config.cmi571.00 B
/usr/lib64/ocaml/cil/formatcil.cmi2.72 KB
/usr/lib64/ocaml/cil/formatlex.cmi2.94 KB
/usr/lib64/ocaml/cil/formatparse.cmi10.05 KB
/usr/lib64/ocaml/cil/frontc.cmi1.11 KB
/usr/lib64/ocaml/cil/growArray.cmi3.44 KB
/usr/lib64/ocaml/cil/heap.cmi1.32 KB
/usr/lib64/ocaml/cil/heapify.cmi13.30 KB
/usr/lib64/ocaml/cil/inthash.cmi2.48 KB
/usr/lib64/ocaml/cil/lexerhack.cmi914.00 B
/usr/lib64/ocaml/cil/liveness.cmi16.32 KB
/usr/lib64/ocaml/cil/llvm.cmi1.06 KB
/usr/lib64/ocaml/cil/llvmgen.cmi12.65 KB
/usr/lib64/ocaml/cil/llvmssa.cmi1.32 KB
/usr/lib64/ocaml/cil/llvmutils.cmi2.66 KB
/usr/lib64/ocaml/cil/logcalls.cmi543.00 B
Component of No Buildroots