Wed, 04 Dec 2024 07:24:50 UTC | login

Information for RPM ocaml-cil-1.7.3-49.fc31.riscv64.rpm

ID377446
Nameocaml-cil
Version1.7.3
Release49.fc31
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 Time2019-07-24 04:39:36 GMT
Size2.33 MB
fa7f3aa632ef119b3e6d189c25683fd5
LicenseBSD
Buildrootf31-build-48517-27120
Provides
ocaml(Alpha) = 000aca51fc66d31d4b88373d2bd21a4a
ocaml(Availexps) = c6379a14f0a795a836343b4e22c69325
ocaml(Availexpslv) = d74561c40d65ec1e751305493b6c0b7f
ocaml(Bitmap) = 9c0d5357fe09b9586e799b47e1eb21d0
ocaml(Cabs) = 3f51d70f52f1a20fccda1e18e9f482c1
ocaml(Cabs2cil) = 8dd4038fb1fe5ff15dbfa5d61a9f02a5
ocaml(Cabshelper) = 4c64e391cc59d008c77db66b4431324a
ocaml(Cabsvisit) = 4018ea3854377b7047f61b3b4f4f2ebc
ocaml(Callgraph) = d0e3a198b45ab63ea9626d353c65ce02
ocaml(Canonicalize) = 863fcb9c8ba185133de3a16de5e5e6b2
ocaml(Cfg) = 8f86fb396e862dcfd1b91f3143793a7b
ocaml(Check) = 956cab163077d01fc0c074007ce17e84
ocaml(Cil) = 637ebbfd9af4c85458f277b8a8d7f34a
ocaml(Cilint) = 8c72fdc04cbb38380a14280eb83d8f43
ocaml(Cillower) = d0a6327fd943f10c069aa64d514ef180
ocaml(Ciloptions) = d92f0747ca40cf01bc7b60c2d7d749ac
ocaml(Ciltools) = 4df16f4bf94b2f3f8309cfbf2739d529
ocaml(Cilutil) = ba2da1ac981f55170b3806d803d0becc
ocaml(Cilversion) = 7d67ea35d8d337a9426ee6d4564cd1ba
ocaml(Clexer) = b12695416f91dd38c8e159ce877a8bb6
ocaml(Clist) = a335f5c4a1072ddbce64db3ad3b37820
ocaml(Cparser) = 5dc8257bb1357dcd5bbb3e3fdb98e7cb
ocaml(Cprint) = e3f9cbf943f15a14ef85d9ec37921aef
ocaml(Dataflow) = 905c70c05a513a4df96b5c6cea9d579d
ocaml(Dataslicing) = f0056e013115a34f9eb6091c56d5ff18
ocaml(Deadcodeelim) = 282d13bba32f3e24b767e949c27d0cc8
ocaml(Dominators) = 40476a5c2c3c2c4fa31d5999674baf0e
ocaml(Epicenter) = 430557496a541e7e9fa4ae77045f1dda
ocaml(Errormsg) = 2d390fbc113ff675cbafbc20b81a9d6f
ocaml(Escape) = 36e3c37f1bf8fd1867b924d0ee24e8c1
ocaml(Expcompare) = 87704a4ac0e565df1ae8b8df32583a58
ocaml(Feature_config) = 501270053bea4c456c89c5c21d4d18b7
ocaml(Formatcil) = 375830c2da4537f3efe242928e4ae72a
ocaml(Formatlex) = 7b1705a91a144ea68301bf4ef384ec0d
ocaml(Formatparse) = 5ab6cb0c50976869663b5af2417715a3
ocaml(Frontc) = 52ff5cde880e7aba41b7262b2356ae1e
ocaml(GrowArray) = cac8c7e8ded229bec2d323866afd87ff
ocaml(Heap) = 4e55af3421e35098e440dffa435659d8
ocaml(Heapify) = 6ff2d92f61e03e612c622709031442f6
ocaml(Inthash) = fbcde9b4292dea4b0fcbc400c5e7d041
ocaml(Lexerhack) = 8cf86ba7b492a23a52e8be3a5612d56a
ocaml(Liveness) = 6990360e5b7b5536aa632463a63eacd2
ocaml(Llvm) = d88de914c53edc7a06cf5c2850aefce6
ocaml(Llvmgen) = 676f03c5cdbfeb71d97fa6d1d731a5ac
ocaml(Llvmssa) = d5ea7616906e2eb4854373a7178fdbdd
ocaml(Llvmutils) = 4fcf169ec3d188da37a9329cfeb5180e
ocaml(Logcalls) = 09f27c269183e9f36b0d52954b451943
ocaml(Logwrites) = 66ceb426d1ca030dad08b5f8e52b84c5
ocaml(Longarray) = 316a64e61758fcb8058ffd40b53cbbb8
ocaml(Machdep) = 2e0848981079b6daad5b9418820ae116
ocaml(Machdepenv) = 30f5ad328df8949ca8fe2af73f5f131e
ocaml(Mergecil) = 2666af5bfffc308808f721206c54a0b7
ocaml(Olf) = 62c0dc684de90dd109a9883e8f6f87f4
ocaml(Oneret) = a4ca655faae84e6eb00f41f7a1c23338
ocaml(Partial) = 3f35d6737278d1530dc467d32f8d7ea7
ocaml(Patch) = 96bb0f3999537671dfadf51313bf2d67
ocaml(Predabst) = 9ccb11e1a3c52608c7ad73f2edce511a
ocaml(Pretty) = 91c39cc44637d4209613f216c70440bc
ocaml(Ptranal) = 7efb7290a0be3337a8fe887131ce6e9c
ocaml(Reachingdefs) = 24474d47f6c72b95d5754bae6ec7ba99
ocaml(Rmtmps) = 0614fcf60720469553787edb7c22f74b
ocaml(Setp) = b1b22e45d6f6956476367d3e0bb08226
ocaml(Sfi) = 8a9a2f575a6f2dd80c177623bfb8449e
ocaml(Simplemem) = 69df99408e6e77e0dd860bf0e5a4143c
ocaml(Simplify) = 92aa082ad9bcd8c60f20ce09f9560299
ocaml(Ssa) = f4558992812ca55763bd0db5775fe59b
ocaml(Stats) = ec77aac0ccbd84a551d9ad9d27e38f23
ocaml(Trace) = 37c57f92e094dbcc8b3b9c785d441691
ocaml(Uref) = df128b8912746fbeff3ae4890ebcb3d6
ocaml(Usedef) = 397550b7f40cf9ac69f8b69d46d834b9
ocaml(Util) = dbdddaf64ebd93adeaf80557ba86f79d
ocaml(Whitetrack) = 861222673586353e47761deb563f02b8
ocaml-cil = 1.7.3-49.fc31
ocaml-cil(riscv-64) = 1.7.3-49.fc31
Obsoletes No Obsoletes
Conflicts No Conflicts
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) = 2e0848981079b6daad5b9418820ae116
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) = 56b39f6e9e6ff25dbcda6766a61888e0
ocaml(Stdlib__buffer) = 35866fa9f82ad0886b2ccd0a86f2e1e6
ocaml(Stdlib__bytes) = 6b7074af78d2fce4ff8323a7d4e5ea0d
ocaml(Stdlib__char) = 1f7aaa002e7504e2fcb18665bf17141d
ocaml(Stdlib__complex) = 3e86422b431ff5c172197d51a2afdd52
ocaml(Stdlib__filename) = 1397f563ad5dcc9cd4b936dcc7f40e4c
ocaml(Stdlib__gc) = 970a1de1bd727bfd42430520e49734ec
ocaml(Stdlib__hashtbl) = 8a0f9b54a9d30b1aeff83f4bae88dfde
ocaml(Stdlib__int32) = 9de27084a784cd13eb5e5552ddbd6b4e
ocaml(Stdlib__int64) = 131e92719192bf020f99efe1afb0007c
ocaml(Stdlib__lexing) = cf953e945260781e23991e3991f9d5b0
ocaml(Stdlib__list) = cdcc178ba2d8de0d62892e1a68bd0cfe
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.0
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.68 KB
/usr/lib64/ocaml/cil/availexps.cmi22.86 KB
/usr/lib64/ocaml/cil/availexpslv.cmi26.85 KB
/usr/lib64/ocaml/cil/bitmap.cmi2.30 KB
/usr/lib64/ocaml/cil/cabs.cmi12.90 KB
/usr/lib64/ocaml/cil/cabs2cil.cmi1.80 KB
/usr/lib64/ocaml/cil/cabshelper.cmi2.07 KB
/usr/lib64/ocaml/cil/cabsvisit.cmi6.60 KB
/usr/lib64/ocaml/cil/callgraph.cmi1.59 KB
/usr/lib64/ocaml/cil/canonicalize.cmi551.00 B
/usr/lib64/ocaml/cil/cfg.cmi1.29 KB
/usr/lib64/ocaml/cil/check.cmi805.00 B
/usr/lib64/ocaml/cil/cil.cma6.45 MB
/usr/lib64/ocaml/cil/cil.cmi83.16 KB
/usr/lib64/ocaml/cil/cilint.cmi3.65 KB
/usr/lib64/ocaml/cil/cillower.cmi542.00 B
/usr/lib64/ocaml/cil/ciloptions.cmi575.00 B
/usr/lib64/ocaml/cil/ciltools.cmi12.86 KB
/usr/lib64/ocaml/cil/cilutil.cmi1.40 KB
/usr/lib64/ocaml/cil/cilversion.cmi449.00 B
/usr/lib64/ocaml/cil/clexer.cmi1.39 KB
/usr/lib64/ocaml/cil/clist.cmi2.01 KB
/usr/lib64/ocaml/cil/cparser.cmi8.28 KB
/usr/lib64/ocaml/cil/cprint.cmi6.84 KB
/usr/lib64/ocaml/cil/dataflow.cmi4.11 KB
/usr/lib64/ocaml/cil/dataslicing.cmi548.00 B
/usr/lib64/ocaml/cil/deadcodeelim.cmi19.42 KB
/usr/lib64/ocaml/cil/dominators.cmi2.03 KB
/usr/lib64/ocaml/cil/epicenter.cmi1.17 KB
/usr/lib64/ocaml/cil/errormsg.cmi5.21 KB
/usr/lib64/ocaml/cil/escape.cmi730.00 B
/usr/lib64/ocaml/cil/expcompare.cmi5.38 KB
/usr/lib64/ocaml/cil/feature_config.cmi567.00 B
/usr/lib64/ocaml/cil/formatcil.cmi2.66 KB
/usr/lib64/ocaml/cil/formatlex.cmi2.83 KB
/usr/lib64/ocaml/cil/formatparse.cmi9.30 KB
/usr/lib64/ocaml/cil/frontc.cmi1.08 KB
/usr/lib64/ocaml/cil/growArray.cmi3.32 KB
/usr/lib64/ocaml/cil/heap.cmi1.28 KB
/usr/lib64/ocaml/cil/heapify.cmi13.18 KB
/usr/lib64/ocaml/cil/inthash.cmi2.39 KB
/usr/lib64/ocaml/cil/lexerhack.cmi890.00 B
/usr/lib64/ocaml/cil/liveness.cmi16.04 KB
/usr/lib64/ocaml/cil/llvm.cmi1.05 KB
/usr/lib64/ocaml/cil/llvmgen.cmi11.89 KB
/usr/lib64/ocaml/cil/llvmssa.cmi1.30 KB
/usr/lib64/ocaml/cil/llvmutils.cmi2.56 KB
/usr/lib64/ocaml/cil/logcalls.cmi539.00 B
Component of No Buildroots