frama-c-19.1-3.fc31.x86_64.rpm


Advertisement

Description

frama-c - Framework for source code analysis of C software

Property Value
Distribution Fedora 31
Repository Fedora Updates x86_64 Official
Package filename frama-c-19.1-3.fc31.x86_64.rpm
Package name frama-c
Package version 19.1
Package release 3.fc31
Package architecture x86_64
Package type rpm
Homepage http://frama-c.com/
License LGPLv2 and GPLv2 and GPLv2+ and BSD and (QPL with exceptions)
Maintainer -
Download size 45.59 MB
Installed size 183.26 MB
Frama-C is a suite of tools dedicated to the analysis of the source
code of software written in C.
Frama-C gathers several static analysis techniques in a single
collaborative framework. The collaborative approach of Frama-C allows
static analyzers to build upon the results already computed by other
analyzers in the framework. Thanks to this approach, Frama-C provides
sophisticated tools, such as a slicer and dependency analysis.

Alternatives

Package Version Architecture Repository
frama-c-19.1-1.fc31.x86_64.rpm 19.1 x86_64 Fedora Official
frama-c-19.1-1.fc31.x86_64.rpm 19.1 x86_64 Fedora Updates Testing Official
frama-c All All All

Requires

Name Value
/usr/bin/bash -
/usr/bin/python3 -
/usr/bin/sh -
bash-completion -
flamegraph -
gcc -
graphviz -
hicolor-icon-theme -
libc.so.6(GLIBC_2.28)(64bit) -
libdl.so.2()(64bit) -
libdl.so.2(GLIBC_2.2.5)(64bit) -
libgdk-x11-2.0.so.0()(64bit) -
libgdk_pixbuf-2.0.so.0()(64bit) -
libglib-2.0.so.0()(64bit) -
libgmp.so.10()(64bit) -
libgnomecanvas-2.so.0()(64bit) -
libgobject-2.0.so.0()(64bit) -
libgtk-x11-2.0.so.0()(64bit) -
libgtksourceview-2.0.so.0()(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
libm.so.6(GLIBC_2.27)(64bit) -
libm.so.6(GLIBC_2.29)(64bit) -
libpango-1.0.so.0()(64bit) -
libpthread.so.0()(64bit) -
libpthread.so.0(GLIBC_2.2.5)(64bit) -
libpthread.so.0(GLIBC_2.3.2)(64bit) -
ltl2ba -
ocaml(Apron) = cfb286edbebfc928bf022ca201b5cccb
ocaml(Bi_outbuf) = 64bea0af8c64d55e744f145bd0cda020
ocaml(Bi_share) = 85fbc3b35596beaae93af8c82fc1aab7
ocaml(Big_int_Z) = e40d30d27e85243a702c7f3799539dd0
ocaml(Box) = cba7ff8954382a0d061b467bbcaa7cd2
ocaml(CamlinternalFormatBasics) = a2b1a9d869fd05813beb35645bd9cd94
ocaml(CamlinternalLazy) = 32c2335718b9e6766271583b9840ffb3
ocaml(CamlinternalMod) = 790053edac433ef5a0a484d341e6a142
ocaml(CamlinternalOO) = d36e44265a1abc6fe38b4d90a9e29d76
ocaml(Dgraph) = c9a06d524cc12516d0d0853ce2042ebd
ocaml(Dynlink) = b4c6fa184c7bbe2227e512ad3c405b71
ocaml(Easy_format) = 8fbcce2d32daa4f663f8cdb89f9fc2a7
ocaml(Findlib) = e8a8fc2da474d65eb645a7be7752959b
ocaml(GBin) = 27f3ba5521a4d780c7d6269410b553db
ocaml(GBroken) = 3d043391783aa3e8f8447b994969898f
ocaml(GButton) = bc1b878612e385e3a4f6970e27600f05
ocaml(GContainer) = d710a6e549e672f20715edf3b61b8db6
ocaml(GData) = 02ff475d2926fae3ae4d0d3cfdfca6ab
ocaml(GDraw) = db0f757ac35b3306a7f842f704e5171a
ocaml(GEdit) = 5f0fc9e3fb4df2f483c81805a072a53a
ocaml(GFile) = a61a9231c9fa37c313852949986c221e
ocaml(GList) = 54ec69ba7f696cf149f29cabbd80f498
ocaml(GMenu) = 80bc7407af974e177de897d5d2c4f7a4
ocaml(GMisc) = fb2d761cdf1d2dc42eedd0628ea535e6
ocaml(GObj) = 355487097b4ee2d2646896ef81fb13d1
ocaml(GPack) = d8f0f509be336abad8c97639802c4878
ocaml(GPango) = 28c701d3afa1885a740c72dbff8831a5
ocaml(GRange) = 0c81dad45b03ffc32768f4b852cfef44
ocaml(GSourceView2) = 62d74b59c5c27d6a99922fec91f1a20b
ocaml(GText) = e6da1e05ce9dc9c622b821e3b15eadb5
ocaml(GToolbox) = ac7c24e44bdc8d4464ca3c5ea85bb1db
ocaml(GTree) = 6c81f71e0520006295cf9ff776f105ec
ocaml(GWindow) = 139842994b04e2b58ad79e5192f0656d
ocaml(Gaux) = 3480ac255eb2a1fc11730b93be0b7f9d
ocaml(Gdk) = 362996184255565b9c1e91545e86a204
ocaml(GdkEnums) = 8cb7cac4629ab75c0f09531df1f42e7f
ocaml(GdkEvent) = 54ad0ec462a7c89aff297fc2755abcb7
ocaml(GdkKeysyms) = 85037e7a59f19236bfd61752dbebdfbd
ocaml(GdkPixbuf) = d5cb41cbf519053284783d98e1cf6fab
ocaml(Glib) = bcc90c4e7180aedd434b5442fc88f73c
ocaml(GnoCanvas) = 64d63faf3fac61b4e86eb42c6b1a2090
ocaml(GnomeCanvas) = d2db658cc2d083130d7856dec03104ef
ocaml(Gobject) = c7e4aff7e2d4fce65719c391bdba8792
ocaml(Gpointer) = e585ca4bd2cd3849d5b035ece6b3c7ce
ocaml(Graph) = 55ece75223eb433766328c82c4571a94
ocaml(Gtk) = 2f0fd57562d3210a574dde87a223a61d
ocaml(GtkBase) = 5f2d92e9f72b08e674ec17ecaab7e374
ocaml(GtkBaseProps) = 8ec6eb2c896deb2d03fc2cdd2746951f
ocaml(GtkButtonProps) = d5a015c1c8edfcb1ffd4af3b7e040743
ocaml(GtkData) = e18639ce693375839ac8a975fdc24fa2
ocaml(GtkEnums) = 6144ee804dc872507df0ded86f5ec2af
ocaml(GtkMain) = 2e0ef195523c0e1ddab908540b40ad53
ocaml(GtkObject) = 16394e1facb679a8b67e5f14fc482a06
ocaml(GtkPack) = f8c16032888e2da6569d6244c5fcd65a
ocaml(GtkPackProps) = df547e9f5394bc1f86fc74a6dc74e3ea
ocaml(GtkSignal) = 7494218c6eca828628d6756f2af5306c
ocaml(GtkSourceView2Props) = 00783dae9ffc8af7669053a39a809237
ocaml(GtkStock) = 732784111eb83fc4701238d809d51643
ocaml(GtkTree) = bf4c92763637b9bf8ceca0d6b9a41e0d
ocaml(GtkTreeProps) = 0ed20da3390776f0ead015303849c6a1
ocaml(MenhirLib) = 98aa50e6b01523b7408815d6d6b255b7
ocaml(Mpf) = bdd5163deb3876aaa23f1f96bc7ebefd
ocaml(Mpfr) = ea259caae64b60dd917fb9ebfc95eb1d
ocaml(Mpfrf) = 2d08e4f8f679a6fedcdc44553e712924
ocaml(Mpq) = 9d4e6e579a442035ed136973b6b94a02
ocaml(Mpqf) = f7ecc218e8b746840e2228a1100dfcc5
ocaml(Mpz) = 861889f0bdbdd5e3a89b5b1dd414b9d3
ocaml(Mpzf) = 4bfe354f2b58f9c6312bd6cb2b641cf6
ocaml(Oct) = 341e3e56c2b046a3f368d6fe56880ac5
ocaml(OgtkSourceView2Props) = 29fab191700b16df8aedf24b0e12fe25
ocaml(Pango) = 254ecc6a6c4222845b70379c193ec950
ocaml(PangoEnums) = 39845d5a3f451ad263c1265ecef216cd
ocaml(Polka) = 0a9b3c195a6f99f1415267fb922158b7
ocaml(Q) = fcc6da4923faa12958d66429cd2b4fe9
ocaml(SourceView2Enums) = 948f6112b50d5dc0f0b2d0da5b8c8691
ocaml(Stdlib) = ad45f251bbf98d3a0bf3b883546ecfc8
ocaml(Stdlib__arg) = 5946cffdb65af107c239a1dd5b0b22b7
ocaml(Stdlib__array) = 8412db19ee2dd682a114d363bf147818
ocaml(Stdlib__arrayLabels) = f772da3247cea67fe03b8afec1db1ac1
ocaml(Stdlib__bigarray) = a39abb3f899c4b4ea72b1eda931404b8
ocaml(Stdlib__buffer) = 35866fa9f82ad0886b2ccd0a86f2e1e6
ocaml(Stdlib__bytes) = 6b7074af78d2fce4ff8323a7d4e5ea0d
ocaml(Stdlib__callback) = da1159c8ae37cdd81384691e3d654569
ocaml(Stdlib__char) = 1f7aaa002e7504e2fcb18665bf17141d
ocaml(Stdlib__complex) = 3e86422b431ff5c172197d51a2afdd52
ocaml(Stdlib__digest) = 2dc26e44fb2a3b3a7a88e249d70242a8
ocaml(Stdlib__filename) = 620b1f6f6d9c32af927183ef4ceedb7a
ocaml(Stdlib__format) = b19f294d464555e99bcd77ca013195d9
ocaml(Stdlib__gc) = 970a1de1bd727bfd42430520e49734ec
ocaml(Stdlib__hashtbl) = 8a0f9b54a9d30b1aeff83f4bae88dfde
ocaml(Stdlib__int32) = 9de27084a784cd13eb5e5552ddbd6b4e
ocaml(Stdlib__int64) = 131e92719192bf020f99efe1afb0007c
ocaml(Stdlib__lazy) = 31c662c7cda074a9799490137c4d7016
ocaml(Stdlib__lexing) = cf953e945260781e23991e3991f9d5b0
ocaml(Stdlib__list) = fa1a1736c894577d834b1d79f2682a7e
ocaml(Stdlib__listLabels) = 29fcd9bd9e9843fd04f79bc2b940c416
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__scanf) = 5b61f6db39154f9e1e418dda227a1351
ocaml(Stdlib__seq) = 359c95515bb2842e5ad1497a5b684136
ocaml(Stdlib__set) = 579516330b5c99c94e9cea433159c1ef
ocaml(Stdlib__stack) = 607d26d00f135f62976f5b252e211e79
ocaml(Stdlib__stdLabels) = 94340ccc9b7174a2df18e7bd5816c796
ocaml(Stdlib__stream) = deb625f011da89c7ad56e935ac3521b5
ocaml(Stdlib__string) = 89dc8c0e4f92ce704437ae3fafad684f
ocaml(Stdlib__sys) = 13aa7b95294684724e198467fb7c3467
ocaml(Stdlib__uchar) = db24a5ebd1625809ae883920f16c2526
ocaml(Stdlib__weak) = 13cb2546146b481a7b2d5ff8fef31bea
ocaml(Str) = 8f606ab43354811d8e27aa499347d0bb
ocaml(Unix) = 323356c8c72d73e9e59421c988efd3aa
ocaml(Why3) = 7434b6e3016c40fa5e00899b364787dc
ocaml(Yojson) = 9b4d0b7c4d375e24e122a000c6e89e78
ocaml(Z) = 979f462ef56c1e219217da37a31a71ca
ocaml(runtime) = 4.08.1
ocaml-findlib -
ocaml-yojson -
rtld(GNU_HASH) -

Provides

Name Value
application() -
application(frama-c-gui.desktop) -
frama-c = 19.1-3.fc31
frama-c(x86-64) = 19.1-3.fc31
metainfo() -
metainfo(frama-c-gui.appdata.xml) -
ocaml(Abstract_interp) = 2191df7e2bdd5b2aa77b90432381b7fc
ocaml(Alarms) = 6fac7a3f236797a5dd6b1c6e50a503eb
ocaml(Allocates) = 9137d587f6a98d8a5bc2232e2d4c9416
ocaml(Alpha) = 42696a006f1cfd6473d6ec6c82c64a9a
ocaml(Analyses_manager) = f41bd8ccdc7991852898f96bd25d6ce5
ocaml(Annotations) = 02c1132cd04345646e782985e8a694be
ocaml(Aorai) = 383081985cbcea642b1d3ca85668bb83
ocaml(Asm_contracts) = 30e4f8437f492c320c40d368b80a6e7c
ocaml(Ast) = d1e9b929ef140b4fff299b8ccc4afb29
ocaml(Ast_info) = 760cdb562603ec0d9a4793c6718338e8
ocaml(Bag) = 64f74efc8fa6fe61567532ea6ce5915f
ocaml(Base) = 37364342ac367fdc24e7141aabc1c88b
ocaml(Binary_cache) = 5db6a5203963ba8a6726337dd239501f
ocaml(Bit_utils) = 3d815de9f69553dfa405b7f0cc1eb76a
ocaml(Bitvector) = 14bba4685e1742783f373eb23979fce2
ocaml(Book_manager) = dd0edd8eed2456e5a4ddb8f319108652
ocaml(Boot) = a861c8fa141818694416f3d08b743f14
ocaml(Bottom) = 41d02588fcb3bd339446282ed3ec906e
ocaml(Cabs) = 469ded93bc919c40f2e01ca782812aea
ocaml(Cabs2cil) = e73e51d63a7815fc118fa12366676ba8
ocaml(Cabs_debug) = 5490baa6594d7a87b8e89af2b688b991
ocaml(Cabshelper) = 269c29491d7d0851282782de4ab91151
ocaml(Cabsvisit) = 2c44d8cfce97ba80c5f3d0a2713990df
ocaml(Callgraph) = 27a8418432c1100609b1829f83480b69
ocaml(Cfg) = 383dd240d7878a54090bf7ea7efa7887
ocaml(Cil) = 75f18bf7a81bded77055d22e0a114d30
ocaml(CilE) = 43512f04f6a1510dc6d7bce895953032
ocaml(Cil_const) = b8bd9fed288cc63917598cd32a96dfbb
ocaml(Cil_datatype) = 1c538e288c1c3e8e44ec8ffcb579b12e
ocaml(Cil_descriptive_printer) = 789c6fb071300d8826ba44d42cdfad0f
ocaml(Cil_printer) = f1355e33ef0bdeef0416da9525e338e1
ocaml(Cil_state_builder) = 2c8b711c6205457ae012c743a1e7fed9
ocaml(Cil_types) = 2c076ee7ad66e5b95fe6ae9eb2801d05
ocaml(Cil_types_debug) = b8505aa66fd335d7869eb01983818196
ocaml(Cilconfig) = b74a21954d447c53e4e6c351135e41c5
ocaml(Clexer) = 71c995f0a0b087dd194921be04279324
ocaml(Clone) = 8661077e1c86d5fc835e74f6a47050f7
ocaml(Cmdline) = 372abdb55e625d928ce5067bd51c0e2f
ocaml(Command) = 3a66eec92aed803ce871448c993668fc
ocaml(Config) = 008a1da60c85a1a697f4342007ebf317
ocaml(Constant_Propagation) = b81a1beca81c386dd5de7883d377b76f
ocaml(Cparser) = f9d3070a72608274b74ca6bf1ae2e7e4
ocaml(Cprint) = 72a96a78932758182d1d16ebd03e09b2
ocaml(Cvalue) = cca96c1e26076ab6925ef03b9ac9636a
ocaml(Dataflow2) = fe8cc09d83a59c52dfe789c2688a062c
ocaml(Dataflows) = ab9485db1278431f1018e0b905584b8d
ocaml(Datatype) = d0586c21602da8a2850eed6c1c29ce12
ocaml(Db) = 6472dd2afc6b2bed225b1786edf511bf
ocaml(Debug_manager) = 726bba47a160c067f2ad05296e489253
ocaml(Descr) = 0e3026522c60613041a3341eb2c61698
ocaml(Description) = 71622632418169239938f84a44a45451
ocaml(Design) = 5b7a5f7f008630e1904c2bae541184aa
ocaml(Destructors) = 6a8dc7343688a3946e456ee44a6b7f51
ocaml(Dgraph_helper) = 9f3b10e77a1680090f42c0265e53a77a
ocaml(Dominators) = f0eef1e87e237fa4f629e0bd569ddbac
ocaml(Dynamic) = b7893d95a44f64673820ea737d2b4c03
ocaml(E_ACSL) = cfce2895929cc8c5af36b11344b8b065
ocaml(Emitter) = 3c9c878cb55776ec5a409a7224572f2f
ocaml(Errorloc) = e272141bc3a5f57c6db98a649d044074
ocaml(Escape) = cb7a07fdeaa05d4ed2f1b75c841ff0e5
ocaml(Eva) = 65428767c2cda4bf5cfed3fab3f870f2
ocaml(Exn_flow) = 444e60d599ad88631a97bd692c9c9f54
ocaml(Extlib) = d5c5490a5f2205cff345aee66d0c6cf7
ocaml(FCBuffer) = 2d32af76ed31f171481dfd2567547bf1
ocaml(FCHashtbl) = ac833e025c4674aebd1eb0022c26aff5
ocaml(FCMap) = 71e7b9aedcfec6fb53d8003141475d19
ocaml(FCSet) = 8688ca6e80349ed7dc06614ca346cbd5
ocaml(Fc_float) = b1a63903631932b28e11c5deb7636bec
ocaml(File) = 30dc6fa92a508d71deeed2130b00c586
ocaml(File_manager) = c9365fc3c85dfd18bed123c9eb897975
ocaml(Filecheck) = 3802a0b655eb1d5eca113d9206571af2
ocaml(Filepath) = 9511e408c0b43c571b388bc7c646a0f7
ocaml(Filetree) = a825586fe5ac5783453031c05ae99ab1
ocaml(Filter) = 84b0a1c46f58855cb491761de3740ce3
ocaml(Float_interval) = dc76722717dfd95a97c7b4e0e289456f
ocaml(Float_interval_sig) = e1973ec509e88cf3e03fb467eb28c98e
ocaml(Float_sig) = 82f0d48d154f43c5b78e0aba6f02f83f
ocaml(Floating_point) = dfcd77505234c73f18d83495d934e135
ocaml(Frama_c_init) = fcd7b8a3841df12c5bd3832ab7c49056
ocaml(From) = 3f49938e6e894bf27a521a3d5c9accb0
ocaml(Frontc) = aa9f04b19a83d3e02f7fb743c6dc3064
ocaml(Function_Froms) = 704dd53775b2e95738675a85456e24d9
ocaml(Fval) = 7791536de453636e720b7420213f5e6f
ocaml(GSourceView) = 6a243fdf20f65891ccb6a92ec128d4fa
ocaml(Globals) = c84f245a7e39fb19bfab5e1b60275cdc
ocaml(Gtk_compat) = cfc5ed711ae0abe58d341912a537ca46
ocaml(Gtk_form) = 4e92978ec7b9962c51317fb35b057bc5
ocaml(Gtk_helper) = 1a2dc77c08c3709b1addc71b5293cad1
ocaml(Gui_parameters) = 299d5464bd631362e36871a7c301a5df
ocaml(Gui_printers) = 087fe3bab4ed07ea554b41895ca9620d
ocaml(Help_manager) = 6101fbea95f72503b450a9678af9960d
ocaml(History) = 92b346c52122b675cd920640576341b6
ocaml(Hook) = e0f10f6534d6885cae598966022bf777
ocaml(Hptmap) = d65c5fa51895990383c51084cf3c8db2
ocaml(Hptmap_sig) = 0ad4ce96e090c23431cf091a638e9463
ocaml(Hptset) = 1e5a21414b69003e0b7a2d5b7e1d7d2b
ocaml(Impact) = b9d05692ad2dc0fcaaeed53db26fe99f
ocaml(Indexer) = ecaf0de88344a4001c671a6129d641cf
ocaml(Infer_annotations) = 33f349697ca8ff376669d5281464c0da
ocaml(Inline) = 6805c7fa35da2250685466bcd7742ff0
ocaml(Inout) = 36a56bce45cd042c61e21cb9e1883041
ocaml(Inout_type) = 8b52735f5616c8e09d5c3a88cc9a571a
ocaml(Int_Base) = a04426fbd9b35acc89e7120e301b10e2
ocaml(Int_Intervals) = ef5278bf97b8c096911e747a4a766a6d
ocaml(Int_Intervals_sig) = bc27a808b6dced8cd6cedd5246ef072e
ocaml(Integer) = c09b20af0489f7bae47fb802993db91a
ocaml(Interpreted_automata) = 2177df6c1f1466e466051efc47e2bb32
ocaml(Ival) = 291a4210326ad5d814e9a7fc07d17fc7
ocaml(Journal) = 7f5d42b5f782eed9a9c2e9297d5e62a1
ocaml(Json) = 281709acba729a1737ec4c90ac9cd5bb
ocaml(Json_compilation_database) = 9b1e2f61d33391ca3ba86d40088571df
ocaml(Kernel) = 061acf96d00a2b63913d198606665d78
ocaml(Kernel_function) = f45ba6b83f3654babe67c5db765abf23
ocaml(Lattice_messages) = 8bec92a647d386fe7fbc523f203ea192
ocaml(Lattice_type) = 12b9c021638ba20e9a271636df365fb5
ocaml(Launcher) = 8fd1689086aa6001d235c96a7ffbf6ee
ocaml(Leftistheap) = 4eb8f029c7919b3d9d77d0ad1679fdf6
ocaml(Lexerhack) = f1d93dbaca7fa91f73e06186cc7804b7
ocaml(Lmap) = c815a871bc2ac592ac5de87423e84472
ocaml(Lmap_bitwise) = 7e697262724273e7cbbf3b6922b0d21e
ocaml(Lmap_sig) = 292be40d8fba80149cf1f24cafa71a42
ocaml(Locations) = 43826d2662536d0d3d7e5fcbe20b74c3
ocaml(Log) = 6bd391d93a08cc1c66d8049bf8b61332
ocaml(Logic_builtin) = 58e325a9343965a2c6d20a95d5b0390b
ocaml(Logic_const) = 7c680ae9509fbc4ab089d17e24f3610d
ocaml(Logic_env) = ad2d469ffb42efacbf860a8d1693fd73
ocaml(Logic_interp) = 4601dadb29857ddbd1a596deb16d69c0
ocaml(Logic_lexer) = 7ce467590369e5081497fd6a08c6de85
ocaml(Logic_parser) = 52389a3f79dfda6fb95ecf79fe733918
ocaml(Logic_preprocess) = f89e92a8fc246bd6dbbaf03177d9a8e3
ocaml(Logic_print) = ce24f63093282a95fd025d5122d45703
ocaml(Logic_ptree) = 18f023c9d89bc3c53068a5e5045b4247
ocaml(Logic_typing) = d930baaca13f37a664ef4beadf559885
ocaml(Logic_utils) = b4c17369e73dc051030d7f79d120263d
ocaml(Loop) = 986d8380291a20f8c2c4891e3bbfd8f7
ocaml(LoopAnalysis) = 438eb88d8c8026231b23bcb5304e8c5b
ocaml(Machdeps) = 59cc89a569485f0a64d9b0e63b85deac
ocaml(Map_lattice) = 0c98262c74b93dc17048c1a240a57ee3
ocaml(Menu_manager) = 3dc0b033d73624e9a88744ddeaac8db8
ocaml(Mergecil) = a40f2046fb47c828cc1d6aece8136f6e
ocaml(Messages) = ef9719ad52f4b17cd60f6198caa7d86a
ocaml(Metrics) = f14a665de43cdfebf09c514a23533f02
ocaml(Nonterm) = 665212c7f21fa11476ec1f22e6111266
ocaml(Obfuscator) = e328c083e611046c59f827b1ca90861d
ocaml(Occurrence) = 06cd172026bd0ce0214aa8b55c80ffe0
ocaml(Offsetmap) = eebd657e3a035161caf23f2c0427fb91
ocaml(Offsetmap_bitwise_sig) = 257041d0f41fa002b3e14cc0d03a6e1d
ocaml(Offsetmap_lattice_with_isotropy) = 9a64d0f51427d3177d85dccc71556645
ocaml(Offsetmap_sig) = 2c3dc57afd79b8c7c002ee272d301d48
ocaml(Oneret) = 0993ee0588901c9443259047d0196b70
ocaml(Ordered_stmt) = 018f9673ca53e818c5e0162412b55737
ocaml(Origin) = a1c92bda407ae3fff82fb94133e60e54
ocaml(Parameter_builder) = afbf337fde6960dfd7023673db7f2bd8
ocaml(Parameter_category) = 9756081ad33fd068979b31e39c93bba9
ocaml(Parameter_customize) = 415fee6008216dc1d9748c0c271cd6da
ocaml(Parameter_sig) = 189570083fe22f2a60f868dd01cd06de
ocaml(Parameter_state) = 39a90917a4ed451b04e9b2d91fca39ff
ocaml(Pdg) = b16d8e8d05ce7e65ac7d4dca169e7fa4
ocaml(PdgIndex) = 5d72fb216a32c752e93593596609e0ee
ocaml(PdgMarks) = 9d4f4960fa9bb05bef0164bd5d5c8395
ocaml(PdgTypes) = 7f55d64305533c746bbd894adedb82a4
ocaml(Plugin) = ecda0e28aa393e3663c4282f8df30776
ocaml(Postdominators) = b8460bc3e02fe4bbdb5f31b543587fee
ocaml(Precise_locs) = bc17f16fc7ae30c8b9176e1520b5c5e3
ocaml(Pretty_source) = acbbc00ed891b9a251ed9be4f345f886
ocaml(Pretty_utils) = c4c9344bc07ae12f7938f771989be2a0
ocaml(Print_api) = 7db53b12ab64229eccc9c3bd2a889dc2
ocaml(Printer) = 579796601f794cd5c712af3cbe554338
ocaml(Printer_api) = fa735ca6d7b758ad0592abc413df1985
ocaml(Printer_builder) = 70cd44435f2fab2f97bb5c6041c288a5
ocaml(Printer_tag) = e5f604701cdafe99d4b145b1245da5f0
ocaml(Project) = 1b5f48e48ce3b1fbb2e66b3c92764965
ocaml(Project_manager) = d7ace65aa834052d80fc0c9fa5e091fa
ocaml(Project_skeleton) = 38135010c7695844fb13a894e90b8170
ocaml(Property) = f4a09bdbd755785b1b22a0007d86e994
ocaml(Property_navigator) = f85903250edcd76464470f14bae49885
ocaml(Property_status) = 251475465b93fe1ab6275eb850cf283e
ocaml(Ptests_config) = d8cfd18ae9be3fc5d292e2e0641cb04c
ocaml(Qed) = 14d12283ae6047f46053e31ee2382598
ocaml(Qstack) = b95a45d352ac92f9cf6870f66c8aa04d
ocaml(Rangemap) = 360172eb25ecab80f9a32d240fc18038
ocaml(Report) = 89dcb1d347b167b7d329a7486e2de0fc
ocaml(Rgmap) = ae8961a6db220f6cc11c1e6c3c9326eb
ocaml(Rich_text) = 62dc315bfd58a4aa4f9f49a3751de785
ocaml(Rmtmps) = f803350e0f96c10054d79d41df436664
ocaml(RteGen) = 9da8bcd2bc8dc78085102ce9cf07ecf1
ocaml(Sanitizer) = 3fbd1f8720b4c7210073eece4cd079d9
ocaml(Scope) = 7426dfc07c83fcdc57ecbb896e3d048a
ocaml(Security_slicing) = 68489ee58d540687f1e896ccc70add31
ocaml(Service_graph) = 39faac509706b769a655e83a5beb535f
ocaml(Slicing) = 194b8babb8e018bebdbc54551b239043
ocaml(Source_manager) = 35bb50ac91691f46235d3a1eeb960a09
ocaml(Source_viewer) = 2d256a9bee4bc87958dbcc12c17df861
ocaml(Sparecode) = db560a5aa7bb551f88c25505f8c68310
ocaml(Special_hooks) = db05bc880d7fbc4cbd4785f9353023c3
ocaml(State) = c81157cc25a8e68330aaf5355c6b4aa8
ocaml(State_builder) = 6055ad7cc39276915f261b54b1c256ba
ocaml(State_dependency_graph) = 4a35ba782faab91bf1cff4fd08e16f5d
ocaml(State_selection) = 0c4e84ab887221d11d4c899d1cb8a563
ocaml(State_topological) = f73288149474f678eca04fc6dd57abc8
ocaml(Statuses_by_call) = 49c01278454b825264f76610766bfa81
ocaml(Stmts_graph) = 39e6d3a0610089d4d5cf6499c85c91aa
ocaml(Structural_descr) = 8f0e855d0581585f917a51bf1d255249
ocaml(Studia) = 9e5d895ebec84aa5cc25f8951829c51b
ocaml(Task) = 0a809bdf7b1a4bb5b07745533fa7acf7
ocaml(Tr_offset) = 73e2820db540cd61aec5e3bb3172d130
ocaml(Transitioning) = 8ad28cd57420c3934788487f91556ff4
ocaml(Translate_lightweight) = 8d6719ec16c821c84a682fec2aa3a3d9
ocaml(Type) = 0187da7efb45aaedce12052affdf0639
ocaml(Typed_parameter) = 8035fe80ad29d5a1556a819d3d2f9399
ocaml(Undefined_sequence) = 4dfdd0e391af80f7fceca3c74b24c863
ocaml(Unicode) = 80d9c0bb9cd1a11075206dab6b3a6ece
ocaml(Unmarshal) = 3d68fb8fd500e7c919c309b5d236e368
ocaml(Unmarshal_z) = 830c2354a8c2b82520856b20fbf7af29
ocaml(Unroll_loops) = 6d4a0af7c0c779aa82adc3f79f5b9454
ocaml(Users) = 808e51ec3212ac4ce07a9931219ca18f
ocaml(Utf8_logic) = 6cd1654cba7c141d07fecb59afce6a91
ocaml(Value_types) = 5b3ff4c28896ab93c7425f5f1024d4e6
ocaml(Variadic) = 4d14d9988707d0135a02fa834b295c48
ocaml(Vector) = eb3645e5a4081609dbaeb4373b6bdbe5
ocaml(Visitor) = 372ab17f293ce1456322867c7546f4f5
ocaml(Warning_manager) = 3c89a81e1328ce18570aae67ccc7f415
ocaml(Wbox) = eacc7c285715919e9fa94f529fb78a18
ocaml(Wfile) = 4b88dcda78105e17eab55cba1dc8f575
ocaml(Widen_type) = f74ec26e9f6ce9a41f4172ec216f4752
ocaml(Widget) = 7b4508123cdae3baca3bcab6f71ca3d8
ocaml(Wp) = 0a8243a3a0566e36915e19d678bd045b
ocaml(Wpalette) = 3bb60a0a370a7e162945d885b8668e3a
ocaml(Wpane) = 56b3a5abca6a1def85e5c06e509055d8
ocaml(Wtable) = d1da00862f4a24356534850aec193b3b
ocaml(Wtext) = 0454505de2f67c9ef4b6e22af272322c
ocaml(Wto) = d5fa12502f9cee37609332a349a6c07a
ocaml(Wto_statement) = c1639049c47b633a79a7d9196927946d
ocaml(Wutil) = b12c343759164aaa39be0975e03c32d9
ocaml(Wutil_once) = bc81753dbf81dfad239f9d1f44fc31b8

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package frama-c-19.1-3.fc31.x86_64.rpm
Source Package frama-c-19.1-3.fc31.src.rpm

Install Howto

Install frama-c rpm package:

# dnf install frama-c

Files

Path
/usr/bin/e-acsl-gcc.sh
/usr/bin/frama-c
/usr/bin/frama-c-config
/usr/bin/frama-c-gui
/usr/bin/frama-c-script
/usr/bin/ptests
/usr/lib/.build-id/
/usr/lib/.build-id/09/4ab61c9722bc76979e97d3531a69d91dd02aed
/usr/lib/.build-id/09/7081b12b707402d8428d7681f5369a50570dde
/usr/lib/.build-id/0c/e7c53c94ef21664951b2feeb084d305c18a2e0
/usr/lib/.build-id/13/a52b0f62a554bcfe0e95ca689c0553c84774fc
/usr/lib/.build-id/14/c36e0532e4e87562285207f9563946192d106f
/usr/lib/.build-id/21/fc3eb2ece4f3200d9a342b5fd1bda21d933d03
/usr/lib/.build-id/22/6e81cc5d0d1cdb7984ba00f8d1c5b202cd616b
/usr/lib/.build-id/24/164706fc527089d5a7ae15fb13750ec16acba8
/usr/lib/.build-id/2a/2a464d2275d4595084725cb4b21da5ff9c9ead
/usr/lib/.build-id/2f/a9b40501bf9ef0c8a32b555e4629571ccd1f58
/usr/lib/.build-id/32/71d5b86175ac99d4e0825a026d9c037a61cb2f
/usr/lib/.build-id/42/c696858505b10b622af104f9c9e394c7689186
/usr/lib/.build-id/43/2c2bd1fe82e7ab6fccf917f19bbf30ddd9bdfe
/usr/lib/.build-id/52/3bf5d35e5825b18ad2fcec2090c9008aa85ae0
/usr/lib/.build-id/58/0c1dea9c3306b239f0f9d18f547705cbd4a1a5
/usr/lib/.build-id/58/495103b4b750993643f9c38b10ec8cdafcddd6
/usr/lib/.build-id/5c/505d2cc77a217cb57d9e3ec07fe1ac3b3fabaa
/usr/lib/.build-id/63/2679918f0e2070940ed620cc707c918585bc77
/usr/lib/.build-id/64/60f2dd438367db555337986a9230467e6e21d1
/usr/lib/.build-id/72/c5d5ae78c8f5dbc04fe2bc438e719c603b27d1
/usr/lib/.build-id/73/e2794b1c593ce5951a6272acb2703713c51edb
/usr/lib/.build-id/75/7f1c7095e45b7e302055ddc300830511f4581a
/usr/lib/.build-id/78/1339086c842742f5804056aa607bd9ce737ccd
/usr/lib/.build-id/7d/3af94a537baa15bf0d27094583ed5a1ac3b202
/usr/lib/.build-id/90/45e537714e633a6c8735cbce264bfc192f3e08
/usr/lib/.build-id/93/d77b13a7978772cb73a7c8548b0ef843179c4f
/usr/lib/.build-id/97/10d2cfc97533f9305a979d7999f15723976e19
/usr/lib/.build-id/9a/8d6599c5b3cf7320e2d1d8a89bf64a33e59f70
/usr/lib/.build-id/9b/23e5984e183301bb38a41f1fa09c89bc1deb0c
/usr/lib/.build-id/9b/4c3b1dd17732c36437b36b307e225eaa34993d
/usr/lib/.build-id/9c/7a93a01b7ab8b40187f60fc4face8089a666f3
/usr/lib/.build-id/a3/4db5e9f847edc754d60ad7325c53e401d43f8b
/usr/lib/.build-id/ad/4bfbbb5138cb73cefb5bef32056d61bb0ebb92
/usr/lib/.build-id/ad/61cb54f6ba6ac5f88c8ceb7e1acfa0d1ee7b79
/usr/lib/.build-id/c4/02fe5ad83170a01c6a5c9063ba7cb5851377c1
/usr/lib/.build-id/c9/be62c44164fda75c6a94fe8df87ada542ddb6d
/usr/lib/.build-id/cf/854b955217c8ed07248ffb519a20cb6c769163
/usr/lib/.build-id/d2/fa0b2bf7084d35db517b8bf02aca67e67dcb0d
/usr/lib/.build-id/de/c49c6e139d94c6a1699f7460f0af1292465410
/usr/lib/.build-id/e3/66b3021abca97058c560b42788736daeff178f
/usr/lib/.build-id/e4/beadff949533207de60e028413f82def9c62b2
/usr/lib/.build-id/e9/032c4178f2f8b1b3c1840ba561367d9e03da66
/usr/lib/.build-id/f5/1055a08b4ad7d55d63fa6bdeb02938c99aaf8b
/usr/lib/.build-id/f5/ee755408e143d40e4c473e59330000eae71a2a
/usr/lib64/libeacsl-dlmalloc.a
/usr/lib64/libeacsl-gmp.a
/usr/lib64/frama-c/FCBuffer.cmi
/usr/lib64/frama-c/FCHashtbl.cmi
/usr/lib64/frama-c/FCMap.cmi
/usr/lib64/frama-c/FCSet.cmi
/usr/lib64/frama-c/GSourceView.cmi
/usr/lib64/frama-c/META.frama-c
/usr/lib64/frama-c/abstract_interp.cmi
/usr/lib64/frama-c/alarms.cmi
/usr/lib64/frama-c/allocates.cmi
/usr/lib64/frama-c/alpha.cmi
/usr/lib64/frama-c/analyses_manager.cmi
/usr/lib64/frama-c/annotations.cmi
/usr/lib64/frama-c/asm_contracts.cmi
/usr/lib64/frama-c/ast.cmi
/usr/lib64/frama-c/ast_info.cmi
/usr/lib64/frama-c/bag.cmi
/usr/lib64/frama-c/base.cmi
/usr/lib64/frama-c/binary_cache.cmi
/usr/lib64/frama-c/bit_utils.cmi
/usr/lib64/frama-c/bitvector.cmi
/usr/lib64/frama-c/book_manager.cmi
/usr/lib64/frama-c/boot.cmi
/usr/lib64/frama-c/bottom.cmi
/usr/lib64/frama-c/cabs.cmi
/usr/lib64/frama-c/cabs2cil.cmi
/usr/lib64/frama-c/cabs_debug.cmi
/usr/lib64/frama-c/cabshelper.cmi
/usr/lib64/frama-c/cabsvisit.cmi
/usr/lib64/frama-c/cfg.cmi
/usr/lib64/frama-c/cil.cmi
/usr/lib64/frama-c/cilE.cmi
/usr/lib64/frama-c/cil_const.cmi
/usr/lib64/frama-c/cil_datatype.cmi
/usr/lib64/frama-c/cil_descriptive_printer.cmi
/usr/lib64/frama-c/cil_printer.cmi
/usr/lib64/frama-c/cil_state_builder.cmi
/usr/lib64/frama-c/cil_types.cmi
/usr/lib64/frama-c/cil_types_debug.cmi
/usr/lib64/frama-c/cilconfig.cmi
/usr/lib64/frama-c/clexer.cmi
/usr/lib64/frama-c/clone.cmi
/usr/lib64/frama-c/cmdline.cmi
/usr/lib64/frama-c/command.cmi
/usr/lib64/frama-c/config.cmi
/usr/lib64/frama-c/cparser.cmi
/usr/lib64/frama-c/cprint.cmi
/usr/lib64/frama-c/cvalue.cmi
/usr/lib64/frama-c/dataflow2.cmi
/usr/lib64/frama-c/dataflows.cmi
/usr/lib64/frama-c/datatype.cmi
/usr/lib64/frama-c/db.cmi
/usr/lib64/frama-c/debug_manager.cmi
/usr/lib64/frama-c/descr.cmi
/usr/lib64/frama-c/description.cmi
/usr/lib64/frama-c/design.cmi
/usr/lib64/frama-c/destructors.cmi
/usr/lib64/frama-c/dgraph_helper.cmi
/usr/lib64/frama-c/dllframa-c.so
/usr/lib64/frama-c/dominators.cmi
/usr/lib64/frama-c/dynamic.cmi
/usr/lib64/frama-c/emitter.cmi
/usr/lib64/frama-c/errorloc.cmi
/usr/lib64/frama-c/escape.cmi
/usr/lib64/frama-c/exn_flow.cmi
/usr/lib64/frama-c/extlib.cmi
/usr/lib64/frama-c/fc_float.cmi
/usr/lib64/frama-c/file.cmi
/usr/lib64/frama-c/file_manager.cmi
/usr/lib64/frama-c/filecheck.cmi
/usr/lib64/frama-c/filepath.cmi
/usr/lib64/frama-c/filetree.cmi
/usr/lib64/frama-c/filter.cmi
/usr/lib64/frama-c/float_interval.cmi
/usr/lib64/frama-c/float_interval_sig.cmi
/usr/lib64/frama-c/float_sig.cmi
/usr/lib64/frama-c/floating_point.cmi
/usr/lib64/frama-c/frama-c.a
/usr/lib64/frama-c/frama-c.cma
/usr/lib64/frama-c/frama-c.cmxa
/usr/lib64/frama-c/frama_c_init.cmi
/usr/lib64/frama-c/frontc.cmi
/usr/lib64/frama-c/function_Froms.cmi
/usr/lib64/frama-c/fval.cmi
/usr/lib64/frama-c/globals.cmi
/usr/lib64/frama-c/gtk_compat.cmi
/usr/lib64/frama-c/gtk_form.cmi
/usr/lib64/frama-c/gtk_helper.cmi
/usr/lib64/frama-c/gui_parameters.cmi
/usr/lib64/frama-c/gui_printers.cmi
/usr/lib64/frama-c/help_manager.cmi
/usr/lib64/frama-c/history.cmi
/usr/lib64/frama-c/hook.cmi
/usr/lib64/frama-c/hptmap.cmi
/usr/lib64/frama-c/hptmap_sig.cmi
/usr/lib64/frama-c/hptset.cmi
/usr/lib64/frama-c/indexer.cmi
/usr/lib64/frama-c/infer_annotations.cmi
/usr/lib64/frama-c/inline.cmi
/usr/lib64/frama-c/inout_type.cmi
/usr/lib64/frama-c/int_Base.cmi
/usr/lib64/frama-c/int_Intervals.cmi
/usr/lib64/frama-c/int_Intervals_sig.cmi
/usr/lib64/frama-c/integer.cmi
/usr/lib64/frama-c/interpreted_automata.cmi
/usr/lib64/frama-c/ival.cmi
/usr/lib64/frama-c/journal.cmi
/usr/lib64/frama-c/json.cmi
/usr/lib64/frama-c/json_compilation_database.cmi
/usr/lib64/frama-c/kernel.cmi
/usr/lib64/frama-c/kernel_function.cmi
/usr/lib64/frama-c/lattice_messages.cmi
/usr/lib64/frama-c/lattice_type.cmi
/usr/lib64/frama-c/launcher.cmi
/usr/lib64/frama-c/leftistheap.cmi
/usr/lib64/frama-c/lexerhack.cmi
/usr/lib64/frama-c/libframa-c.a
/usr/lib64/frama-c/lmap.cmi
/usr/lib64/frama-c/lmap_bitwise.cmi
/usr/lib64/frama-c/lmap_sig.cmi
/usr/lib64/frama-c/locations.cmi
/usr/lib64/frama-c/log.cmi
/usr/lib64/frama-c/logic_builtin.cmi
/usr/lib64/frama-c/logic_const.cmi
/usr/lib64/frama-c/logic_env.cmi
/usr/lib64/frama-c/logic_interp.cmi
/usr/lib64/frama-c/logic_lexer.cmi
/usr/lib64/frama-c/logic_parser.cmi
/usr/lib64/frama-c/logic_preprocess.cmi
/usr/lib64/frama-c/logic_print.cmi
/usr/lib64/frama-c/logic_ptree.cmi
/usr/lib64/frama-c/logic_typing.cmi
/usr/lib64/frama-c/logic_utils.cmi
/usr/lib64/frama-c/loop.cmi
/usr/lib64/frama-c/machdeps.cmi
/usr/lib64/frama-c/map_lattice.cmi
/usr/lib64/frama-c/menu_manager.cmi
/usr/lib64/frama-c/mergecil.cmi
/usr/lib64/frama-c/messages.cmi
/usr/lib64/frama-c/offsetmap.cmi
/usr/lib64/frama-c/offsetmap_bitwise_sig.cmi
/usr/lib64/frama-c/offsetmap_lattice_with_isotropy.cmi
/usr/lib64/frama-c/offsetmap_sig.cmi
/usr/lib64/frama-c/oneret.cmi
/usr/lib64/frama-c/ordered_stmt.cmi
/usr/lib64/frama-c/origin.cmi
/usr/lib64/frama-c/parameter_builder.cmi
/usr/lib64/frama-c/parameter_category.cmi
/usr/lib64/frama-c/parameter_customize.cmi
/usr/lib64/frama-c/parameter_sig.cmi
/usr/lib64/frama-c/parameter_state.cmi
/usr/lib64/frama-c/pdgIndex.cmi
/usr/lib64/frama-c/pdgMarks.cmi
/usr/lib64/frama-c/pdgTypes.cmi
/usr/lib64/frama-c/plugin.cmi
/usr/lib64/frama-c/precise_locs.cmi
/usr/lib64/frama-c/pretty_source.cmi
/usr/lib64/frama-c/pretty_utils.cmi
/usr/lib64/frama-c/printer.cmi
/usr/lib64/frama-c/printer_api.cmi
/usr/lib64/frama-c/printer_builder.cmi
/usr/lib64/frama-c/printer_tag.cmi
/usr/lib64/frama-c/project.cmi
/usr/lib64/frama-c/project_manager.cmi
/usr/lib64/frama-c/project_skeleton.cmi
/usr/lib64/frama-c/property.cmi
/usr/lib64/frama-c/property_navigator.cmi
/usr/lib64/frama-c/property_status.cmi
/usr/lib64/frama-c/ptests_config.cmi
/usr/lib64/frama-c/qstack.cmi
/usr/lib64/frama-c/rangemap.cmi
/usr/lib64/frama-c/rgmap.cmi
/usr/lib64/frama-c/rich_text.cmi
/usr/lib64/frama-c/rmtmps.cmi
/usr/lib64/frama-c/sanitizer.cmi
/usr/lib64/frama-c/service_graph.cmi
/usr/lib64/frama-c/source_manager.cmi
/usr/lib64/frama-c/source_viewer.cmi
/usr/lib64/frama-c/special_hooks.cmi
/usr/lib64/frama-c/state.cmi
/usr/lib64/frama-c/state_builder.cmi
/usr/lib64/frama-c/state_dependency_graph.cmi
/usr/lib64/frama-c/state_selection.cmi
/usr/lib64/frama-c/state_topological.cmi
/usr/lib64/frama-c/statuses_by_call.cmi
/usr/lib64/frama-c/stmts_graph.cmi
/usr/lib64/frama-c/structural_descr.cmi
/usr/lib64/frama-c/task.cmi
/usr/lib64/frama-c/tr_offset.cmi
/usr/lib64/frama-c/transitioning.cmi
/usr/lib64/frama-c/translate_lightweight.cmi
/usr/lib64/frama-c/type.cmi
/usr/lib64/frama-c/typed_parameter.cmi
/usr/lib64/frama-c/undefined_sequence.cmi
/usr/lib64/frama-c/unicode.cmi
/usr/lib64/frama-c/unmarshal.cmi
/usr/lib64/frama-c/unmarshal_z.cmi
/usr/lib64/frama-c/unroll_loops.cmi
/usr/lib64/frama-c/utf8_logic.cmi
/usr/lib64/frama-c/value_types.cmi
/usr/lib64/frama-c/vector.cmi
/usr/lib64/frama-c/visitor.cmi
/usr/lib64/frama-c/warning_manager.cmi
/usr/lib64/frama-c/wbox.cmi
/usr/lib64/frama-c/wfile.cmi
/usr/lib64/frama-c/widen_type.cmi
/usr/lib64/frama-c/widget.cmi
/usr/lib64/frama-c/wpalette.cmi
/usr/lib64/frama-c/wpane.cmi
/usr/lib64/frama-c/wtable.cmi
/usr/lib64/frama-c/wtext.cmi
/usr/lib64/frama-c/wto.cmi
/usr/lib64/frama-c/wto_statement.cmi
/usr/lib64/frama-c/wutil.cmi
/usr/lib64/frama-c/wutil_once.cmi
/usr/lib64/frama-c/plugins/Aorai.cmi
/usr/lib64/frama-c/plugins/Callgraph.cmi
/usr/lib64/frama-c/plugins/Constant_Propagation.cmi
/usr/lib64/frama-c/plugins/E_ACSL.cmi
/usr/lib64/frama-c/plugins/Eva.cmi
/usr/lib64/frama-c/plugins/From.cmi
/usr/lib64/frama-c/plugins/Impact.cmi
/usr/lib64/frama-c/plugins/Inout.cmi
/usr/lib64/frama-c/plugins/LoopAnalysis.cmi
/usr/lib64/frama-c/plugins/META.frama-c-aorai
/usr/lib64/frama-c/plugins/META.frama-c-callgraph
/usr/lib64/frama-c/plugins/META.frama-c-constant_propagation
/usr/lib64/frama-c/plugins/META.frama-c-e_acsl
/usr/lib64/frama-c/plugins/META.frama-c-eva
/usr/lib64/frama-c/plugins/META.frama-c-from
/usr/lib64/frama-c/plugins/META.frama-c-impact
/usr/lib64/frama-c/plugins/META.frama-c-inout
/usr/lib64/frama-c/plugins/META.frama-c-loopanalysis
/usr/lib64/frama-c/plugins/META.frama-c-metrics
/usr/lib64/frama-c/plugins/META.frama-c-nonterm
/usr/lib64/frama-c/plugins/META.frama-c-obfuscator
/usr/lib64/frama-c/plugins/META.frama-c-occurrence
/usr/lib64/frama-c/plugins/META.frama-c-pdg
/usr/lib64/frama-c/plugins/META.frama-c-postdominators
/usr/lib64/frama-c/plugins/META.frama-c-print_api
/usr/lib64/frama-c/plugins/META.frama-c-qed
/usr/lib64/frama-c/plugins/META.frama-c-report
/usr/lib64/frama-c/plugins/META.frama-c-rtegen
/usr/lib64/frama-c/plugins/META.frama-c-scope
/usr/lib64/frama-c/plugins/META.frama-c-security_slicing
/usr/lib64/frama-c/plugins/META.frama-c-slicing
/usr/lib64/frama-c/plugins/META.frama-c-sparecode
/usr/lib64/frama-c/plugins/META.frama-c-studia
/usr/lib64/frama-c/plugins/META.frama-c-users
/usr/lib64/frama-c/plugins/META.frama-c-variadic
/usr/lib64/frama-c/plugins/META.frama-c-wp
/usr/lib64/frama-c/plugins/Metrics.cmi
/usr/lib64/frama-c/plugins/Nonterm.cmi
/usr/lib64/frama-c/plugins/Obfuscator.cmi
/usr/lib64/frama-c/plugins/Occurrence.cmi
/usr/lib64/frama-c/plugins/Pdg.cmi
/usr/lib64/frama-c/plugins/Postdominators.cmi
/usr/lib64/frama-c/plugins/Print_api.cmi
/usr/lib64/frama-c/plugins/Qed.cmi
/usr/lib64/frama-c/plugins/Report.cmi
/usr/lib64/frama-c/plugins/RteGen.cmi
/usr/lib64/frama-c/plugins/Scope.cmi
/usr/lib64/frama-c/plugins/Security_slicing.cmi
/usr/lib64/frama-c/plugins/Slicing.cmi
/usr/lib64/frama-c/plugins/Sparecode.cmi
/usr/lib64/frama-c/plugins/Studia.cmi
/usr/lib64/frama-c/plugins/Users.cmi
/usr/lib64/frama-c/plugins/Variadic.cmi
/usr/lib64/frama-c/plugins/Wp.cmi
/usr/lib64/frama-c/plugins/gui/Callgraph.cmi
/usr/lib64/frama-c/plugins/gui/Callgraph.cmo
/usr/lib64/frama-c/plugins/gui/Callgraph.cmxs
/usr/lib64/frama-c/plugins/gui/Eva.cmi
/usr/lib64/frama-c/plugins/gui/Eva.cmo
/usr/lib64/frama-c/plugins/gui/Eva.cmxs
/usr/lib64/frama-c/plugins/gui/From.cmi
/usr/lib64/frama-c/plugins/gui/From.cmo
/usr/lib64/frama-c/plugins/gui/From.cmxs
/usr/lib64/frama-c/plugins/gui/Impact.cmi
/usr/lib64/frama-c/plugins/gui/Impact.cmo
/usr/lib64/frama-c/plugins/gui/Impact.cmxs
/usr/lib64/frama-c/plugins/gui/Metrics.cmi
/usr/lib64/frama-c/plugins/gui/Metrics.cmo
/usr/lib64/frama-c/plugins/gui/Metrics.cmxs
/usr/lib64/frama-c/plugins/gui/Occurrence.cmi
/usr/lib64/frama-c/plugins/gui/Occurrence.cmo
/usr/lib64/frama-c/plugins/gui/Occurrence.cmxs
/usr/lib64/frama-c/plugins/gui/Qed.cmi
/usr/lib64/frama-c/plugins/gui/Qed.cmo
/usr/lib64/frama-c/plugins/gui/Qed.cmxs
/usr/lib64/frama-c/plugins/gui/Scope.cmi
/usr/lib64/frama-c/plugins/gui/Scope.cmo
/usr/lib64/frama-c/plugins/gui/Scope.cmxs
/usr/lib64/frama-c/plugins/gui/Security_slicing.cmi
/usr/lib64/frama-c/plugins/gui/Security_slicing.cmo
/usr/lib64/frama-c/plugins/gui/Security_slicing.cmxs
/usr/lib64/frama-c/plugins/gui/Slicing.cmi
/usr/lib64/frama-c/plugins/gui/Slicing.cmo
/usr/lib64/frama-c/plugins/gui/Slicing.cmxs
/usr/lib64/frama-c/plugins/gui/Studia.cmi
/usr/lib64/frama-c/plugins/gui/Studia.cmo
/usr/lib64/frama-c/plugins/gui/Studia.cmxs
/usr/lib64/frama-c/plugins/gui/Wp.cmi
/usr/lib64/frama-c/plugins/gui/Wp.cmo
/usr/lib64/frama-c/plugins/gui/Wp.cmxs
/usr/lib64/frama-c/plugins/top/Aorai.cmo
/usr/lib64/frama-c/plugins/top/Aorai.cmx
/usr/lib64/frama-c/plugins/top/Aorai.cmxs
/usr/lib64/frama-c/plugins/top/Callgraph.cmo
/usr/lib64/frama-c/plugins/top/Callgraph.cmx
/usr/lib64/frama-c/plugins/top/Callgraph.cmxs
/usr/lib64/frama-c/plugins/top/Constant_Propagation.cmo
/usr/lib64/frama-c/plugins/top/Constant_Propagation.cmx
/usr/lib64/frama-c/plugins/top/Constant_Propagation.cmxs
/usr/lib64/frama-c/plugins/top/E_ACSL.cmo
/usr/lib64/frama-c/plugins/top/E_ACSL.cmx
/usr/lib64/frama-c/plugins/top/E_ACSL.cmxs
/usr/lib64/frama-c/plugins/top/Eva.cmo
/usr/lib64/frama-c/plugins/top/Eva.cmx
/usr/lib64/frama-c/plugins/top/Eva.cmxs
/usr/lib64/frama-c/plugins/top/From.cmo
/usr/lib64/frama-c/plugins/top/From.cmx
/usr/lib64/frama-c/plugins/top/From.cmxs
/usr/lib64/frama-c/plugins/top/Impact.cmo
/usr/lib64/frama-c/plugins/top/Impact.cmx
/usr/lib64/frama-c/plugins/top/Impact.cmxs
/usr/lib64/frama-c/plugins/top/Inout.cmo
/usr/lib64/frama-c/plugins/top/Inout.cmx
/usr/lib64/frama-c/plugins/top/Inout.cmxs
/usr/lib64/frama-c/plugins/top/LoopAnalysis.cmo
/usr/lib64/frama-c/plugins/top/LoopAnalysis.cmx
/usr/lib64/frama-c/plugins/top/LoopAnalysis.cmxs
/usr/lib64/frama-c/plugins/top/Metrics.cmo
/usr/lib64/frama-c/plugins/top/Metrics.cmx
/usr/lib64/frama-c/plugins/top/Metrics.cmxs
/usr/lib64/frama-c/plugins/top/Nonterm.cmo
/usr/lib64/frama-c/plugins/top/Nonterm.cmx
/usr/lib64/frama-c/plugins/top/Nonterm.cmxs
/usr/lib64/frama-c/plugins/top/Obfuscator.cmo
/usr/lib64/frama-c/plugins/top/Obfuscator.cmx
/usr/lib64/frama-c/plugins/top/Obfuscator.cmxs
/usr/lib64/frama-c/plugins/top/Occurrence.cmo
/usr/lib64/frama-c/plugins/top/Occurrence.cmx
/usr/lib64/frama-c/plugins/top/Occurrence.cmxs
/usr/lib64/frama-c/plugins/top/Pdg.cmo
/usr/lib64/frama-c/plugins/top/Pdg.cmx
/usr/lib64/frama-c/plugins/top/Pdg.cmxs
/usr/lib64/frama-c/plugins/top/Postdominators.cmo
/usr/lib64/frama-c/plugins/top/Postdominators.cmx
/usr/lib64/frama-c/plugins/top/Postdominators.cmxs
/usr/lib64/frama-c/plugins/top/Print_api.cmo
/usr/lib64/frama-c/plugins/top/Print_api.cmx
/usr/lib64/frama-c/plugins/top/Print_api.cmxs
/usr/lib64/frama-c/plugins/top/Qed.cmo
/usr/lib64/frama-c/plugins/top/Qed.cmx
/usr/lib64/frama-c/plugins/top/Qed.cmxs
/usr/lib64/frama-c/plugins/top/Report.cmo
/usr/lib64/frama-c/plugins/top/Report.cmx
/usr/lib64/frama-c/plugins/top/Report.cmxs
/usr/lib64/frama-c/plugins/top/RteGen.cmo
/usr/lib64/frama-c/plugins/top/RteGen.cmx
/usr/lib64/frama-c/plugins/top/RteGen.cmxs
/usr/lib64/frama-c/plugins/top/Scope.cmo
/usr/lib64/frama-c/plugins/top/Scope.cmx
/usr/lib64/frama-c/plugins/top/Scope.cmxs
/usr/lib64/frama-c/plugins/top/Security_slicing.cmo
/usr/lib64/frama-c/plugins/top/Security_slicing.cmx
/usr/lib64/frama-c/plugins/top/Security_slicing.cmxs
/usr/lib64/frama-c/plugins/top/Slicing.cmo
/usr/lib64/frama-c/plugins/top/Slicing.cmx
/usr/lib64/frama-c/plugins/top/Slicing.cmxs
/usr/lib64/frama-c/plugins/top/Sparecode.cmo
/usr/lib64/frama-c/plugins/top/Sparecode.cmx
/usr/lib64/frama-c/plugins/top/Sparecode.cmxs
/usr/lib64/frama-c/plugins/top/Studia.cmo
/usr/lib64/frama-c/plugins/top/Studia.cmx
/usr/lib64/frama-c/plugins/top/Studia.cmxs
/usr/lib64/frama-c/plugins/top/Users.cmo
/usr/lib64/frama-c/plugins/top/Users.cmx
/usr/lib64/frama-c/plugins/top/Users.cmxs
/usr/lib64/frama-c/plugins/top/Variadic.cmo
/usr/lib64/frama-c/plugins/top/Variadic.cmx
/usr/lib64/frama-c/plugins/top/Variadic.cmxs
/usr/lib64/frama-c/plugins/top/Wp.cmo
/usr/lib64/frama-c/plugins/top/Wp.cmx
/usr/lib64/frama-c/plugins/top/Wp.cmxs
/usr/share/appdata/frama-c-gui.appdata.xml
/usr/share/applications/frama-c-gui.desktop
/usr/share/bash-completion/completions/frama-c
/usr/share/doc/frama-c/VERSION
/usr/share/frama-c/Makefile.common
/usr/share/frama-c/Makefile.config
/usr/share/frama-c/Makefile.dynamic
/usr/share/frama-c/Makefile.dynamic_config
/usr/share/frama-c/Makefile.generic
/usr/share/frama-c/Makefile.plugin.template
/usr/share/frama-c/_frama-c
/usr/share/frama-c/autocomplete_frama-c
/usr/share/frama-c/builtin.h
/usr/share/frama-c/configure.ac
/usr/share/frama-c/frama-c.ico
/usr/share/frama-c/frama-c.png
/usr/share/frama-c/frama-c.rc
/usr/share/frama-c/libc.c
/usr/share/frama-c/machdep.c
/usr/share/frama-c/switch-off.png
/usr/share/frama-c/switch-on.png
/usr/share/frama-c/unmark.png
/usr/share/frama-c/analysis-scripts/README.md
/usr/share/frama-c/analysis-scripts/benchmark_database.py
/usr/share/frama-c/analysis-scripts/clone.sh
/usr/share/frama-c/analysis-scripts/cmd-dep.sh
/usr/share/frama-c/analysis-scripts/concat-csv.sh
/usr/share/frama-c/analysis-scripts/fc_stubs.c
/usr/share/frama-c/analysis-scripts/find_fun.py
/usr/share/frama-c/analysis-scripts/flamegraph.pl
/usr/share/frama-c/analysis-scripts/frama-c.mk
/usr/share/frama-c/analysis-scripts/frama_c_results.py
/usr/share/frama-c/analysis-scripts/git_utils.py
/usr/share/frama-c/analysis-scripts/list_files.py
/usr/share/frama-c/analysis-scripts/make_wrapper.py
/usr/share/frama-c/analysis-scripts/parse-coverage.sh
/usr/share/frama-c/analysis-scripts/results_display.py
/usr/share/frama-c/analysis-scripts/summary.py
/usr/share/frama-c/analysis-scripts/template.mk
/usr/share/frama-c/analysis-scripts/examples/Makefile
/usr/share/frama-c/analysis-scripts/examples/example-multi.mk
/usr/share/frama-c/analysis-scripts/examples/example-slevel.mk
/usr/share/frama-c/analysis-scripts/examples/example.c
/usr/share/frama-c/analysis-scripts/examples/example.mk
/usr/share/frama-c/doc/
/usr/share/frama-c/doc/code/docgen.ml
/usr/share/frama-c/doc/code/intro_kernel_plugin.txt
/usr/share/frama-c/doc/code/intro_plugin.txt
/usr/share/frama-c/doc/code/intro_plugin_default.txt
/usr/share/frama-c/doc/code/style.css
/usr/share/frama-c/doc/code/toc_head.htm
/usr/share/frama-c/doc/code/toc_tail.htm
/usr/share/frama-c/e-acsl/e_acsl.h
/usr/share/frama-c/e-acsl/e_acsl_alias.h
/usr/share/frama-c/e-acsl/e_acsl_assert.h
/usr/share/frama-c/e-acsl/e_acsl_bits.h
/usr/share/frama-c/e-acsl/e_acsl_debug.h
/usr/share/frama-c/e-acsl/e_acsl_floating_point.h
/usr/share/frama-c/e-acsl/e_acsl_format.h
/usr/share/frama-c/e-acsl/e_acsl_gmp_api.h
/usr/share/frama-c/e-acsl/e_acsl_leak.h
/usr/share/frama-c/e-acsl/e_acsl_libc_replacements.h
/usr/share/frama-c/e-acsl/e_acsl_malloc.h
/usr/share/frama-c/e-acsl/e_acsl_printf.h
/usr/share/frama-c/e-acsl/e_acsl_rtl.c
/usr/share/frama-c/e-acsl/e_acsl_safe_locations.h
/usr/share/frama-c/e-acsl/e_acsl_shexec.h
/usr/share/frama-c/e-acsl/e_acsl_string.h
/usr/share/frama-c/e-acsl/e_acsl_temporal.h
/usr/share/frama-c/e-acsl/e_acsl_temporal_timestamp.h
/usr/share/frama-c/e-acsl/e_acsl_trace.h
/usr/share/frama-c/e-acsl/bittree_model/e_acsl_bittree.h
/usr/share/frama-c/e-acsl/bittree_model/e_acsl_bittree_api.h
/usr/share/frama-c/e-acsl/bittree_model/e_acsl_bittree_mmodel.c
/usr/share/frama-c/e-acsl/segment_model/e_acsl_segment_mmodel.c
/usr/share/frama-c/e-acsl/segment_model/e_acsl_segment_tracking.h
/usr/share/frama-c/e-acsl/segment_model/e_acsl_shadow_layout.h
/usr/share/frama-c/libc/__fc_alloc_axiomatic.h
/usr/share/frama-c/libc/__fc_builtin.c
/usr/share/frama-c/libc/__fc_builtin.h
/usr/share/frama-c/libc/__fc_define_blkcnt_t.h
/usr/share/frama-c/libc/__fc_define_blksize_t.h
/usr/share/frama-c/libc/__fc_define_clockid_t.h
/usr/share/frama-c/libc/__fc_define_dev_t.h
/usr/share/frama-c/libc/__fc_define_eof.h
/usr/share/frama-c/libc/__fc_define_fd_set_t.h
/usr/share/frama-c/libc/__fc_define_file.h
/usr/share/frama-c/libc/__fc_define_fpos_t.h
/usr/share/frama-c/libc/__fc_define_id_t.h
/usr/share/frama-c/libc/__fc_define_ino_t.h
/usr/share/frama-c/libc/__fc_define_intptr_t.h
/usr/share/frama-c/libc/__fc_define_iovec.h
/usr/share/frama-c/libc/__fc_define_key_t.h
/usr/share/frama-c/libc/__fc_define_mode_t.h
/usr/share/frama-c/libc/__fc_define_nlink_t.h
/usr/share/frama-c/libc/__fc_define_null.h
/usr/share/frama-c/libc/__fc_define_off_t.h
/usr/share/frama-c/libc/__fc_define_pid_t.h
/usr/share/frama-c/libc/__fc_define_pthread_types.h
/usr/share/frama-c/libc/__fc_define_sa_family_t.h
/usr/share/frama-c/libc/__fc_define_seek_macros.h
/usr/share/frama-c/libc/__fc_define_sigset_t.h
/usr/share/frama-c/libc/__fc_define_size_t.h
/usr/share/frama-c/libc/__fc_define_sockaddr.h
/usr/share/frama-c/libc/__fc_define_ssize_t.h
/usr/share/frama-c/libc/__fc_define_stat.h
/usr/share/frama-c/libc/__fc_define_suseconds_t.h
/usr/share/frama-c/libc/__fc_define_time_t.h
/usr/share/frama-c/libc/__fc_define_timer_t.h
/usr/share/frama-c/libc/__fc_define_timespec.h
/usr/share/frama-c/libc/__fc_define_uid_and_gid.h
/usr/share/frama-c/libc/__fc_define_useconds_t.h
/usr/share/frama-c/libc/__fc_define_wchar_t.h
/usr/share/frama-c/libc/__fc_define_wint_t.h
/usr/share/frama-c/libc/__fc_gcc_builtins.h
/usr/share/frama-c/libc/__fc_inet.h
/usr/share/frama-c/libc/__fc_machdep.h
/usr/share/frama-c/libc/__fc_machdep_linux_shared.h
/usr/share/frama-c/libc/__fc_runtime.c
/usr/share/frama-c/libc/__fc_select.h
/usr/share/frama-c/libc/__fc_string_axiomatic.h
/usr/share/frama-c/libc/alloca.h
/usr/share/frama-c/libc/assert.c
/usr/share/frama-c/libc/assert.h
/usr/share/frama-c/libc/byteswap.h
/usr/share/frama-c/libc/complex.h
/usr/share/frama-c/libc/ctype.c
/usr/share/frama-c/libc/ctype.h
/usr/share/frama-c/libc/dirent.h
/usr/share/frama-c/libc/dlfcn.h
/usr/share/frama-c/libc/endian.h
/usr/share/frama-c/libc/errno.c
/usr/share/frama-c/libc/errno.h
/usr/share/frama-c/libc/fcntl.h
/usr/share/frama-c/libc/features.h
/usr/share/frama-c/libc/fenv.c
/usr/share/frama-c/libc/fenv.h
/usr/share/frama-c/libc/float.h
/usr/share/frama-c/libc/fnmatch.h
/usr/share/frama-c/libc/getopt.c
/usr/share/frama-c/libc/getopt.h
/usr/share/frama-c/libc/glob.c
/usr/share/frama-c/libc/glob.h
/usr/share/frama-c/libc/grp.h
/usr/share/frama-c/libc/iconv.h
/usr/share/frama-c/libc/ifaddrs.h
/usr/share/frama-c/libc/inttypes.c
/usr/share/frama-c/libc/inttypes.h
/usr/share/frama-c/libc/iso646.h
/usr/share/frama-c/libc/libgen.h
/usr/share/frama-c/libc/limits.h
/usr/share/frama-c/libc/locale.c
/usr/share/frama-c/libc/locale.h
/usr/share/frama-c/libc/malloc.h
/usr/share/frama-c/libc/math.c
/usr/share/frama-c/libc/math.h
/usr/share/frama-c/libc/memory.h
/usr/share/frama-c/libc/netdb.c
/usr/share/frama-c/libc/netdb.h
/usr/share/frama-c/libc/nl_types.h
/usr/share/frama-c/libc/poll.h
/usr/share/frama-c/libc/pthread.h
/usr/share/frama-c/libc/pwd.h
/usr/share/frama-c/libc/regex.h
/usr/share/frama-c/libc/resolv.h
/usr/share/frama-c/libc/sched.h
/usr/share/frama-c/libc/semaphore.h
/usr/share/frama-c/libc/setjmp.h
/usr/share/frama-c/libc/signal.c
/usr/share/frama-c/libc/signal.h
/usr/share/frama-c/libc/stdarg.h
/usr/share/frama-c/libc/stdbool.h
/usr/share/frama-c/libc/stddef.h
/usr/share/frama-c/libc/stdint.h
/usr/share/frama-c/libc/stdio.c
/usr/share/frama-c/libc/stdio.h
/usr/share/frama-c/libc/stdlib.c
/usr/share/frama-c/libc/stdlib.h
/usr/share/frama-c/libc/string.c
/usr/share/frama-c/libc/string.h
/usr/share/frama-c/libc/strings.h
/usr/share/frama-c/libc/stropts.h
/usr/share/frama-c/libc/syslog.h
/usr/share/frama-c/libc/termios.h
/usr/share/frama-c/libc/tgmath.h
/usr/share/frama-c/libc/time.c
/usr/share/frama-c/libc/time.h
/usr/share/frama-c/libc/unistd.h
/usr/share/frama-c/libc/utime.h
/usr/share/frama-c/libc/utmpx.h
/usr/share/frama-c/libc/wchar.c
/usr/share/frama-c/libc/wchar.h
/usr/share/frama-c/libc/wctype.h
/usr/share/frama-c/libc/arpa/inet.h
/usr/share/frama-c/libc/net/if.h
/usr/share/frama-c/libc/netinet/in.h
/usr/share/frama-c/libc/netinet/tcp.h
/usr/share/frama-c/libc/sys/file.h
/usr/share/frama-c/libc/sys/ioctl.h
/usr/share/frama-c/libc/sys/ipc.h
/usr/share/frama-c/libc/sys/mman.h
/usr/share/frama-c/libc/sys/random.h
/usr/share/frama-c/libc/sys/resource.h
/usr/share/frama-c/libc/sys/select.h
/usr/share/frama-c/libc/sys/shm.h
/usr/share/frama-c/libc/sys/signal.h
/usr/share/frama-c/libc/sys/socket.h
/usr/share/frama-c/libc/sys/stat.h
/usr/share/frama-c/libc/sys/time.h
/usr/share/frama-c/libc/sys/times.h
/usr/share/frama-c/libc/sys/timex.h
/usr/share/frama-c/libc/sys/types.h
/usr/share/frama-c/libc/sys/uio.h
/usr/share/frama-c/libc/sys/un.h
/usr/share/frama-c/libc/sys/utsname.h
/usr/share/frama-c/libc/sys/wait.h
/usr/share/frama-c/theme/
/usr/share/frama-c/theme/colorblind/considered_valid.png
/usr/share/frama-c/theme/colorblind/fold.png
/usr/share/frama-c/theme/colorblind/inconsistent.png
/usr/share/frama-c/theme/colorblind/invalid_but_dead.png
/usr/share/frama-c/theme/colorblind/invalid_under_hyp.png
/usr/share/frama-c/theme/colorblind/never_tried.png
/usr/share/frama-c/theme/colorblind/surely_invalid.png
/usr/share/frama-c/theme/colorblind/surely_valid.png
/usr/share/frama-c/theme/colorblind/unfold.png
/usr/share/frama-c/theme/colorblind/unknown.png
/usr/share/frama-c/theme/colorblind/unknown_but_dead.png
/usr/share/frama-c/theme/colorblind/valid_but_dead.png
/usr/share/frama-c/theme/colorblind/valid_under_hyp.png
/usr/share/frama-c/theme/default/considered_valid.png
/usr/share/frama-c/theme/default/fold.png
/usr/share/frama-c/theme/default/inconsistent.png
/usr/share/frama-c/theme/default/invalid_but_dead.png
/usr/share/frama-c/theme/default/invalid_under_hyp.png
/usr/share/frama-c/theme/default/never_tried.png
/usr/share/frama-c/theme/default/surely_invalid.png
/usr/share/frama-c/theme/default/surely_valid.png
/usr/share/frama-c/theme/default/unfold.png
/usr/share/frama-c/theme/default/unknown.png
/usr/share/frama-c/theme/default/unknown_but_dead.png
/usr/share/frama-c/theme/default/valid_but_dead.png
/usr/share/frama-c/theme/default/valid_under_hyp.png
/usr/share/frama-c/theme/flat/considered_valid.png
/usr/share/frama-c/theme/flat/fold.png
/usr/share/frama-c/theme/flat/inconsistent.png
/usr/share/frama-c/theme/flat/invalid_but_dead.png
/usr/share/frama-c/theme/flat/invalid_under_hyp.png
/usr/share/frama-c/theme/flat/never_tried.png
/usr/share/frama-c/theme/flat/surely_invalid.png
/usr/share/frama-c/theme/flat/surely_valid.png
/usr/share/frama-c/theme/flat/unfold.png
/usr/share/frama-c/theme/flat/unknown.png
/usr/share/frama-c/theme/flat/unknown_but_dead.png
/usr/share/frama-c/theme/flat/valid_but_dead.png
/usr/share/frama-c/theme/flat/valid_under_hyp.png
/usr/share/frama-c/wp/wp.driver
/usr/share/frama-c/wp/coqwp/ArcTrigo.v
/usr/share/frama-c/wp/coqwp/ArcTrigo.vo
/usr/share/frama-c/wp/coqwp/Bits.v
/usr/share/frama-c/wp/coqwp/Bits.vo
/usr/share/frama-c/wp/coqwp/BuiltIn.v
/usr/share/frama-c/wp/coqwp/BuiltIn.vo
/usr/share/frama-c/wp/coqwp/Cbits.v
/usr/share/frama-c/wp/coqwp/Cbits.vo
/usr/share/frama-c/wp/coqwp/Cfloat.v
/usr/share/frama-c/wp/coqwp/Cfloat.vo
/usr/share/frama-c/wp/coqwp/Cint.v
/usr/share/frama-c/wp/coqwp/Cint.vo
/usr/share/frama-c/wp/coqwp/Cmath.v
/usr/share/frama-c/wp/coqwp/Cmath.vo
/usr/share/frama-c/wp/coqwp/ExpLog.v
/usr/share/frama-c/wp/coqwp/ExpLog.vo
/usr/share/frama-c/wp/coqwp/HighOrd.v
/usr/share/frama-c/wp/coqwp/HighOrd.vo
/usr/share/frama-c/wp/coqwp/Memory.v
/usr/share/frama-c/wp/coqwp/Memory.vo
/usr/share/frama-c/wp/coqwp/Qed.v
/usr/share/frama-c/wp/coqwp/Qed.vo
/usr/share/frama-c/wp/coqwp/Qedlib.v
/usr/share/frama-c/wp/coqwp/Qedlib.vo
/usr/share/frama-c/wp/coqwp/Square.v
/usr/share/frama-c/wp/coqwp/Square.vo
/usr/share/frama-c/wp/coqwp/Vlist.v
/usr/share/frama-c/wp/coqwp/Vlist.vo
/usr/share/frama-c/wp/coqwp/Vset.v
/usr/share/frama-c/wp/coqwp/Vset.vo
/usr/share/frama-c/wp/coqwp/Zbits.v
/usr/share/frama-c/wp/coqwp/Zbits.vo
/usr/share/frama-c/wp/coqwp/bool/Bool.v
/usr/share/frama-c/wp/coqwp/bool/Bool.vo
/usr/share/frama-c/wp/coqwp/int/Abs.v
/usr/share/frama-c/wp/coqwp/int/Abs.vo
/usr/share/frama-c/wp/coqwp/int/ComputerDivision.v
/usr/share/frama-c/wp/coqwp/int/ComputerDivision.vo
/usr/share/frama-c/wp/coqwp/int/Exponentiation.v
/usr/share/frama-c/wp/coqwp/int/Exponentiation.vo
/usr/share/frama-c/wp/coqwp/int/Int.v
/usr/share/frama-c/wp/coqwp/int/Int.vo
/usr/share/frama-c/wp/coqwp/int/MinMax.v
/usr/share/frama-c/wp/coqwp/int/MinMax.vo
/usr/share/frama-c/wp/coqwp/int/Power.v
/usr/share/frama-c/wp/coqwp/int/Power.vo
/usr/share/frama-c/wp/coqwp/map/Const.v
/usr/share/frama-c/wp/coqwp/map/Const.vo
/usr/share/frama-c/wp/coqwp/map/Map.v
/usr/share/frama-c/wp/coqwp/map/Map.vo
/usr/share/frama-c/wp/coqwp/real/Abs.v
/usr/share/frama-c/wp/coqwp/real/Abs.vo
/usr/share/frama-c/wp/coqwp/real/ExpLog.v
/usr/share/frama-c/wp/coqwp/real/ExpLog.vo
/usr/share/frama-c/wp/coqwp/real/FromInt.v
/usr/share/frama-c/wp/coqwp/real/FromInt.vo
/usr/share/frama-c/wp/coqwp/real/MinMax.v
/usr/share/frama-c/wp/coqwp/real/MinMax.vo
/usr/share/frama-c/wp/coqwp/real/PowerReal.v
/usr/share/frama-c/wp/coqwp/real/PowerReal.vo
/usr/share/frama-c/wp/coqwp/real/Real.v
/usr/share/frama-c/wp/coqwp/real/Real.vo
/usr/share/frama-c/wp/coqwp/real/RealInfix.v
/usr/share/frama-c/wp/coqwp/real/RealInfix.vo
/usr/share/frama-c/wp/coqwp/real/Square.v
/usr/share/frama-c/wp/coqwp/real/Square.vo
/usr/share/frama-c/wp/coqwp/real/Trigonometry.v
/usr/share/frama-c/wp/coqwp/real/Trigonometry.vo
/usr/share/frama-c/wp/ergo/ArcTrigo.mlw
/usr/share/frama-c/wp/ergo/Cbits.mlw
/usr/share/frama-c/wp/ergo/Cfloat.mlw
/usr/share/frama-c/wp/ergo/Cint.mlw
/usr/share/frama-c/wp/ergo/Cmath.mlw
/usr/share/frama-c/wp/ergo/ExpLog.mlw
/usr/share/frama-c/wp/ergo/Memory.mlw
/usr/share/frama-c/wp/ergo/Qed.mlw
/usr/share/frama-c/wp/ergo/Square.mlw
/usr/share/frama-c/wp/ergo/Vlist.mlw
/usr/share/frama-c/wp/ergo/Vset.mlw
/usr/share/frama-c/wp/ergo/bool.Bool.mlw
/usr/share/frama-c/wp/ergo/int.Abs.mlw
/usr/share/frama-c/wp/ergo/int.ComputerDivision.mlw
/usr/share/frama-c/wp/ergo/int.Int.mlw
/usr/share/frama-c/wp/ergo/int.MinMax.mlw
/usr/share/frama-c/wp/ergo/map.Const.mlw
/usr/share/frama-c/wp/ergo/map.Map.mlw
/usr/share/frama-c/wp/ergo/real.Abs.mlw
/usr/share/frama-c/wp/ergo/real.ExpLog.mlw
/usr/share/frama-c/wp/ergo/real.FromInt.mlw
/usr/share/frama-c/wp/ergo/real.Hyperbolic.mlw
/usr/share/frama-c/wp/ergo/real.MinMax.mlw
/usr/share/frama-c/wp/ergo/real.Polar.mlw
/usr/share/frama-c/wp/ergo/real.PowerReal.mlw
/usr/share/frama-c/wp/ergo/real.Real.mlw
/usr/share/frama-c/wp/ergo/real.RealInfix.mlw
/usr/share/frama-c/wp/ergo/real.Square.mlw
/usr/share/frama-c/wp/ergo/real.Trigonometry.mlw
/usr/share/frama-c/wp/ergo/real.Truncate.mlw
/usr/share/frama-c/wp/why3/ArcTrigo.v
/usr/share/frama-c/wp/why3/ArcTrigo.vo
/usr/share/frama-c/wp/why3/ArcTrigo.why
/usr/share/frama-c/wp/why3/Bits.v
/usr/share/frama-c/wp/why3/Bits.vo
/usr/share/frama-c/wp/why3/Cbits.v
/usr/share/frama-c/wp/why3/Cbits.vo
/usr/share/frama-c/wp/why3/Cbits.why
/usr/share/frama-c/wp/why3/Cfloat.v
/usr/share/frama-c/wp/why3/Cfloat.vo
/usr/share/frama-c/wp/why3/Cfloat.why
/usr/share/frama-c/wp/why3/Cint.v
/usr/share/frama-c/wp/why3/Cint.vo
/usr/share/frama-c/wp/why3/Cint.why
/usr/share/frama-c/wp/why3/Cmath.v
/usr/share/frama-c/wp/why3/Cmath.vo
/usr/share/frama-c/wp/why3/Cmath.why
/usr/share/frama-c/wp/why3/ExpLog.v
/usr/share/frama-c/wp/why3/ExpLog.vo
/usr/share/frama-c/wp/why3/ExpLog.why
/usr/share/frama-c/wp/why3/Memory.v
/usr/share/frama-c/wp/why3/Memory.vo
/usr/share/frama-c/wp/why3/Memory.why
/usr/share/frama-c/wp/why3/Qed.v
/usr/share/frama-c/wp/why3/Qed.vo
/usr/share/frama-c/wp/why3/Qed.why
/usr/share/frama-c/wp/why3/Qedlib.v
/usr/share/frama-c/wp/why3/Qedlib.vo
/usr/share/frama-c/wp/why3/Square.v
/usr/share/frama-c/wp/why3/Square.vo
/usr/share/frama-c/wp/why3/Square.why
/usr/share/frama-c/wp/why3/Vlist.v
/usr/share/frama-c/wp/why3/Vlist.vo
/usr/share/frama-c/wp/why3/Vlist.why
/usr/share/frama-c/wp/why3/Vset.v
/usr/share/frama-c/wp/why3/Vset.vo
/usr/share/frama-c/wp/why3/Vset.why
/usr/share/frama-c/wp/why3/Zbits.v
/usr/share/frama-c/wp/why3/Zbits.vo
/usr/share/frama-c/wp/why3/coq.drv
/usr/share/frama-c/wp/why3/why3.conf
/usr/share/icons/hicolor/128x128/apps/frama-c.png
/usr/share/icons/hicolor/22x22/apps/frama-c.png
/usr/share/icons/hicolor/24x24/apps/frama-c.png
/usr/share/icons/hicolor/256x256/apps/frama-c.png
/usr/share/icons/hicolor/32x32/apps/frama-c.png
/usr/share/icons/hicolor/48x48/apps/frama-c.png
/usr/share/icons/hicolor/64x64/apps/frama-c.png
/usr/share/icons/hicolor/96x96/apps/frama-c.png
/usr/share/licenses/frama-c/CDDL-1.0
/usr/share/licenses/frama-c/GPLv3
/usr/share/licenses/frama-c/LGPLv2
/usr/share/licenses/frama-c/LGPLv2.1
/usr/share/licenses/frama-c/LGPLv3
/usr/share/licenses/frama-c/Q_MODIFIED_LICENSE
/usr/share/man/man1/e-acsl-gcc.sh.1.gz
/usr/share/man/man1/frama-c-gui.1.gz
/usr/share/man/man1/frama-c.1.gz

Changelog

2019-10-29 - Jerry James <loganjerry@gmail.com> - 19.1-3
- Rebuild for why3 1.2.1
2019-10-11 - Jerry James <loganjerry@gmail.com> - 19.1-2
- Rebuild for ocaml-menhir 20190924
2019-09-23 - Jerry James <loganjerry@gmail.com> - 19.1-1
- Update to Potassium 19.1
2019-09-06 - Jerry James <loganjerry@gmail.com> - 19.0-3
- Unbundle flamegraph
- Install bash completions in the right place
2019-08-02 - Jerry James <loganjerry@gmail.com> - 19.0-2
- Fix list of filtered requires
2019-07-30 - Jerry James <loganjerry@gmail.com> - 19.0-1
- Update to Potassium version
2019-07-25 - Fedora Release Engineering <releng@fedoraproject.org> - 18.0-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
2019-06-05 - Jerry James <loganjerry@gmail.com> - 18.0-1
- Update to Argon version
2019-01-31 - Fedora Release Engineering <releng@fedoraproject.org> - 17.0-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
2019-01-26 - Jerry James <loganjerry@gmail.com> - 17.0-1
- Update to Chlorine version

See Also

Package Description
frama-c-doc-19.1-3.fc31.noarch.rpm Large documentation files for frama-c
frama-c-emacs-19.1-3.fc31.noarch.rpm Emacs support file for ACSL markup
frama-c-xemacs-19.1-3.fc31.noarch.rpm XEmacs support file for ACSL markup
freecad-0.18.4-5.fc31.x86_64.rpm A general purpose 3D CAD modeler
freecad-data-0.18.4-5.fc31.noarch.rpm Data files for FreeCAD
freeciv-2.6.2-1.fc31.x86_64.rpm A multi-player strategy game
freeimage-3.18.0-6.fc31.i686.rpm Multi-format image decoder library
freeimage-3.18.0-6.fc31.x86_64.rpm Multi-format image decoder library
freeimage-devel-3.18.0-6.fc31.i686.rpm Development files for freeimage
freeimage-devel-3.18.0-6.fc31.x86_64.rpm Development files for freeimage
freeimage-plus-3.18.0-6.fc31.i686.rpm C++ wrapper for FreeImage
freeimage-plus-3.18.0-6.fc31.x86_64.rpm C++ wrapper for FreeImage
freeimage-plus-devel-3.18.0-6.fc31.i686.rpm Development files for freeimage-devel
freeimage-plus-devel-3.18.0-6.fc31.x86_64.rpm Development files for freeimage-devel
freeipa-client-4.8.4-2.fc31.x86_64.rpm IPA authentication for use on clients
Advertisement
Advertisement