Fri, 17 May 2024 03:13:34 UTC | login

Information for RPM ocaml-cil-1.7.3-77.fc38.riscv64.rpm

ID933387
Nameocaml-cil
Version1.7.3
Release77.fc38
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 Time2023-02-25 10:34:20 GMT
Size2.84 MB
ca524e16bbfc35abc24ad23508b89e08
LicenseBSD
Buildrootf38-build-685323-80578
Provides
ocaml(Alpha) = b82848e43eeb254591b213981d609a35
ocaml(Availexps) = d8a8239ca612bcdf9292556ee0eb045e
ocaml(Availexpslv) = cd8264098bcb8f4fe99de30c11f2faa9
ocaml(Bitmap) = bc6a7f67079de381f0903259515a2d7a
ocaml(Cabs) = 52bb6204fca4af92a788ee8627ee6646
ocaml(Cabs2cil) = 662ff2fe6936737f404dbf7ed47b5cb1
ocaml(Cabshelper) = 107c7cf35a2451772d85117c9ddccc68
ocaml(Cabsvisit) = 6b23dc9a3c6b2e62710f412071ed79e6
ocaml(Callgraph) = 3056252b0f7bc801fe0a58dc4a2840a3
ocaml(Canonicalize) = 63a93775f78b42dfa98d77bf058eaf9b
ocaml(Cfg) = cea73744fc16efec2ac9f1f686d2fef3
ocaml(Check) = c3eadc30a8aba6bfa64b44262a7760e1
ocaml(Cil) = 496c797e2d0a5ffb34fa76808d7826bd
ocaml(Cilint) = 9fd2e4bf47ba51f6e86dbe8360a7d940
ocaml(Cillower) = a09784540e8ec9daa86495baa0605c00
ocaml(Ciloptions) = 9c357a33d77af92010491aee99b3d606
ocaml(Ciltools) = 2c5e62b8f840f1cdf2a11fcd7c666b76
ocaml(Cilutil) = 6c8d368376b8d18aada070c2a3f9a57b
ocaml(Cilversion) = aa6cbfa1e4fdb63ce2d50925d0e0e2be
ocaml(Clexer) = c5abfa613f3a6585995a8b6820ea996a
ocaml(Clist) = acf1933eb230acbffc12c0738f0f8f88
ocaml(Cparser) = 7ca7f852ee2b100c699c7b8e14dfc5cf
ocaml(Cprint) = 0a9bda73a44c35f9bcca86882d16512b
ocaml(Dataflow) = 55c5de69aeaa19611565e4ef72c8b764
ocaml(Dataslicing) = 95ab4c55de1cf8c3c24d3c79675bc2ae
ocaml(Deadcodeelim) = 1af5bd88a479d26604ff50f15fad5f47
ocaml(Dominators) = 0832c6e152973ceb60d1297c60a7bce2
ocaml(Epicenter) = 0f661dd7b7e8bdb1a453204cb8df0e5a
ocaml(Errormsg) = 3f770fd2a7c58ffe173a26dd5e583b6f
ocaml(Escape) = 9638fe8cfab20fcb7b94d22ed1594766
ocaml(Expcompare) = c3aba6dca9afb773f9bb7fa9741dc306
ocaml(Feature_config) = aee2dc77efcb8e982465eaed7c0109cf
ocaml(Formatcil) = 84eaf0b0a85d28b8b6d3b5f8adfd4604
ocaml(Formatlex) = aae552be3e3c16a51ee851a7e5d73d87
ocaml(Formatparse) = 723d1c2c5511b1e0497fc8c8fb556888
ocaml(Frontc) = 7f9ec5d77e88c277482ca32b0d8714c7
ocaml(GrowArray) = f36a5312917ff80be57b6b3985cd9c32
ocaml(Heap) = cc54c4ce3b3dfbe872fc5496374a4fd7
ocaml(Heapify) = 3fe44fd9b3a276e9a111b03bfc2bcf00
ocaml(Inthash) = 3b9506fd5f5fc74445d33d48316ffea1
ocaml(Lexerhack) = 8e7601f8e0da2f2bbf6813100d112bc8
ocaml(Liveness) = 179d4e3c1e6cbe4912ae649832547cf8
ocaml(Llvm) = 63d17bcccc8807df7567b70f5a9607eb
ocaml(Llvmgen) = 48223b6a3648aae2fdc1b7a888ff273b
ocaml(Llvmssa) = c6039e16ba9899e4a8b953d1fc899b93
ocaml(Llvmutils) = f53105e0df1f38369cb81c14ca067add
ocaml(Logcalls) = 44358c334293273924294d9f26a4d3fd
ocaml(Logwrites) = 5482ed96cff9eaa3818a4cea164f63ef
ocaml(Longarray) = 454b660f5e24c505312f50201ec27436
ocaml(Machdep) = 39bfc6aba2817c1b02a6b3d1331194a4
ocaml(Machdepenv) = d4b6285d6bafebb11ad3267af0a3c524
ocaml(Mergecil) = 87a4f12b6b1bb4735747a2f72c59b2bc
ocaml(Olf) = 96faf0f89c01af212376b2f1835f90e6
ocaml(Oneret) = 6b9bd83476249a42fd332937df1ecca2
ocaml(Partial) = a4799e19a16f01922084b358fdfbe1bf
ocaml(Patch) = 5ccf7b34a8ffc056dc79887eff2a3849
ocaml(Predabst) = 36cb5422009fc33e9a8d552c9ac610ff
ocaml(Pretty) = ebba4ae3652156cb46358764c2e1159e
ocaml(Ptranal) = a20a240c2640269416b17d6832fc6891
ocaml(Reachingdefs) = ab0cef94983d7a4c22cfddc7e40c8387
ocaml(Rmtmps) = 3da73dde4b65326f38929c6009e4d90f
ocaml(Setp) = cb39434a0f4f576e5cc26d9cd4142191
ocaml(Sfi) = dbba4c1cfaa90bc4f39fed5ad6454f23
ocaml(Simplemem) = 3a002b23a1ab3ab1efa2ff5f2f6392b4
ocaml(Simplify) = 0884f914fa3a3ed2fd729ea3ce4b7a74
ocaml(Ssa) = 5ad3e18875b891f64d6db1962794f389
ocaml(Stats) = bf96368b9c982964a325435255d2f729
ocaml(Trace) = 4e1ed3188cc5f7afeab198c060857ad0
ocaml(Uref) = 85b708e2af6895499eab5bb465b9f44b
ocaml(Usedef) = f309a9733c624d8fbd3447def0e69d5d
ocaml(Util) = e90a9f65caf1da437ba255864cd58918
ocaml(Whitetrack) = c65ce38a1c0f00d3dd501b0476edad54
ocaml-cil = 1.7.3-77.fc38
ocaml-cil(riscv-64) = 1.7.3-77.fc38
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(Alpha) = b82848e43eeb254591b213981d609a35
ocaml(Big_int) = 0d29f9784dac1f856b4e4b9ce51e6e37
ocaml(Bitmap) = bc6a7f67079de381f0903259515a2d7a
ocaml(Cabs) = 52bb6204fca4af92a788ee8627ee6646
ocaml(Cabs2cil) = 662ff2fe6936737f404dbf7ed47b5cb1
ocaml(Cabshelper) = 107c7cf35a2451772d85117c9ddccc68
ocaml(Cabsvisit) = 6b23dc9a3c6b2e62710f412071ed79e6
ocaml(Callgraph) = 3056252b0f7bc801fe0a58dc4a2840a3
ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
ocaml(CamlinternalOO) = aea913efb75d4b8c0600eeba0222f7d8
ocaml(Cfg) = cea73744fc16efec2ac9f1f686d2fef3
ocaml(Cil) = 496c797e2d0a5ffb34fa76808d7826bd
ocaml(Cilint) = 9fd2e4bf47ba51f6e86dbe8360a7d940
ocaml(Ciltools) = 2c5e62b8f840f1cdf2a11fcd7c666b76
ocaml(Cilutil) = 6c8d368376b8d18aada070c2a3f9a57b
ocaml(Cilversion) = aa6cbfa1e4fdb63ce2d50925d0e0e2be
ocaml(Clexer) = c5abfa613f3a6585995a8b6820ea996a
ocaml(Clist) = acf1933eb230acbffc12c0738f0f8f88
ocaml(Cparser) = 7ca7f852ee2b100c699c7b8e14dfc5cf
ocaml(Cprint) = 0a9bda73a44c35f9bcca86882d16512b
ocaml(Dataflow) = 55c5de69aeaa19611565e4ef72c8b764
ocaml(Errormsg) = 3f770fd2a7c58ffe173a26dd5e583b6f
ocaml(Escape) = 9638fe8cfab20fcb7b94d22ed1594766
ocaml(Expcompare) = c3aba6dca9afb773f9bb7fa9741dc306
ocaml(Formatlex) = aae552be3e3c16a51ee851a7e5d73d87
ocaml(Formatparse) = 723d1c2c5511b1e0497fc8c8fb556888
ocaml(Frontc) = 7f9ec5d77e88c277482ca32b0d8714c7
ocaml(GrowArray) = f36a5312917ff80be57b6b3985cd9c32
ocaml(Heap) = cc54c4ce3b3dfbe872fc5496374a4fd7
ocaml(Inthash) = 3b9506fd5f5fc74445d33d48316ffea1
ocaml(Lexerhack) = 8e7601f8e0da2f2bbf6813100d112bc8
ocaml(Liveness) = 179d4e3c1e6cbe4912ae649832547cf8
ocaml(Llvmgen) = 48223b6a3648aae2fdc1b7a888ff273b
ocaml(Llvmssa) = c6039e16ba9899e4a8b953d1fc899b93
ocaml(Llvmutils) = f53105e0df1f38369cb81c14ca067add
ocaml(Longarray) = 454b660f5e24c505312f50201ec27436
ocaml(Machdep) = 39bfc6aba2817c1b02a6b3d1331194a4
ocaml(Machdepenv) = d4b6285d6bafebb11ad3267af0a3c524
ocaml(Mergecil) = 87a4f12b6b1bb4735747a2f72c59b2bc
ocaml(Nat) = cf53074211ea56c636ac753b3faa2286
ocaml(Olf) = 96faf0f89c01af212376b2f1835f90e6
ocaml(Patch) = 5ccf7b34a8ffc056dc79887eff2a3849
ocaml(Pretty) = ebba4ae3652156cb46358764c2e1159e
ocaml(Ptranal) = a20a240c2640269416b17d6832fc6891
ocaml(Reachingdefs) = ab0cef94983d7a4c22cfddc7e40c8387
ocaml(Rmtmps) = 3da73dde4b65326f38929c6009e4d90f
ocaml(Setp) = cb39434a0f4f576e5cc26d9cd4142191
ocaml(Stats) = bf96368b9c982964a325435255d2f729
ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91
ocaml(Stdlib__Arg) = 04b768df3893b886dc494cea56b4aa5f
ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865
ocaml(Stdlib__Bigarray) = 994a14f10d5ae081663b52b790ee11d3
ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822
ocaml(Stdlib__Bytes) = 3d02c33317c0108c61e7a5eefa37519a
ocaml(Stdlib__Char) = 62afe57b49defcc078960a68b9efbbee
ocaml(Stdlib__Complex) = 4555217c759e89d65daa8f682eb09b35
ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9
ocaml(Stdlib__Filename) = 3bcff250dd30a0e620fa7546882aaadf
ocaml(Stdlib__Gc) = c3ec15218bd26e175e6d959e216eb39a
ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401
ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab
ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518
ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434
ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9
ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680
ocaml(Stdlib__Marshal) = 182731e5f563b7657acd24ad778f3615
ocaml(Stdlib__Nativeint) = 989149bf8f2ce1a89fecbc3f5f40f52c
ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3
ocaml(Stdlib__Parsing) = bb5f62fa906224c917383a27d025e251
ocaml(Stdlib__Pervasives) = dc77fedcffc67c0119b789c66d5ef7bf
ocaml(Stdlib__Printexc) = ae914d0568e8b6e482a66bbd62a4432f
ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28
ocaml(Stdlib__Queue) = b066724fe533c7b8fc9b521e37aedad8
ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962
ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658
ocaml(Stdlib__Stack) = 30ae8c258e7fc6fb7e6370a60256d724
ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972
ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b
ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
ocaml(Str) = 514c63e7d96516ff4c601fe47900a52d
ocaml(Trace) = 4e1ed3188cc5f7afeab198c060857ad0
ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c
ocaml(Uref) = 85b708e2af6895499eab5bb465b9f44b
ocaml(Usedef) = f309a9733c624d8fbd3447def0e69d5d
ocaml(Util) = e90a9f65caf1da437ba255864cd58918
ocaml(Whitetrack) = c65ce38a1c0f00d3dd501b0476edad54
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.75 KB
/usr/lib64/ocaml/cil/availexps.cmi34.73 KB
/usr/lib64/ocaml/cil/availexpslv.cmi38.87 KB
/usr/lib64/ocaml/cil/bitmap.cmi2.41 KB
/usr/lib64/ocaml/cil/cabs.cmi13.97 KB
/usr/lib64/ocaml/cil/cabs2cil.cmi1.88 KB
/usr/lib64/ocaml/cil/cabshelper.cmi2.20 KB
/usr/lib64/ocaml/cil/cabsvisit.cmi7.10 KB
/usr/lib64/ocaml/cil/callgraph.cmi1.68 KB
/usr/lib64/ocaml/cil/canonicalize.cmi590.00 B
/usr/lib64/ocaml/cil/cfg.cmi1.35 KB
/usr/lib64/ocaml/cil/check.cmi858.00 B
/usr/lib64/ocaml/cil/cil.cma7.58 MB
/usr/lib64/ocaml/cil/cil.cmi89.69 KB
/usr/lib64/ocaml/cil/cilint.cmi3.83 KB
/usr/lib64/ocaml/cil/cillower.cmi581.00 B
/usr/lib64/ocaml/cil/ciloptions.cmi590.00 B
/usr/lib64/ocaml/cil/ciltools.cmi20.62 KB
/usr/lib64/ocaml/cil/cilutil.cmi1.48 KB
/usr/lib64/ocaml/cil/cilversion.cmi469.00 B
/usr/lib64/ocaml/cil/clexer.cmi1.44 KB
/usr/lib64/ocaml/cil/clist.cmi2.10 KB
/usr/lib64/ocaml/cil/cparser.cmi8.96 KB
/usr/lib64/ocaml/cil/cprint.cmi7.21 KB
/usr/lib64/ocaml/cil/dataflow.cmi4.35 KB
/usr/lib64/ocaml/cil/dataslicing.cmi587.00 B
/usr/lib64/ocaml/cil/deadcodeelim.cmi24.81 KB
/usr/lib64/ocaml/cil/dominators.cmi2.12 KB
/usr/lib64/ocaml/cil/epicenter.cmi1.23 KB
/usr/lib64/ocaml/cil/errormsg.cmi5.45 KB
/usr/lib64/ocaml/cil/escape.cmi759.00 B
/usr/lib64/ocaml/cil/expcompare.cmi7.34 KB
/usr/lib64/ocaml/cil/feature_config.cmi606.00 B
/usr/lib64/ocaml/cil/formatcil.cmi2.75 KB
/usr/lib64/ocaml/cil/formatlex.cmi2.98 KB
/usr/lib64/ocaml/cil/formatparse.cmi10.12 KB
/usr/lib64/ocaml/cil/frontc.cmi1.14 KB
/usr/lib64/ocaml/cil/growArray.cmi3.46 KB
/usr/lib64/ocaml/cil/heap.cmi1.36 KB
/usr/lib64/ocaml/cil/heapify.cmi20.91 KB
/usr/lib64/ocaml/cil/inthash.cmi2.49 KB
/usr/lib64/ocaml/cil/lexerhack.cmi914.00 B
/usr/lib64/ocaml/cil/liveness.cmi23.98 KB
/usr/lib64/ocaml/cil/llvm.cmi1.09 KB
/usr/lib64/ocaml/cil/llvmgen.cmi12.93 KB
/usr/lib64/ocaml/cil/llvmssa.cmi1.35 KB
/usr/lib64/ocaml/cil/llvmutils.cmi2.69 KB
/usr/lib64/ocaml/cil/logcalls.cmi578.00 B
Component of No Buildroots