Tue, 03 Dec 2024 00:39:51 UTC | login

Information for RPM ocaml-cil-1.7.3-40.fc29.riscv64.rpm

ID156736
Nameocaml-cil
Version1.7.3
Release40.fc29
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 Time2018-06-30 19:52:01 GMT
Size2.21 MB
b07e1653d5fdee7d8e6f82335dc73455
LicenseBSD
Buildrootf29-build-15555-7351
Provides
ocaml(Alpha) = 58a373623f9157bc92bb20ae40570105
ocaml(Availexps) = 1bf3f454a7d79c5403fbfd9a4d21ade9
ocaml(Availexpslv) = b76321ebbe74646763227e0a33f32aa5
ocaml(Bitmap) = 5392c20293967609ea13b7491781c174
ocaml(Cabs) = b1639ab096fd6d6d59762896e3f564bb
ocaml(Cabs2cil) = 37d22f118ea5e26f838bece939f6cbd9
ocaml(Cabshelper) = cadeecd4c64ad512db666d273cfc452e
ocaml(Cabsvisit) = 9bbb72a58a2b13fcbc602f5ab142ce95
ocaml(Callgraph) = 7760652e2c4edec144e4e4b3a99734a9
ocaml(Canonicalize) = efb2b6c4afeb7832a39784c27186b179
ocaml(Cfg) = 0b6b34bade63bb25ff57c1c9b1a950f0
ocaml(Check) = fe5c8faa838214030b200a1b20d1a591
ocaml(Cil) = db9cd91c1309c62cfa6459ae29439539
ocaml(Cilint) = d5cf8342d29493bd7770e0f45caf36b9
ocaml(Cillower) = d7bc77ed93cc97c7bd2522055f3857ab
ocaml(Ciloptions) = 027656dc5495c77a2edcdfe0ad1f4a4c
ocaml(Ciltools) = d00286a7e42c45046ab455d992341bb0
ocaml(Cilutil) = b432716568c97d1e82ad7c0a6c194197
ocaml(Cilversion) = 7e7c30f7ae0ed6e7a7f413d8ffd49615
ocaml(Clexer) = 5550a5e04d0815ed64507c463190552b
ocaml(Clist) = a0f2e2e929a2b4e20fb6497b5acf2572
ocaml(Cparser) = 04df586bd3d7437f2206d77915e60ec5
ocaml(Cprint) = 29cb3b7b369782a4bdd18588c9798433
ocaml(Dataflow) = 5e1c2a556e8a47a0dccd6ff88ec8bb6d
ocaml(Dataslicing) = 085e7246e8de054f45a9a16cf8db0b0d
ocaml(Deadcodeelim) = fb8b1302ec4372e0ec0f195f17733238
ocaml(Dominators) = 613d9efbc19a226ae401102a722d24dc
ocaml(Epicenter) = 942ed53e7ca0bcab0e63f43c2164f0f7
ocaml(Errormsg) = 89fc333b006f623a88c335044699b6fc
ocaml(Escape) = 94250bbe56b88e1f0c2714b0edca1545
ocaml(Expcompare) = fea484441e9c950d8c5315a096392167
ocaml(Feature_config) = d7ec3ee4002502a10665f6e02282e51b
ocaml(Formatcil) = f54847983371268300d3c32bf0b2c22d
ocaml(Formatlex) = 53d8b2c2b783a1f6bfa05fcb09bbcb72
ocaml(Formatparse) = d1c4a3c15f337ce5ace2f1c09b5b7862
ocaml(Frontc) = cff71fcd2145b3e686b4a44fa97dbb02
ocaml(GrowArray) = 85fac7bceb008e1de13b8ed2af6a6b03
ocaml(Heap) = d998f7ecf104c04314da68f947265cfa
ocaml(Heapify) = f322989c11ad03fc3261603b1fac74ee
ocaml(Inthash) = f6545d16f73e28c476cd4741dda0c524
ocaml(Lexerhack) = 8ef0a3e998923f15cb35540c7361fefe
ocaml(Liveness) = 24dc8374e6c607df1500a8c717bb548b
ocaml(Llvm) = 12ef954742b04eb8b6637be84233b8ec
ocaml(Llvmgen) = 14b6c5e3b6c522b66925488df60a85f5
ocaml(Llvmssa) = 930430d0f06c56252a830fb902369ce8
ocaml(Llvmutils) = b9ca898cde179c4e8fc6ab675dc74160
ocaml(Logcalls) = c3ab42e464838dad2d35b6bff4689305
ocaml(Logwrites) = 7551579e5fb5c3059ed90e4f5a6e7552
ocaml(Longarray) = 091b1269cc6100bd483ab272428428d7
ocaml(Machdep) = eac8e60e61aeb223e48f415a60b867c0
ocaml(Machdepenv) = ab465c5a9998a8eb4a23f0311e65d2fc
ocaml(Mergecil) = 0bf8d87e484428842f793a14cbe2c2fa
ocaml(Olf) = 6c6b8edeb68049edb477e892da5d5764
ocaml(Oneret) = fb1877701ed443d6af5480c2c8deedeb
ocaml(Partial) = df42925ee355b9a57cd3f6b54f7ce4e7
ocaml(Patch) = b8aa39aadb3737b0f6d3ec2959e01f17
ocaml(Predabst) = 179139d54b597fb1c9fd09ecf3347575
ocaml(Pretty) = b71fba82fb2d4c5c2ee7b1fcbc44c283
ocaml(Ptranal) = ce02f1b246fef61e40f2b3f5dd16648b
ocaml(Reachingdefs) = db1dc72d4cd41c99dae65b78e979a5a3
ocaml(Rmtmps) = 946b1af6ee312eb06be62af5b5eac6a2
ocaml(Setp) = 9bf223e0dec368878da51a1fea0cafa0
ocaml(Sfi) = 1c777957f08579c712e606a5cea709b5
ocaml(Simplemem) = 946956fa5ebca3fafcb2aadb4ed3fe15
ocaml(Simplify) = a2bf3d7f485ff75518fd14c2e65cfef2
ocaml(Ssa) = 6b66de4e60a08f68db019dd7b6786694
ocaml(Stats) = 420ac6c4699d9d9606850fa9ddddc2bb
ocaml(Trace) = fdc2fb8ee04be110faefe3693f6c3e06
ocaml(Uref) = e0f87e56ba0a3be26d0d31cf8677da95
ocaml(Usedef) = 634d20ef5c12f5f2bcc190a5f5691c2b
ocaml(Util) = c027537620c49fade60402282a37f6ae
ocaml(Whitetrack) = 86f6e2b1e67a8764f955c7ec5619c249
ocaml-cil = 1.7.3-40.fc29
ocaml-cil(riscv-64) = 1.7.3-40.fc29
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(Arg) = 8a984750e16559fb57a4021121f21559
ocaml(Array) = 0fba23558da789bd0ef7ad786bdc90e6
ocaml(Big_int) = 03222e74eff85e83058e8aa59ebd0a1b
ocaml(Buffer) = 9c9b3639d23d7746c571cdf04646eb29
ocaml(Bytes) = b0d8deb18827702df0887113ba3c0110
ocaml(Cabs) = b1639ab096fd6d6d59762896e3f564bb
ocaml(Callgraph) = 7760652e2c4edec144e4e4b3a99734a9
ocaml(CamlinternalBigarray) = 4ff98b0650eef9c38ee9c9930e0c3e9b
ocaml(CamlinternalFormatBasics) = 79ae8c0eb753af6b441fe05456c7970b
ocaml(CamlinternalOO) = 69dec6b14920fcc456f3cbd10764333e
ocaml(Cfg) = 0b6b34bade63bb25ff57c1c9b1a950f0
ocaml(Char) = 4918635b8796d0ab0d5c593b942f8df7
ocaml(Cil) = db9cd91c1309c62cfa6459ae29439539
ocaml(Cilint) = d5cf8342d29493bd7770e0f45caf36b9
ocaml(Ciltools) = d00286a7e42c45046ab455d992341bb0
ocaml(Cilutil) = b432716568c97d1e82ad7c0a6c194197
ocaml(Complex) = cd4856c93f21942683ce190142e88396
ocaml(Cparser) = 04df586bd3d7437f2206d77915e60ec5
ocaml(Dataflow) = 5e1c2a556e8a47a0dccd6ff88ec8bb6d
ocaml(Errormsg) = 89fc333b006f623a88c335044699b6fc
ocaml(Escape) = 94250bbe56b88e1f0c2714b0edca1545
ocaml(Expcompare) = fea484441e9c950d8c5315a096392167
ocaml(Filename) = 4c2454d1aec88f5851f077478f232f2f
ocaml(Formatparse) = d1c4a3c15f337ce5ace2f1c09b5b7862
ocaml(Gc) = 710a8e8b6b15999f36e8242e2a0ef75d
ocaml(GrowArray) = 85fac7bceb008e1de13b8ed2af6a6b03
ocaml(Hashtbl) = 0a88e320f172d3413ba0d5e0f9c70ccd
ocaml(Heap) = d998f7ecf104c04314da68f947265cfa
ocaml(Int32) = dbc028028ad4d59759d36dd6c0796919
ocaml(Int64) = f1c602b12ea723a45bbe6143f116a991
ocaml(Inthash) = f6545d16f73e28c476cd4741dda0c524
ocaml(Lexerhack) = 8ef0a3e998923f15cb35540c7361fefe
ocaml(Lexing) = 0971650cdf1fa8e506e733e9a5da2628
ocaml(List) = 7a6b1f92720df765cf38d67f920844fe
ocaml(Liveness) = 24dc8374e6c607df1500a8c717bb548b
ocaml(Llvmgen) = 14b6c5e3b6c522b66925488df60a85f5
ocaml(Llvmssa) = 930430d0f06c56252a830fb902369ce8
ocaml(Llvmutils) = b9ca898cde179c4e8fc6ab675dc74160
ocaml(Machdep) = eac8e60e61aeb223e48f415a60b867c0
ocaml(Map) = 8b8de381501aa7862270c15619322ee7
ocaml(Marshal) = 9dbb48cebd784fc6219ed0e9514fc7df
ocaml(Nat) = fef727f1ecfe9365db096949ceee1ea1
ocaml(Nativeint) = 7b210723c1ccafec90ff1578ad7e5996
ocaml(Obj) = 8a1a1ebb4979c1cf4966cc2e706bd0f9
ocaml(Parsing) = a75b4b148ac8febe8bba7d4528048ecb
ocaml(Pervasives) = 9b04ecdc97e5102c1d342892ef7ad9a2
ocaml(Pretty) = b71fba82fb2d4c5c2ee7b1fcbc44c283
ocaml(Printexc) = 1b461321ebcc8e419f24eb531c5ac7ac
ocaml(Printf) = e5dfd0ca6436c8abad976fc9e914999a
ocaml(Ptranal) = ce02f1b246fef61e40f2b3f5dd16648b
ocaml(Queue) = 63b55df0e31ad91e82a1c6659c8dca09
ocaml(Reachingdefs) = db1dc72d4cd41c99dae65b78e979a5a3
ocaml(Rmtmps) = 946b1af6ee312eb06be62af5b5eac6a2
ocaml(Set) = 28a12def19edf36c317c30fafcc03d6d
ocaml(Stack) = a3c26bdec0c0211d9b444bd0da56bd1e
ocaml(Stats) = 420ac6c4699d9d9606850fa9ddddc2bb
ocaml(Str) = 702cbdf6aef59ea727e6090656cefc94
ocaml(String) = e6a69bfe22781c3a43e5dc04b6d1728a
ocaml(Sys) = 3fe6d98e0634486be22d9de07aa0709a
ocaml(Trace) = fdc2fb8ee04be110faefe3693f6c3e06
ocaml(Uchar) = 596c497318b5c3057b47b9d6747ef5d1
ocaml(Unix) = 053326e853ce10e1fadf8d891f08f891
ocaml(Usedef) = 634d20ef5c12f5f2bcc190a5f5691c2b
ocaml(Util) = c027537620c49fade60402282a37f6ae
ocaml(Whitetrack) = 86f6e2b1e67a8764f955c7ec5619c249
ocaml(runtime) = 4.06.0
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-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.63 KB
/usr/lib64/ocaml/cil/availexps.cmi41.46 KB
/usr/lib64/ocaml/cil/availexpslv.cmi44.42 KB
/usr/lib64/ocaml/cil/bitmap.cmi2.23 KB
/usr/lib64/ocaml/cil/cabs.cmi12.81 KB
/usr/lib64/ocaml/cil/cabs2cil.cmi1.82 KB
/usr/lib64/ocaml/cil/cabshelper.cmi2.01 KB
/usr/lib64/ocaml/cil/cabsvisit.cmi11.01 KB
/usr/lib64/ocaml/cil/callgraph.cmi1.58 KB
/usr/lib64/ocaml/cil/canonicalize.cmi507.00 B
/usr/lib64/ocaml/cil/cfg.cmi1.26 KB
/usr/lib64/ocaml/cil/check.cmi765.00 B
/usr/lib64/ocaml/cil/cil.cma6.34 MB
/usr/lib64/ocaml/cil/cil.cmi108.99 KB
/usr/lib64/ocaml/cil/cilint.cmi3.58 KB
/usr/lib64/ocaml/cil/cillower.cmi498.00 B
/usr/lib64/ocaml/cil/ciloptions.cmi574.00 B
/usr/lib64/ocaml/cil/ciltools.cmi23.61 KB
/usr/lib64/ocaml/cil/cilutil.cmi1.42 KB
/usr/lib64/ocaml/cil/cilversion.cmi452.00 B
/usr/lib64/ocaml/cil/clexer.cmi1.36 KB
/usr/lib64/ocaml/cil/clist.cmi1.98 KB
/usr/lib64/ocaml/cil/cparser.cmi8.87 KB
/usr/lib64/ocaml/cil/cprint.cmi7.07 KB
/usr/lib64/ocaml/cil/dataflow.cmi4.11 KB
/usr/lib64/ocaml/cil/dataslicing.cmi504.00 B
/usr/lib64/ocaml/cil/deadcodeelim.cmi31.23 KB
/usr/lib64/ocaml/cil/dominators.cmi2.09 KB
/usr/lib64/ocaml/cil/epicenter.cmi1.13 KB
/usr/lib64/ocaml/cil/errormsg.cmi5.21 KB
/usr/lib64/ocaml/cil/escape.cmi724.00 B
/usr/lib64/ocaml/cil/expcompare.cmi8.41 KB
/usr/lib64/ocaml/cil/feature_config.cmi523.00 B
/usr/lib64/ocaml/cil/formatcil.cmi2.70 KB
/usr/lib64/ocaml/cil/formatlex.cmi2.89 KB
/usr/lib64/ocaml/cil/formatparse.cmi9.48 KB
/usr/lib64/ocaml/cil/frontc.cmi1.03 KB
/usr/lib64/ocaml/cil/growArray.cmi3.23 KB
/usr/lib64/ocaml/cil/heap.cmi1.21 KB
/usr/lib64/ocaml/cil/heapify.cmi25.44 KB
/usr/lib64/ocaml/cil/inthash.cmi2.31 KB
/usr/lib64/ocaml/cil/lexerhack.cmi891.00 B
/usr/lib64/ocaml/cil/liveness.cmi28.29 KB
/usr/lib64/ocaml/cil/llvm.cmi973.00 B
/usr/lib64/ocaml/cil/llvmgen.cmi14.26 KB
/usr/lib64/ocaml/cil/llvmssa.cmi1.19 KB
/usr/lib64/ocaml/cil/llvmutils.cmi2.58 KB
/usr/lib64/ocaml/cil/logcalls.cmi495.00 B
Component of No Buildroots