Mon, 02 Dec 2024 20:49:55 UTC | login

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

ID255919
Nameocaml-cil
Version1.7.3
Release44.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-08-25 02:31:28 GMT
Size2.29 MB
f31731567c843ca5f69786b63600625e
LicenseBSD
Buildrootf29-build-27803-14680
Provides
ocaml(Alpha) = d618cccf3ce49b40e20fda6a129279a0
ocaml(Availexps) = a01f3c0656f899dcb77fd6685a77c441
ocaml(Availexpslv) = fe2471b6294878471ccd35a4c5b44d84
ocaml(Bitmap) = a8df18e90be290769e0b70550c3e90d8
ocaml(Cabs) = 55084f8a36d58e5352c0dfd9371b441a
ocaml(Cabs2cil) = 7d4998ec587ad27daf6972b57760d1fe
ocaml(Cabshelper) = 817b1c36b27d127840aa2c9e14e6a72b
ocaml(Cabsvisit) = e2f1937e9eaa63bcf8e4f3d06a6083ef
ocaml(Callgraph) = 8ebcc8ed83d8dd541e2f9b76f3f8e36e
ocaml(Canonicalize) = 6d92fbea53da937474c6516cd8fca8fe
ocaml(Cfg) = b3c5729810053a3654d57f23f2a65d00
ocaml(Check) = a1b012da0252b4b04a83262ea684d5ce
ocaml(Cil) = 87fd037a2ea2bd105ae997b626951ba4
ocaml(Cilint) = fd19b8ec8ccebc94ac1a9356c82d2f2b
ocaml(Cillower) = 2c4a42365b2c5bad3be4b6b87489cb4c
ocaml(Ciloptions) = 492dd18ca864c0e3c6ac246e267f0866
ocaml(Ciltools) = 12f4671010c1f1a852d4012b06c8e014
ocaml(Cilutil) = cbdae178af1d15304fc982b833d778eb
ocaml(Cilversion) = 7d6d881202a5c72c5975c00a16e7f330
ocaml(Clexer) = 19299de8fc5a6bc9ca9d2bc2414066d6
ocaml(Clist) = d68f5ec71cd27639265aa77a034a5338
ocaml(Cparser) = 032958cb450922e5bcacc1791e6f03a3
ocaml(Cprint) = d6ab8a6aa54793fc5e7034ec332beae7
ocaml(Dataflow) = 4d7b5c2ed09e00a99454a7b3e8850c02
ocaml(Dataslicing) = 8b7199305284997a1a1be093a2a74e81
ocaml(Deadcodeelim) = 07a7187d0b9bc40d4a37a5d1a779c5ab
ocaml(Dominators) = 7afd6940e8a5c194208ab825a265d6d1
ocaml(Epicenter) = 95d191b0dbaeb89f6da691676ad7c08e
ocaml(Errormsg) = aa80be317beb56756a2467d8c5e19e12
ocaml(Escape) = fcf9d462bb7f1c600cd7a3609b087df2
ocaml(Expcompare) = 68396a40e0846676b7d8359cf9757181
ocaml(Feature_config) = 305f5eb25a684fe9c7b21da01f96d107
ocaml(Formatcil) = e7921b8b174dcea3ef5cd43646eb1b5f
ocaml(Formatlex) = 9cd0c2e1961c52b11fc19fd92e744f7f
ocaml(Formatparse) = 9a6e334d7c336a1d261b3232d52d2b51
ocaml(Frontc) = 7d2af32d4457bc1feb12963b72ff538c
ocaml(GrowArray) = c430d1726660e1db60dd2bd1d23fd2be
ocaml(Heap) = 572ace29f1243d8a48140d468b822ebe
ocaml(Heapify) = 983aeb7c564a2b4d0df3b0e60c63865e
ocaml(Inthash) = 0e885e4d59b9ee795136235fa8cc2459
ocaml(Lexerhack) = ca08fb85f0fa237ab944211a3c175b38
ocaml(Liveness) = 2a378e934cfe620d92f484365d434999
ocaml(Llvm) = d1419e3ba1961c99e76e89141e96fbcc
ocaml(Llvmgen) = 9a843712f1d3bfcd0e49ea8ad1b89e6a
ocaml(Llvmssa) = 1785bb54e6ca3308af831a84da26017b
ocaml(Llvmutils) = 2d5f31fafdb5a62c9e3224c1fc3191f0
ocaml(Logcalls) = 182e57b0600af3ede5d880307b658ebf
ocaml(Logwrites) = 1e883af351fdd584c47415ad0ad68b83
ocaml(Longarray) = 6d4a64c0506e83facfd02666accbf2cd
ocaml(Machdep) = dba2d5c4448967374cd9811c2d15fe39
ocaml(Machdepenv) = 496ee16d4442429134aebcbf44b2098b
ocaml(Mergecil) = 923e292f503c374dd11397b65a3fc381
ocaml(Olf) = 744d1a94e4f6f48ae1f7c13d5e2f35b6
ocaml(Oneret) = e5db474a9e0e74ad8bfc3f09e6376741
ocaml(Partial) = 7e25cb11516af8c8e8c6ca434b6340b6
ocaml(Patch) = 4c285472b150494ea855fe0c0e001ef9
ocaml(Predabst) = b82e5e32375d052db058b00507565ff8
ocaml(Pretty) = 4169fcd5eb811bbbeb83a656f41de3a3
ocaml(Ptranal) = 5144a6c5dc1057c7b8156496aee228f3
ocaml(Reachingdefs) = d01b62cadca2fe535bb74989338e0727
ocaml(Rmtmps) = 3935e9fe68c23c6955581926f50359e9
ocaml(Setp) = 037230cca895c1f5a930ad81e02f07de
ocaml(Sfi) = 598ac26c27f100df6a17269afccaf516
ocaml(Simplemem) = 81dacfaf79402d1547453142b3dbedbe
ocaml(Simplify) = 6cd18e3e0f8cc2bdd8569e4336b3b9da
ocaml(Ssa) = b1031309be00570abada81d0fa669f05
ocaml(Stats) = c351fed541776cad6751c206a2319144
ocaml(Trace) = 81541dc488822de4e27f249c3fa3d7d3
ocaml(Uref) = 66029d703c4bb5737bd03a85f4ad59fc
ocaml(Usedef) = 4a756258b0768112e6f564d99c889c2f
ocaml(Util) = bc7bd2efd54f48e6bd13c058dfbd4af5
ocaml(Whitetrack) = 1edc09bb0fe5cb296fc2f8ddbf9dc3e5
ocaml-cil = 1.7.3-44.fc29
ocaml-cil(riscv-64) = 1.7.3-44.fc29
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(Big_int) = 7ab70fdf2234af7e5d1793b40a898af6
ocaml(Cabs) = 55084f8a36d58e5352c0dfd9371b441a
ocaml(Callgraph) = 8ebcc8ed83d8dd541e2f9b76f3f8e36e
ocaml(CamlinternalFormatBasics) = 7ea79e608e46b41c80c3251773e6fdf3
ocaml(CamlinternalOO) = 97f2eb1bc0716f60be886724bf7c7b32
ocaml(Cfg) = b3c5729810053a3654d57f23f2a65d00
ocaml(Cil) = 87fd037a2ea2bd105ae997b626951ba4
ocaml(Cilint) = fd19b8ec8ccebc94ac1a9356c82d2f2b
ocaml(Ciltools) = 12f4671010c1f1a852d4012b06c8e014
ocaml(Cilutil) = cbdae178af1d15304fc982b833d778eb
ocaml(Cparser) = 032958cb450922e5bcacc1791e6f03a3
ocaml(Dataflow) = 4d7b5c2ed09e00a99454a7b3e8850c02
ocaml(Errormsg) = aa80be317beb56756a2467d8c5e19e12
ocaml(Escape) = fcf9d462bb7f1c600cd7a3609b087df2
ocaml(Expcompare) = 68396a40e0846676b7d8359cf9757181
ocaml(Formatparse) = 9a6e334d7c336a1d261b3232d52d2b51
ocaml(GrowArray) = c430d1726660e1db60dd2bd1d23fd2be
ocaml(Heap) = 572ace29f1243d8a48140d468b822ebe
ocaml(Inthash) = 0e885e4d59b9ee795136235fa8cc2459
ocaml(Lexerhack) = ca08fb85f0fa237ab944211a3c175b38
ocaml(Liveness) = 2a378e934cfe620d92f484365d434999
ocaml(Llvmgen) = 9a843712f1d3bfcd0e49ea8ad1b89e6a
ocaml(Llvmssa) = 1785bb54e6ca3308af831a84da26017b
ocaml(Llvmutils) = 2d5f31fafdb5a62c9e3224c1fc3191f0
ocaml(Machdep) = dba2d5c4448967374cd9811c2d15fe39
ocaml(Nat) = 3e5c7e92d8f19e0449504a0dd9300d69
ocaml(Pretty) = 4169fcd5eb811bbbeb83a656f41de3a3
ocaml(Ptranal) = 5144a6c5dc1057c7b8156496aee228f3
ocaml(Reachingdefs) = d01b62cadca2fe535bb74989338e0727
ocaml(Rmtmps) = 3935e9fe68c23c6955581926f50359e9
ocaml(Stats) = c351fed541776cad6751c206a2319144
ocaml(Stdlib) = 2812fae09b173a42800ce3b48328b9cb
ocaml(Stdlib__arg) = 427a32ba894b2729b4053bd61ec3bc12
ocaml(Stdlib__array) = 8289b1b8bcdd29cc6a859bfa35d44a2e
ocaml(Stdlib__bigarray) = fde4e26503108d041547c9eef855a5fa
ocaml(Stdlib__buffer) = 10853d28756c7121334e6b9e3e83e1ba
ocaml(Stdlib__bytes) = fe610140c1c3c7a45519f124966c164d
ocaml(Stdlib__char) = dfbf7b404aa65639c2ae48823aae4141
ocaml(Stdlib__complex) = d4688bd6236fccf33550a083ea8e768f
ocaml(Stdlib__filename) = 59d4f5dc5b39cf14e1644b77a94ace28
ocaml(Stdlib__gc) = 121da7976d740f3d8c647f7734cb9e5b
ocaml(Stdlib__hashtbl) = 682884027fa100c01983d89cfc4eaf69
ocaml(Stdlib__int32) = 78bd846191e02a88baa4e9a80ecf1cd6
ocaml(Stdlib__int64) = a454ce987e87f19475aaffc6390cdac3
ocaml(Stdlib__lexing) = 4ca35ee6f83c87fbf3d6a22e3555e3ce
ocaml(Stdlib__list) = 0c0f6e8daa075e845d18d212dd78098f
ocaml(Stdlib__map) = c1f5b25c1463fcd9b8448c396d451c2e
ocaml(Stdlib__marshal) = c911b03d32659414e14cc02734715916
ocaml(Stdlib__nativeint) = b902bb985d2fe122694f9825a3a50cf5
ocaml(Stdlib__obj) = a596d23956eb4b50fd382185fb87478a
ocaml(Stdlib__parsing) = c277400343f616546ed67ff4e1646996
ocaml(Stdlib__printexc) = f94eb57f9995c6f95133374b31a2db08
ocaml(Stdlib__printf) = be9ae8643b5511d51db9c754b5ee4f74
ocaml(Stdlib__queue) = 7f7ceceae7e32ae22ed869d3d416da67
ocaml(Stdlib__seq) = 5c66a1fd18f6126043d7af46d32b4b53
ocaml(Stdlib__set) = ee3121b3672ab195758de1ce2e925022
ocaml(Stdlib__stack) = c2ffc5230781926be0a7955883c5115e
ocaml(Stdlib__string) = da1db0058f6dfb66ed4d85c353dc9306
ocaml(Stdlib__sys) = 173c21e20f3d44e9b4f52694fd5addb3
ocaml(Stdlib__uchar) = 786699188e2f8c1fe32eb8363cd7655a
ocaml(Str) = b0d96d5e51e6d5985ff4b5aadeb6a882
ocaml(Trace) = 81541dc488822de4e27f249c3fa3d7d3
ocaml(Unix) = e5f3d189d40891229c2283728e203e8a
ocaml(Usedef) = 4a756258b0768112e6f564d99c889c2f
ocaml(Util) = bc7bd2efd54f48e6bd13c058dfbd4af5
ocaml(Whitetrack) = 1edc09bb0fe5cb296fc2f8ddbf9dc3e5
ocaml(runtime) = 4.07.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.72 KB
/usr/lib64/ocaml/cil/availexps.cmi43.69 KB
/usr/lib64/ocaml/cil/availexpslv.cmi47.80 KB
/usr/lib64/ocaml/cil/bitmap.cmi2.32 KB
/usr/lib64/ocaml/cil/cabs.cmi13.08 KB
/usr/lib64/ocaml/cil/cabs2cil.cmi1.90 KB
/usr/lib64/ocaml/cil/cabshelper.cmi2.12 KB
/usr/lib64/ocaml/cil/cabsvisit.cmi11.50 KB
/usr/lib64/ocaml/cil/callgraph.cmi1.65 KB
/usr/lib64/ocaml/cil/canonicalize.cmi552.00 B
/usr/lib64/ocaml/cil/cfg.cmi1.33 KB
/usr/lib64/ocaml/cil/check.cmi819.00 B
/usr/lib64/ocaml/cil/cil.cma6.73 MB
/usr/lib64/ocaml/cil/cil.cmi113.94 KB
/usr/lib64/ocaml/cil/cilint.cmi3.70 KB
/usr/lib64/ocaml/cil/cillower.cmi543.00 B
/usr/lib64/ocaml/cil/ciloptions.cmi586.00 B
/usr/lib64/ocaml/cil/ciltools.cmi24.79 KB
/usr/lib64/ocaml/cil/cilutil.cmi1.45 KB
/usr/lib64/ocaml/cil/cilversion.cmi452.00 B
/usr/lib64/ocaml/cil/clexer.cmi1.41 KB
/usr/lib64/ocaml/cil/clist.cmi2.05 KB
/usr/lib64/ocaml/cil/cparser.cmi9.01 KB
/usr/lib64/ocaml/cil/cprint.cmi7.52 KB
/usr/lib64/ocaml/cil/dataflow.cmi4.26 KB
/usr/lib64/ocaml/cil/dataslicing.cmi549.00 B
/usr/lib64/ocaml/cil/deadcodeelim.cmi33.55 KB
/usr/lib64/ocaml/cil/dominators.cmi2.19 KB
/usr/lib64/ocaml/cil/epicenter.cmi1.19 KB
/usr/lib64/ocaml/cil/errormsg.cmi5.37 KB
/usr/lib64/ocaml/cil/escape.cmi737.00 B
/usr/lib64/ocaml/cil/expcompare.cmi8.88 KB
/usr/lib64/ocaml/cil/feature_config.cmi569.00 B
/usr/lib64/ocaml/cil/formatcil.cmi2.84 KB
/usr/lib64/ocaml/cil/formatlex.cmi3.10 KB
/usr/lib64/ocaml/cil/formatparse.cmi9.74 KB
/usr/lib64/ocaml/cil/frontc.cmi1.10 KB
/usr/lib64/ocaml/cil/growArray.cmi3.37 KB
/usr/lib64/ocaml/cil/heap.cmi1.29 KB
/usr/lib64/ocaml/cil/heapify.cmi26.79 KB
/usr/lib64/ocaml/cil/inthash.cmi2.41 KB
/usr/lib64/ocaml/cil/lexerhack.cmi905.00 B
/usr/lib64/ocaml/cil/liveness.cmi29.79 KB
/usr/lib64/ocaml/cil/llvm.cmi1.06 KB
/usr/lib64/ocaml/cil/llvmgen.cmi14.89 KB
/usr/lib64/ocaml/cil/llvmssa.cmi1.33 KB
/usr/lib64/ocaml/cil/llvmutils.cmi2.74 KB
/usr/lib64/ocaml/cil/logcalls.cmi540.00 B
Component of No Buildroots