frama-c-1.10-0.20140301Neons.4.mga5.i586.rpm


Advertisement

Description

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

Property Value
Distribution Mageia 5.1
Repository Mageia Core i586
Package name frama-c
Package version 1.10
Package release 0.20140301Neons.4.mga5
Package architecture i586
Package type rpm
Installed size 58.07 MB
Download size 16.76 MB
Official Mirror distrib-coffee.ipsl.jussieu.fr
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-1.10-0.20140301Neons.4.mga5.x86_64.rpm 1.10 x86_64 Mageia Core
frama-c - - -

Requires

Name Value
gcc-cpp -
graphviz -
libart_lgpl_2.so.2 -
libatk-1.0.so.0 -
libc.so.6 -
libc.so.6(GLIBC_2.0) -
libc.so.6(GLIBC_2.1) -
libc.so.6(GLIBC_2.1.2) -
libc.so.6(GLIBC_2.1.3) -
libc.so.6(GLIBC_2.2) -
libc.so.6(GLIBC_2.3) -
libc.so.6(GLIBC_2.3.2) -
libc.so.6(GLIBC_2.7) -
libcairo.so.2 -
libdl.so.2 -
libdl.so.2(GLIBC_2.0) -
libdl.so.2(GLIBC_2.1) -
libfontconfig.so.1 -
libfreetype.so.6 -
libgdk-x11-2.0.so.0 -
libgdk_pixbuf-2.0.so.0 -
libgio-2.0.so.0 -
libglib-2.0.so.0 -
libgmodule-2.0.so.0 -
libgmp.so.10 -
libgnomecanvas-2.so.0 -
libgobject-2.0.so.0 -
libgtk-x11-2.0.so.0 -
libgtksourceview-2.0.so.0 -
libm.so.6 -
libm.so.6(GLIBC_2.0) -
libm.so.6(GLIBC_2.1) -
libpango-1.0.so.0 -
libpangocairo-1.0.so.0 -
libpangoft2-1.0.so.0 -
libpthread.so.0 -
libpthread.so.0(GLIBC_2.0) -
libpthread.so.0(GLIBC_2.1) -
libpthread.so.0(GLIBC_2.2) -
libpthread.so.0(GLIBC_2.3.2) -
ltl2ba -
ocaml(Abstract_interp) == 5b26bf4c73d5e063efb7d9076445cc94
ocaml(Alarms) == e334bfc17c515273020392e96b2373e4
ocaml(Annotations) == bf76fbf0dc0455f677c59acaef75ab82
ocaml(Arg) == a7ebc43608a0326f6aa67069897d89e7
ocaml(Array) == 8a6bb22925744456eb66180ea42e3344
ocaml(Ast) == e96ba0358b024e7287909e39307be9f2
ocaml(Ast_info) == ec8361e315823b35082d440fbf123041
ocaml(Availexpslv) == 2c5f00ac8df9f49dcc56ba478cc677b1
ocaml(Bag) == 7aa05458c14dd108b9e3194fd15df1fc
ocaml(Base) == 8a997c823cd26ccd9640500450044910
ocaml(Big_int) == f8c6fb4af713157bb22632e572534639
ocaml(Bigarray) == 968037506db5f9b56ea16d0880b2363f
ocaml(Bitvector) == 125f3bf4d394182f36ca405cd38b1144
ocaml(Buffer) == af3ef6fba94cdb4eba31e98b4e341dab
ocaml(Cabs) == e2cd2fb75abba2c111a2c55d46633f08
ocaml(Cabs2cil) == 2bd4da8fa3954fa42090520003aeda58
ocaml(CamlinternalLazy) == 8f3f61657b86fd4738ffcd8e2cd074ea
ocaml(CamlinternalOO) == 9aea14562c686c3ebc7df7b67ff5bf01
ocaml(Cfg) == 866eaa60ef45c38e74b32ee463891170
ocaml(Char) == 9554e5449c177414a27e7d7ff5ed8013
ocaml(Cil) == d93d184eb855c4ef51328c43a1155ee6
ocaml(CilE) == 90604a1e66d921d7d66ef25aa86df07a
ocaml(Cil_const) == ef910fe851036f333f688cb171d17ef2
ocaml(Cil_datatype) == ea2895a420902777ba3b82f0897c135a
ocaml(Cil_printer) == 866cd85497ed9d5894d7a6a0755340db
ocaml(Cil_types) == 0949d6ed220ee1c87c6f071065b2fc36
ocaml(Clexer) == 3d404051b26005fdc01ecf5308160b59
ocaml(Cmdline) == e966ac186740b1500e88cf9e4193c4a9
ocaml(Command) == b9ec87cfcc54838a3ea608b67b71f138
ocaml(Complex) == 1858860030310b043b5d7fcb362095a3
ocaml(Config) == 5e4f7a5debec5e97b31d2a1f2a171897
ocaml(Cparser) == aff71747cb94f27162d6c660f16b0d97
ocaml(Cvalue) == 72914dcf4805210c011f400518d67e83
ocaml(Dataflow2) == bc6cdd417554efc7a8ef40b757318670
ocaml(Datatype) == dedab7b86512c8bbc077c4a5d87d6c96
ocaml(Db) == 3e5f029f0824ad694f43293d49365416
ocaml(Descr) == 2a6f6d544f73623e67b6e37dfa3d441a
ocaml(Description) == 5163dc398db34e78ac7799521ea4047d
ocaml(Design) == 3524a892cc7606977596fa019226223c
ocaml(Digest) == 5972f410cf78f5813a94ff7b90804058
ocaml(Dominators) == 969fbe39c9b8640c011b225aeb83e510
ocaml(Dynamic) == 1a6ec5ff8e6ebbda3aeb944261174b7f
ocaml(Emitter) == 8b652bd15509b705b927c926b9a28d08
ocaml(Escape) == 1e16e2cdb340bcd31793b489674925f9
ocaml(Expcompare) == 105994f93bac1f0c7525b1dd63c4d752
ocaml(Extlib) == 6b1db3e8cc0ef0b84f3b8d1eababf4d0
ocaml(FCHashtbl) == f2f8f7419d2b97d3ba18298879419d75
ocaml(FCMap) == 2e9897982d4d02bd14b588ec66ec3092
ocaml(FCSet) == eb035767f531aaac52b3a917a7322242
ocaml(File) == 9dce5914bedd306fefb0fc934f88b770
ocaml(Filename) == 28728bb478e079cce0b0c694de7944d6
ocaml(Filepath) == afeb58ff4fa5ceff6b169ac2915cb209
ocaml(Filetree) == ffcaa60a0ab1b41d8687c0403388e238
ocaml(Floating_point) == edb0daeae8ef382605e3970369733102
ocaml(Format) == e0d18776d4bacff3a198b5c23d0e9355
ocaml(Function_Froms) == a17c44d755910984555ff81a57bd9671
ocaml(GBin) == 06e19e22e83db9d736ed06ce63e3d98f
ocaml(GBroken) == 5b13df33e1641aea50475e28e74f496e
ocaml(GButton) == a67bbbcf2edf77c37105c9ffebdf7c40
ocaml(GContainer) == c18d7fc26cf37129c96fd29d6b6956d3
ocaml(GData) == 6ccb31a7d482c3c895a3c175541b5b38
ocaml(GDraw) == f3157941787bbfa9b50e920273ae4410
ocaml(GEdit) == 276390452b67afb03b66090320cdf947
ocaml(GFile) == 232383c2bdf4f275f12f1d76457f1c85
ocaml(GList) == 38aab9005cb2e754627e10292fa36884
ocaml(GMenu) == 03c5b1b9f7d4d65e75c6ae76df047c34
ocaml(GMisc) == ff8cb10c57226fd444ef8f4818b6bc46
ocaml(GObj) == d4ca5e57ad2695733f2b934331e3f1ea
ocaml(GPack) == 16accb4dbe6af80747f1fa2973006553
ocaml(GPango) == b21e8a3f3659db80969c93cdf28a3769
ocaml(GRange) == 1048f789771a75388aed1606bac1d982
ocaml(GSourceView2) == ba21cb2b71c10f73c08d6d552b5594b0
ocaml(GText) == 8e18788b815fa98b9ba04bd158f8b5cf
ocaml(GToolbox) == 93b7d87fbc13410b203891760bccfba7
ocaml(GTree) == 80b56e9b663ab1072b6fafb804a4bf03
ocaml(GWindow) == 2be1ad5b92832857b4848a9981c5c639
ocaml(Gaux) == 2020fe64acacffa10d949b061d7cab4d
ocaml(Gdk) == 61775f70f44e11b2f56ee96d1329493d
ocaml(GdkEnums) == 4098dd5ea8fe2115e79941f99ac87aed
ocaml(GdkEvent) == 7c169a70eecb43e63afe4a06d9bbd3df
ocaml(GdkPixbuf) == 558e4986fb223d56f1582e7840d23264
ocaml(Glib) == 2605cd6cb41d7b1cf81f63f394274163
ocaml(Globals) == 05545f8882e493938058a965701cbaec
ocaml(Gobject) == 7e28da1d651fec6dbd065e97843e6b27
ocaml(Gpointer) == cce49826f682cb50597aedfc0dd03d4e
ocaml(Graph) == ee1106295303d97953506d2dce0a13d3
ocaml(Gtk) == de6a483141858f296bd5b3db157e54ad
ocaml(GtkBase) == c73f9d8da2a3c5a1bd5b5c379f25d2d6
ocaml(GtkBaseProps) == 1d36cc1e05ae32cef5b84ade09f14d4e
ocaml(GtkEnums) == 1580b2011c58fa575097465dd9f340ae
ocaml(GtkObject) == 09245a3e5cdc1276e6ea454cd6557507
ocaml(GtkPack) == cef4058d103a94b0b8f96250871c1a3c
ocaml(GtkPackProps) == df8f9d9be21fc2c7e3259ad9f49ea1b8
ocaml(GtkSignal) == 93315de683652ce92954091feeb8f0ee
ocaml(GtkSourceView2Props) == 3e0312006756f9598a098ea27afdebb8
ocaml(GtkStock) == 9b1da86816cba50091b89f587fbf1699
ocaml(Gtk_form) == 59f1e3b150593a06c1b942978b83492a
ocaml(Gtk_helper) == e1d8780f190bebe616a3792511efcfb2
ocaml(Hashtbl) == 024edc3512403b725052aec8e41ed971
ocaml(Hook) == 15f82ab18734cd96d82732c2b33d6524
ocaml(Hptmap) == b804ee79fe7e9f0d6f5848ca2a1a01ca
ocaml(Hptset) == 8e47ad72aa94b520ba19822b29ef8227
ocaml(Indexer) == bd235aa194c7405c581b936c8e1b10d1
ocaml(Inout_type) == f47cf0b0b0032c22722cd20c528f4813
ocaml(Int32) == ad06f04cfca6d404d1de76c3dc67324a
ocaml(Int64) == 3945db6e8df0d5a79bcbc949ee550d52
ocaml(Int_Base) == 61abe15231e694cf1c37ee0c3cd67d6c
ocaml(Int_Interv) == 43fa5ab3204f3577123115f1bf493a3e
ocaml(Integer) == 7ef5d545e8690ad23e26adb3c3da244e
ocaml(Ival) == e38fca647831583b42d5a4af42ef4c3f
ocaml(Kernel) == 4e5b840910ab206ce7022286b326163c
ocaml(Kernel_function) == 16949a1370b72322cb1b792beadcf000
ocaml(Lattice_Interval_Set) == a01c9e91f1ef061467e705a7cf844a7e
ocaml(Lattice_type) == 4bc58167a941456d6800c1b5e93a2742
ocaml(Lazy) == 12a7b23bd30e5e207ddae39c8e41a1d2
ocaml(Lexing) == 50598ab7c92b4bdcc624e472342ac8a9
ocaml(List) == d757117653d9319fefb7ddc78a998f41
ocaml(Liveness) == 5a605d0e7044f9ca65913618b9f17987
ocaml(Lmap_bitwise) == 3c2af9dd70efef776d75fe8ed2cc1fba
ocaml(Lmap_sig) == 7db9dcdc29ab4cd9fa8826bc1962a4cf
ocaml(Locations) == e209d9b0bfd36f6207a05dfea6b12cc4
ocaml(Log) == d272e9a1809d90af3414b75e0daaa2a7
ocaml(Logic_const) == 1b6bb696322bd1c28ac937d86c176268
ocaml(Logic_env) == 678bce377d5515557580408f0265cee4
ocaml(Logic_lexer) == 496723a31c5fd973ccee9cc68fc21783
ocaml(Logic_parser) == ca43ab751ef8f46b7ad8def1cd986abd
ocaml(Logic_ptree) == c2a45950abd7af84c18587976e04fd54
ocaml(Logic_typing) == 8ca89679196c4f96c55780414a91aaf1
ocaml(Logic_utils) == e5b8dfa82933bbf88da84710d6a8de2a
ocaml(Map) == f11d7ddcffad09397202a49bd9bb4283
ocaml(Menu_manager) == c228f633f6355122be0d5e29af1130f7
ocaml(Nat) == ac011c9fbe199b586b98e7c9887f9e24
ocaml(Nativeint) == 11ff26db80a400d29d2755edd23b5d0f
ocaml(Num) == a55d7a4dde9dd12b458f9a55320c6e4d
ocaml(Obj) == b0adfa4175f86e4394859886c1a374bb
ocaml(Offsetmap_lattice_with_isotropy) == 716d3923e0d18b960a402e6e9d1ed8c0
ocaml(Offsetmap_sig) == d952a940bb23aef168b79260ff8a56ed
ocaml(OgtkSourceView2Props) == ecfd87014483eb899ddf784f91b3ce3c
ocaml(Ordered_stmt) == f31c3a8c033bdad7a1d695f9ad628c2b
ocaml(Origin) == b76950847f0cbab0d7697518c26ceea5
ocaml(Pango) == 7cc76805fd36cee4ad505fbc5cb86c07
ocaml(PangoEnums) == ffa58a6b02cd6771efa03b9295eba490
ocaml(Parameter_customize) == a386eae2448b341f77f0b2ba21379020
ocaml(Parameter_sig) == 68641a47bae286071918bbc43f80df0a
ocaml(Parameter_state) == 342c255c882ef84e8ab07ca93358234b
ocaml(Parsing) == ce3ca1121d80c4219ee78b6df5ddba03
ocaml(PdgIndex) == 686b7cf68f6b41cf4892162f3412cf66
ocaml(PdgMarks) == ac5e588893f534c2960200a2d0619b54
ocaml(PdgTypes) == 60f79d2c4787f8a3f052e716ee6b0c3f
ocaml(Pervasives) == 36b5bc8227dc9914c6d9fd9bdcfadb45
ocaml(Plugin) == 178eaee25c08a1f2c59faf0178185c83
ocaml(Pretty_source) == 20212ec02619c9ab9d838665d92f0461
ocaml(Pretty_utils) == 6961442d75da0c24ee3e51dd7a6cb6c6
ocaml(Printer) == e6c66e01b8ca63472d9f3a350e91c493
ocaml(Printer_api) == feed98a6bbeabe64decc4aee7e1cb831
ocaml(Printexc) == d81cbca604b811d25138fa79499fe071
ocaml(Printf) == d012329cc712e91d0f10a5eef2303d18
ocaml(Project) == 30f74b9202b5f84b78deacee909a4113
ocaml(Project_skeleton) == d8a567c55fd0c1d841faa7f26287b347
ocaml(Property) == 58f71ffb439986fb4fe2fc4642244709
ocaml(Property_status) == fa517133ec53b95a501375c9493f1f02
ocaml(Queue) == 2dece812a038a26a3231548f436037b6
ocaml(Rangemap) == 172ff260417a6ff25b212ce8b3bdef8c
ocaml(Ratio) == 4a3c42327fa7e731ee4426f28df82974
ocaml(Reachingdefs) == d22cfef91df04538027d251fde8b7d1b
ocaml(Set) == be044b48f40a48f0eb210225f11e0118
ocaml(SlicingInternals) == 41497f9285a056af37f426d0bdc28204
ocaml(SlicingTypes) == 734e3e346abf2fcc8dfc9f06c826ae9b
ocaml(SourceView2Enums) == fd9ae45c2009036fc485dbf4e599b0f7
ocaml(Source_manager) == 9e58beaf84d024ee8a9a83c3b0618816
ocaml(Stack) == 22ee969c15348e719d399f27dc29695b
ocaml(State) == 13fae5e81c7648b4bf2d8ff7aed820ef
ocaml(State_builder) == ce6f86b5392e8cc3c88e9ebd0b0f150d
ocaml(State_dependency_graph) == 7394cac06233cecb247375f38fb36b62
ocaml(State_selection) == 4733cc0ce53714d12b357e388f9fac7b
ocaml(Statuses_by_call) == f10afd94e072724bd089ab407c67c4b6
ocaml(Str) == fb3d050844d298243e3f50be7c8a4bcc
ocaml(String) == db7f34081ef8fcaf499f19523d0736c6
ocaml(Structural_descr) == 40b1a1f0b84c7b056a5915b1e03c56ca
ocaml(Sys) == 5acfec22153eb1403597926ecd15f4f5
ocaml(Sysutil) == 6506c5b04fc472d7c5b2d78c25ab5a0e
ocaml(Task) == 64753029ef329452d60631cc78a08173
ocaml(Toolbox) == aff3642bf1ce4e3fca28e849063e1cbf
ocaml(Type) == 0b89f86e5945532d6741d6c7a69686e0
ocaml(Typed_parameter) == 1cab012d1ec2994aaf083e7b210f5092
ocaml(Unix) == 93736a394d3d85d6d127fe238ddc6092
ocaml(Unmarshal) == 82840cc2403733010c599ded478437cc
ocaml(Usedef) == 5d90469861c6f4b7ebfab45b3cd022d0
ocaml(Utf8_logic) == 59692f9009da4e3d897cd519782e3113
ocaml(Value_types) == 245c50ba065aed3bdc124d35e095edcc
ocaml(Vector) == 806d409bb154961b12c8d96415a42dee
ocaml(Visitor) == bb5a9ddc27932ac7b4233d426999c7b4
ocaml(Weak) == e86b819661351c07c5122e164ffd29ea
ocaml(Z) == ba7f61765443792147b57bbaf3da5221
ocaml(runtime) == 4.01.0

Provides

Name Value
application() -
application(frama-c-gui.desktop) -
frama-c == 1.10-0.20140301Neons.4.mga5
frama-c(x86-32) == 1.10-0.20140301Neons.4.mga5
frama-c-devel == 1.10-0.20140301Neons.4.mga5
ocaml(Abstract_interp) == 5b26bf4c73d5e063efb7d9076445cc94
ocaml(Alarms) == e334bfc17c515273020392e96b2373e4
ocaml(Allocates) == a646bf5aa49f6c1b0cc26274042112e9
ocaml(Alpha) == 01b36dbf7416ff75fc283e2c263295d2
ocaml(Analyses_manager) == 76356ed9c23fe00c6f3bd8d383c99095
ocaml(Annotations) == bf76fbf0dc0455f677c59acaef75ab82
ocaml(Aorai) == 0f63e5c420516edafe37070d554964e8
ocaml(Ast) == e96ba0358b024e7287909e39307be9f2
ocaml(Ast_info) == ec8361e315823b35082d440fbf123041
ocaml(Availexpslv) == 2c5f00ac8df9f49dcc56ba478cc677b1
ocaml(Bag) == 7aa05458c14dd108b9e3194fd15df1fc
ocaml(Base) == 8a997c823cd26ccd9640500450044910
ocaml(Big_int_Z) == 33f062660148a2fce264572b0ebb4ecb
ocaml(Binary_cache) == 69244e0e4dd3ca16ce68dc9ac7341448
ocaml(Bit_utils) == dad49883789128836a5fe72c9f6d202a
ocaml(Bitvector) == 125f3bf4d394182f36ca405cd38b1144
ocaml(Book_manager) == 2a2a5eda737ca1e5db0e74e3f8ab288c
ocaml(Boot) == dcfab3a556c69359b3dfff7b0e41b423
ocaml(Buckx) == 08a28c96794c2c564ce2fee5fde79a0d
ocaml(Cabs) == e2cd2fb75abba2c111a2c55d46633f08
ocaml(Cabs2cil) == 2bd4da8fa3954fa42090520003aeda58
ocaml(Cabs_debug) == 49ffb9ecadcc47fe76efeeda4c82e5f5
ocaml(Cabsbranches) == 63517678a1c65f460f7c4967c70ba4f0
ocaml(Cabscond) == 0e9f727791cc6530505be994d4750674
ocaml(Cabshelper) == 3b0d525dc4803c4f6f1850459433ea4e
ocaml(Cabsvisit) == 8212f097b2f793569694f064f1a30e97
ocaml(Callgraph) == 69bab61d10a493065cbadc67e959c650
ocaml(Cfg) == 866eaa60ef45c38e74b32ee463891170
ocaml(Cil) == d93d184eb855c4ef51328c43a1155ee6
ocaml(CilE) == 90604a1e66d921d7d66ef25aa86df07a
ocaml(Cil_const) == ef910fe851036f333f688cb171d17ef2
ocaml(Cil_datatype) == ea2895a420902777ba3b82f0897c135a
ocaml(Cil_descriptive_printer) == 102be4f41b24a708eaab33da8a350e41
ocaml(Cil_printer) == 866cd85497ed9d5894d7a6a0755340db
ocaml(Cil_state_builder) == ae4a395d6872086bd5e32de0f81e3463
ocaml(Cil_types) == 0949d6ed220ee1c87c6f071065b2fc36
ocaml(Cilconfig) == 522a9017d901b9a9d1e8867c4129f921
ocaml(Cilmsg) == c3d908d41a0fa9f48f52fb610ab48647
ocaml(Clexer) == 3d404051b26005fdc01ecf5308160b59
ocaml(Cmdline) == e966ac186740b1500e88cf9e4193c4a9
ocaml(Command) == b9ec87cfcc54838a3ea608b67b71f138
ocaml(Config) == 5e4f7a5debec5e97b31d2a1f2a171897
ocaml(Cparser) == aff71747cb94f27162d6c660f16b0d97
ocaml(Cprint) == 6af1106d27c910238b1138d6b134acc6
ocaml(Cvalue) == 72914dcf4805210c011f400518d67e83
ocaml(Dataflow) == bf3e617e801a5aed657b57e7999115de
ocaml(Dataflow2) == bc6cdd417554efc7a8ef40b757318670
ocaml(Dataflows) == a7e4f2da749a545eea2286fdf547da99
ocaml(Datatype) == dedab7b86512c8bbc077c4a5d87d6c96
ocaml(Db) == 3e5f029f0824ad694f43293d49365416
ocaml(Deadcodeelim) == bb8abc86e8e10772720756a8fa4d269b
ocaml(Debug_manager) == e2dbca0684b06ef2ab4611dc04359ca3
ocaml(Descr) == 2a6f6d544f73623e67b6e37dfa3d441a
ocaml(Description) == 5163dc398db34e78ac7799521ea4047d
ocaml(Design) == 3524a892cc7606977596fa019226223c
ocaml(Dominators) == 969fbe39c9b8640c011b225aeb83e510
ocaml(Dynamic) == 1a6ec5ff8e6ebbda3aeb944261174b7f
ocaml(Dynlink_common_interface) == 96ec55648d86eafaf51a917abfc9e824
ocaml(Emitter) == 8b652bd15509b705b927c926b9a28d08
ocaml(Errorloc) == 84234b60b4a1f4d1931750cb46d3f9c8
ocaml(Escape) == 1e16e2cdb340bcd31793b489674925f9
ocaml(Expcompare) == 105994f93bac1f0c7525b1dd63c4d752
ocaml(Extlib) == 6b1db3e8cc0ef0b84f3b8d1eababf4d0
ocaml(FCHashtbl) == f2f8f7419d2b97d3ba18298879419d75
ocaml(FCMap) == 2e9897982d4d02bd14b588ec66ec3092
ocaml(FCSet) == eb035767f531aaac52b3a917a7322242
ocaml(File) == 9dce5914bedd306fefb0fc934f88b770
ocaml(File_manager) == 59374c9e206a037a76fb5e7453d9e30e
ocaml(Filepath) == afeb58ff4fa5ceff6b169ac2915cb209
ocaml(Filetree) == ffcaa60a0ab1b41d8687c0403388e238
ocaml(Filter) == 438ebcf9c5375d9af11674b456585579
ocaml(Floating_point) == edb0daeae8ef382605e3970369733102
ocaml(Frontc) == 5c1df51e7dd99244c13ff9d411929067
ocaml(Function_Froms) == a17c44d755910984555ff81a57bd9671
ocaml(Globals) == 05545f8882e493938058a965701cbaec
ocaml(Gtk_form) == 59f1e3b150593a06c1b942978b83492a
ocaml(Gtk_helper) == e1d8780f190bebe616a3792511efcfb2
ocaml(Gui_init) == af42667d93e80ccee28f8e232788879c
ocaml(Gui_parameters) == 0b09443381e4445f40f69a6f2de05e1a
ocaml(Help_manager) == ddc9bdcee7c04a00efd2ea64cb56bd37
ocaml(History) == 5b01432a7513007428d92f9e9260c091
ocaml(Hook) == 15f82ab18734cd96d82732c2b33d6524
ocaml(Hptmap) == b804ee79fe7e9f0d6f5848ca2a1a01ca
ocaml(Hptset) == 8e47ad72aa94b520ba19822b29ef8227
ocaml(Indexer) == bd235aa194c7405c581b936c8e1b10d1
ocaml(Infer_annotations) == f54371c229694f5fdd92737e5f4c8865
ocaml(Inout_type) == f47cf0b0b0032c22722cd20c528f4813
ocaml(Int_Base) == 61abe15231e694cf1c37ee0c3cd67d6c
ocaml(Int_Interv) == 43fa5ab3204f3577123115f1bf493a3e
ocaml(Int_Interv_Map) == c58fe8154bfce38955e4a5b61f1254cf
ocaml(Integer) == 7ef5d545e8690ad23e26adb3c3da244e
ocaml(Ival) == e38fca647831583b42d5a4af42ef4c3f
ocaml(Journal) == 16b0e565af121b1249331af71f157e07
ocaml(Kernel) == 4e5b840910ab206ce7022286b326163c
ocaml(Kernel_function) == 16949a1370b72322cb1b792beadcf000
ocaml(Lattice_Interval_Set) == a01c9e91f1ef061467e705a7cf844a7e
ocaml(Lattice_type) == 4bc58167a941456d6800c1b5e93a2742
ocaml(Launcher) == 79053dba28428da9b618725ddaf8e12d
ocaml(Lexerhack) == a24c38732663b9be2673793fddf80388
ocaml(Liveness) == 5a605d0e7044f9ca65913618b9f17987
ocaml(Lmap) == 74d3f1b3facb1a17304382357291dbb8
ocaml(Lmap_bitwise) == 3c2af9dd70efef776d75fe8ed2cc1fba
ocaml(Lmap_sig) == 7db9dcdc29ab4cd9fa8826bc1962a4cf
ocaml(Locations) == e209d9b0bfd36f6207a05dfea6b12cc4
ocaml(Log) == d272e9a1809d90af3414b75e0daaa2a7
ocaml(Logic_builtin) == 45eabaf35b8f0eb30d703350c7e1bd0e
ocaml(Logic_const) == 1b6bb696322bd1c28ac937d86c176268
ocaml(Logic_env) == 678bce377d5515557580408f0265cee4
ocaml(Logic_interp) == 553a3cc285e7374002d6f5963df4a9bf
ocaml(Logic_lexer) == 496723a31c5fd973ccee9cc68fc21783
ocaml(Logic_parser) == ca43ab751ef8f46b7ad8def1cd986abd
ocaml(Logic_preprocess) == 5685511042218a3b8e19185a06fdc3ed
ocaml(Logic_print) == 0fb462ca70e88c7122bdeeb67f7d9936
ocaml(Logic_ptree) == c2a45950abd7af84c18587976e04fd54
ocaml(Logic_typing) == 8ca89679196c4f96c55780414a91aaf1
ocaml(Logic_utils) == e5b8dfa82933bbf88da84710d6a8de2a
ocaml(Loop) == 245e53a0f3f6ffe36f6c9606d7663ad1
ocaml(Machdep_ppc_32) == cbd9ebc646874055e52436e0e82742ff
ocaml(Machdep_x86_16) == dd0960ed61720dfa9bc928e130d10a7d
ocaml(Machdep_x86_32) == 4c706fe7616f83d682695a543f49d8cd
ocaml(Machdep_x86_64) == af58b9877de6454132128722977d180d
ocaml(Map_Lattice) == 9c3cfe2f7e341f7f8559102c0a9df6ed
ocaml(Menu_manager) == c228f633f6355122be0d5e29af1130f7
ocaml(Mergecil) == d752b48cb9825a4884795329210e42bb
ocaml(Messages) == ebc41c7c1a08189a3c5e3c36ef0dede5
ocaml(Obfuscator) == eda9e801f2b85b045701f73e923a9870
ocaml(Offsetmap) == 43a5a53cc8a961fd7b94da0d3aaa117a
ocaml(Offsetmap_bitwise) == e9aaa4a3c2be9726380843971f3f3305
ocaml(Offsetmap_lattice_with_isotropy) == 716d3923e0d18b960a402e6e9d1ed8c0
ocaml(Offsetmap_sig) == d952a940bb23aef168b79260ff8a56ed
ocaml(Oneret) == 87625114f374074d19bf75d0559fe7d2
ocaml(Ordered_stmt) == f31c3a8c033bdad7a1d695f9ad628c2b
ocaml(Origin) == b76950847f0cbab0d7697518c26ceea5
ocaml(Parameter_builder) == 578a27c2b8dfc7986398a01effd467fe
ocaml(Parameter_customize) == a386eae2448b341f77f0b2ba21379020
ocaml(Parameter_sig) == 68641a47bae286071918bbc43f80df0a
ocaml(Parameter_state) == 342c255c882ef84e8ab07ca93358234b
ocaml(PdgIndex) == 686b7cf68f6b41cf4892162f3412cf66
ocaml(PdgMarks) == ac5e588893f534c2960200a2d0619b54
ocaml(PdgTypes) == 60f79d2c4787f8a3f052e716ee6b0c3f
ocaml(Plugin) == 178eaee25c08a1f2c59faf0178185c83
ocaml(Pretty_source) == 20212ec02619c9ab9d838665d92f0461
ocaml(Pretty_utils) == 6961442d75da0c24ee3e51dd7a6cb6c6
ocaml(Printer) == e6c66e01b8ca63472d9f3a350e91c493
ocaml(Printer_api) == feed98a6bbeabe64decc4aee7e1cb831
ocaml(Printer_builder) == 96add4773af17ab33438bd09c3c6d084
ocaml(Project) == 30f74b9202b5f84b78deacee909a4113
ocaml(Project_manager) == e7104717216fa78748ef3eb5751eee4d
ocaml(Project_skeleton) == d8a567c55fd0c1d841faa7f26287b347
ocaml(Property) == 58f71ffb439986fb4fe2fc4642244709
ocaml(Property_navigator) == 1838228862f62e311342e23a50f0c944
ocaml(Property_status) == fa517133ec53b95a501375c9493f1f02
ocaml(Ptests_config) == dd6645c4d0ad8c0051027263e606bc62
ocaml(Q) == 61695dd1d061cfcb27193f8cbfc8d74e
ocaml(Qed) == db763eec31acc36f07b9db942030ae8d
ocaml(Qstack) == 511c0888b4307741ea8c7e655118ede9
ocaml(Rangemap) == 172ff260417a6ff25b212ce8b3bdef8c
ocaml(Reachingdefs) == d22cfef91df04538027d251fde8b7d1b
ocaml(Report) == ab6d8a8056477a089a904ae4d3a2d8ab
ocaml(Rmciltmps) == 6cce13affea4d9e4a08f9db55798cc8f
ocaml(Rmtmps) == 7cc1b2f25ce3b8fd95a4d592f677363f
ocaml(Security_slicing) == 60ad474c2bb6711364378016ff10e212
ocaml(Service_graph) == 3e9c1fcc5f153c52725655240680f797
ocaml(SlicingInternals) == 41497f9285a056af37f426d0bdc28204
ocaml(SlicingTypes) == 734e3e346abf2fcc8dfc9f06c826ae9b
ocaml(Source_manager) == 9e58beaf84d024ee8a9a83c3b0618816
ocaml(Source_viewer) == 34c60af91c67e438d84432aed7c495e1
ocaml(Special_hooks) == 02c527ee0c58adedfe101688e2cc94f1
ocaml(State) == 13fae5e81c7648b4bf2d8ff7aed820ef
ocaml(State_builder) == ce6f86b5392e8cc3c88e9ebd0b0f150d
ocaml(State_dependency_graph) == 7394cac06233cecb247375f38fb36b62
ocaml(State_selection) == 4733cc0ce53714d12b357e388f9fac7b
ocaml(State_topological) == 465743aeb297029c44f5bee51780093e
ocaml(Statuses_by_call) == f10afd94e072724bd089ab407c67c4b6
ocaml(Stmts_graph) == 0f647bd24fc3792e15780e115addadad
ocaml(Structural_descr) == 40b1a1f0b84c7b056a5915b1e03c56ca
ocaml(Sysutil) == 6506c5b04fc472d7c5b2d78c25ab5a0e
ocaml(Task) == 64753029ef329452d60631cc78a08173
ocaml(Toolbox) == aff3642bf1ce4e3fca28e849063e1cbf
ocaml(Tr_offset) == d5b5437db9bcecbbccc7012c5d0f18e3
ocaml(Trace) == 1bf1cf76e674df8f07a5ed85f9c17479
ocaml(Translate_lightweight) == 3fe9197923585685f53880c11a32e77c
ocaml(Type) == 0b89f86e5945532d6741d6c7a69686e0
ocaml(Typed_parameter) == 1cab012d1ec2994aaf083e7b210f5092
ocaml(Unicode) == 0c57161bade5c15ac7da580ddb079d6a
ocaml(Unmarshal) == 82840cc2403733010c599ded478437cc
ocaml(Unmarshal_nums) == f1fb618eb44b7aee18e45ddf0278466f
ocaml(Unroll_loops) == 75eb7ce7a97fa3ecaa7d200889a38417
ocaml(Unz) == b07ba85b3628b82476b1d11c3642513d
ocaml(Usedef) == 5d90469861c6f4b7ebfab45b3cd022d0
ocaml(Utf8_logic) == 59692f9009da4e3d897cd519782e3113
ocaml(Value_messages) == 0c8b1b0d190fbbe8c0330b85e2368145
ocaml(Value_types) == 245c50ba065aed3bdc124d35e095edcc
ocaml(Vector) == 806d409bb154961b12c8d96415a42dee
ocaml(Visitor) == bb5a9ddc27932ac7b4233d426999c7b4
ocaml(Warning_manager) == 8e2a7a90a65ca02a13941836c0617aa7
ocaml(Widen_type) == c40872b33ccffbddfd8daac40d5ef9c0
ocaml(Wp) == 79056f59923040ac0788d818e70b4a8e
ocaml(Z) == ba7f61765443792147b57bbaf3da5221

Obsoletes

Name Value
frama-c-devel < 1.9-1

Download

Type URL
Binary Package frama-c-1.10-0.20140301Neons.4.mga5.i586.rpm
Source Package frama-c-1.10-0.20140301Neons.4.mga5.src.rpm

Install Howto

  1. Enable Mageia Core repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install frama-c rpm package:
    # urpmi frama-c

Files

Path
/usr/bin/frama-c
/usr/bin/frama-c-gui
/usr/bin/ptests
/usr/lib/frama-c/FCHashtbl.cmi
/usr/lib/frama-c/FCMap.cmi
/usr/lib/frama-c/FCSet.cmi
/usr/lib/frama-c/abstract_interp.cmi
/usr/lib/frama-c/alarms.cmi
/usr/lib/frama-c/allocates.cmi
/usr/lib/frama-c/alpha.cmi
/usr/lib/frama-c/analyses_manager.cmi
/usr/lib/frama-c/annotations.cmi
/usr/lib/frama-c/ast.cmi
/usr/lib/frama-c/ast_info.cmi
/usr/lib/frama-c/availexpslv.cmi
/usr/lib/frama-c/bag.cmi
/usr/lib/frama-c/base.cmi
/usr/lib/frama-c/big_int_Z.cmi
/usr/lib/frama-c/binary_cache.cmi
/usr/lib/frama-c/bit_utils.cmi
/usr/lib/frama-c/bitvector.cmi
/usr/lib/frama-c/book_manager.cmi
/usr/lib/frama-c/boot.cmi
/usr/lib/frama-c/buckx.cmi
/usr/lib/frama-c/cabs.cmi
/usr/lib/frama-c/cabs2cil.cmi
/usr/lib/frama-c/cabs_debug.cmi
/usr/lib/frama-c/cabsbranches.cmi
/usr/lib/frama-c/cabscond.cmi
/usr/lib/frama-c/cabshelper.cmi
/usr/lib/frama-c/cabsvisit.cmi
/usr/lib/frama-c/callgraph.cmi
/usr/lib/frama-c/cfg.cmi
/usr/lib/frama-c/cil.cmi
/usr/lib/frama-c/cilE.cmi
/usr/lib/frama-c/cil_const.cmi
/usr/lib/frama-c/cil_datatype.cmi
/usr/lib/frama-c/cil_descriptive_printer.cmi
/usr/lib/frama-c/cil_printer.cmi
/usr/lib/frama-c/cil_state_builder.cmi
/usr/lib/frama-c/cil_types.cmi
/usr/lib/frama-c/cilconfig.cmi
/usr/lib/frama-c/cilmsg.cmi
/usr/lib/frama-c/clexer.cmi
/usr/lib/frama-c/cmdline.cmi
/usr/lib/frama-c/command.cmi
/usr/lib/frama-c/config.cmi
/usr/lib/frama-c/cparser.cmi
/usr/lib/frama-c/cprint.cmi
/usr/lib/frama-c/cvalue.cmi
/usr/lib/frama-c/dataflow.cmi
/usr/lib/frama-c/dataflow2.cmi
/usr/lib/frama-c/dataflows.cmi
/usr/lib/frama-c/datatype.cmi
/usr/lib/frama-c/db.cmi
/usr/lib/frama-c/deadcodeelim.cmi
/usr/lib/frama-c/debug_manager.cmi
/usr/lib/frama-c/descr.cmi
/usr/lib/frama-c/description.cmi
/usr/lib/frama-c/design.cmi
/usr/lib/frama-c/dominators.cmi
/usr/lib/frama-c/dynamic.cmi
/usr/lib/frama-c/dynlink_common_interface.cmi
/usr/lib/frama-c/emitter.cmi
/usr/lib/frama-c/errorloc.cmi
/usr/lib/frama-c/escape.cmi
/usr/lib/frama-c/expcompare.cmi
/usr/lib/frama-c/extlib.cmi
/usr/lib/frama-c/file.cmi
/usr/lib/frama-c/file_manager.cmi
/usr/lib/frama-c/filepath.cmi
/usr/lib/frama-c/filetree.cmi
/usr/lib/frama-c/filter.cmi
/usr/lib/frama-c/floating_point.cmi
/usr/lib/frama-c/frontc.cmi
/usr/lib/frama-c/function_Froms.cmi
/usr/lib/frama-c/globals.cmi
/usr/lib/frama-c/gtk_form.cmi
/usr/lib/frama-c/gtk_helper.cmi
/usr/lib/frama-c/gui_init.cmi
/usr/lib/frama-c/gui_parameters.cmi
/usr/lib/frama-c/help_manager.cmi
/usr/lib/frama-c/history.cmi
/usr/lib/frama-c/hook.cmi
/usr/lib/frama-c/hptmap.cmi
/usr/lib/frama-c/hptset.cmi
/usr/lib/frama-c/indexer.cmi
/usr/lib/frama-c/infer_annotations.cmi
/usr/lib/frama-c/inout_type.cmi
/usr/lib/frama-c/int_Base.cmi
/usr/lib/frama-c/int_Interv.cmi
/usr/lib/frama-c/int_Interv_Map.cmi
/usr/lib/frama-c/integer.cmi
/usr/lib/frama-c/ival.cmi
/usr/lib/frama-c/journal.cmi
/usr/lib/frama-c/kernel.cmi
/usr/lib/frama-c/kernel_function.cmi
/usr/lib/frama-c/lattice_Interval_Set.cmi
/usr/lib/frama-c/lattice_type.cmi
/usr/lib/frama-c/launcher.cmi
/usr/lib/frama-c/lexerhack.cmi
/usr/lib/frama-c/liveness.cmi
/usr/lib/frama-c/lmap.cmi
/usr/lib/frama-c/lmap_bitwise.cmi
/usr/lib/frama-c/lmap_sig.cmi
/usr/lib/frama-c/locations.cmi
/usr/lib/frama-c/log.cmi
/usr/lib/frama-c/logic_builtin.cmi
/usr/lib/frama-c/logic_const.cmi
/usr/lib/frama-c/logic_env.cmi
/usr/lib/frama-c/logic_interp.cmi
/usr/lib/frama-c/logic_lexer.cmi
/usr/lib/frama-c/logic_parser.cmi
/usr/lib/frama-c/logic_preprocess.cmi
/usr/lib/frama-c/logic_print.cmi
/usr/lib/frama-c/logic_ptree.cmi
/usr/lib/frama-c/logic_typing.cmi
/usr/lib/frama-c/logic_utils.cmi
/usr/lib/frama-c/loop.cmi
/usr/lib/frama-c/machdep_ppc_32.cmi
/usr/lib/frama-c/machdep_x86_16.cmi
/usr/lib/frama-c/machdep_x86_32.cmi
/usr/lib/frama-c/machdep_x86_64.cmi
/usr/lib/frama-c/map_Lattice.cmi
/usr/lib/frama-c/menu_manager.cmi
/usr/lib/frama-c/mergecil.cmi
/usr/lib/frama-c/messages.cmi
/usr/lib/frama-c/offsetmap.cmi
/usr/lib/frama-c/offsetmap_bitwise.cmi
/usr/lib/frama-c/offsetmap_lattice_with_isotropy.cmi
/usr/lib/frama-c/offsetmap_sig.cmi
/usr/lib/frama-c/oneret.cmi
/usr/lib/frama-c/ordered_stmt.cmi
/usr/lib/frama-c/origin.cmi
/usr/lib/frama-c/parameter_builder.cmi
/usr/lib/frama-c/parameter_customize.cmi
/usr/lib/frama-c/parameter_sig.cmi
/usr/lib/frama-c/parameter_state.cmi
/usr/lib/frama-c/pdgIndex.cmi
/usr/lib/frama-c/pdgMarks.cmi
/usr/lib/frama-c/pdgTypes.cmi
/usr/lib/frama-c/plugin.cmi
/usr/lib/frama-c/pretty_source.cmi
/usr/lib/frama-c/pretty_utils.cmi
/usr/lib/frama-c/printer.cmi
/usr/lib/frama-c/printer_api.cmi
/usr/lib/frama-c/printer_builder.cmi
/usr/lib/frama-c/project.cmi
/usr/lib/frama-c/project_manager.cmi
/usr/lib/frama-c/project_skeleton.cmi
/usr/lib/frama-c/property.cmi
/usr/lib/frama-c/property_navigator.cmi
/usr/lib/frama-c/property_status.cmi
/usr/lib/frama-c/ptests_config.cmi
/usr/lib/frama-c/q.cmi
/usr/lib/frama-c/qstack.cmi
/usr/lib/frama-c/rangemap.cmi
/usr/lib/frama-c/reachingdefs.cmi
/usr/lib/frama-c/rmciltmps.cmi
/usr/lib/frama-c/rmtmps.cmi
/usr/lib/frama-c/service_graph.cmi
/usr/lib/frama-c/slicingInternals.cmi
/usr/lib/frama-c/slicingTypes.cmi
/usr/lib/frama-c/source_manager.cmi
/usr/lib/frama-c/source_viewer.cmi
/usr/lib/frama-c/special_hooks.cmi
/usr/lib/frama-c/state.cmi
/usr/lib/frama-c/state_builder.cmi
/usr/lib/frama-c/state_dependency_graph.cmi
/usr/lib/frama-c/state_selection.cmi
/usr/lib/frama-c/state_topological.cmi
/usr/lib/frama-c/statuses_by_call.cmi
/usr/lib/frama-c/stmts_graph.cmi
/usr/lib/frama-c/structural_descr.cmi
/usr/lib/frama-c/sysutil.cmi
/usr/lib/frama-c/task.cmi
/usr/lib/frama-c/toolbox.cmi
/usr/lib/frama-c/tr_offset.cmi
/usr/lib/frama-c/trace.cmi
/usr/lib/frama-c/translate_lightweight.cmi
/usr/lib/frama-c/type.cmi
/usr/lib/frama-c/typed_parameter.cmi
/usr/lib/frama-c/unicode.cmi
/usr/lib/frama-c/unmarshal.cmi
/usr/lib/frama-c/unmarshal_nums.cmi
/usr/lib/frama-c/unroll_loops.cmi
/usr/lib/frama-c/unz.cmi
/usr/lib/frama-c/usedef.cmi
/usr/lib/frama-c/utf8_logic.cmi
/usr/lib/frama-c/value_messages.cmi
/usr/lib/frama-c/value_types.cmi
/usr/lib/frama-c/vector.cmi
/usr/lib/frama-c/visitor.cmi
/usr/lib/frama-c/warning_manager.cmi
/usr/lib/frama-c/widen_type.cmi
/usr/lib/frama-c/z.cmi
/usr/lib/frama-c/plugins/Aorai.cmi
/usr/lib/frama-c/plugins/Aorai.cmo
/usr/lib/frama-c/plugins/Aorai.cmxs
/usr/lib/frama-c/plugins/Obfuscator.cmi
/usr/lib/frama-c/plugins/Obfuscator.cmo
/usr/lib/frama-c/plugins/Obfuscator.cmxs
/usr/lib/frama-c/plugins/Report.cmi
/usr/lib/frama-c/plugins/Report.cmo
/usr/lib/frama-c/plugins/Report.cmxs
/usr/lib/frama-c/plugins/Security_slicing.cmi
/usr/lib/frama-c/plugins/Security_slicing.cmo
/usr/lib/frama-c/plugins/Security_slicing.cmxs
/usr/lib/frama-c/plugins/Wp.cma
/usr/lib/frama-c/plugins/Wp.cmi
/usr/lib/frama-c/plugins/Wp.cmxs
/usr/lib/frama-c/plugins/gui/Security_slicing.cmi
/usr/lib/frama-c/plugins/gui/Security_slicing.cmo
/usr/lib/frama-c/plugins/gui/Security_slicing.cmxs
/usr/lib/frama-c/plugins/gui/Wp.cma
/usr/lib/frama-c/plugins/gui/Wp.cmi
/usr/lib/frama-c/plugins/gui/Wp.cmxs
/usr/share/applications/frama-c-gui.desktop
/usr/share/doc/frama-c/GPLv3
/usr/share/doc/frama-c/LGPLv2
/usr/share/doc/frama-c/LGPLv2.1
/usr/share/doc/frama-c/LGPLv3
/usr/share/doc/frama-c/Q_MODIFIED_LICENSE
/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.kernel
/usr/share/frama-c/Makefile.plugin
/usr/share/frama-c/builtin.c
/usr/share/frama-c/builtin.h
/usr/share/frama-c/configure.ac
/usr/share/frama-c/frama-c.gif
/usr/share/frama-c/frama-c.ico
/usr/share/frama-c/frama-c.rc
/usr/share/frama-c/libc.c
/usr/share/frama-c/libc.h
/usr/share/frama-c/machine.h
/usr/share/frama-c/math.c
/usr/share/frama-c/math.h
/usr/share/frama-c/unmark.png
/usr/share/frama-c/doc/
/usr/share/frama-c/doc/code/docgen_ge400.ml
/usr/share/frama-c/doc/code/docgen_lt400.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/feedback/considered_valid.png
/usr/share/frama-c/feedback/inconsistent.png
/usr/share/frama-c/feedback/invalid_but_dead.png
/usr/share/frama-c/feedback/invalid_under_hyp.png
/usr/share/frama-c/feedback/never_tried.png
/usr/share/frama-c/feedback/surely_invalid.png
/usr/share/frama-c/feedback/surely_valid.png
/usr/share/frama-c/feedback/switch-off.png
/usr/share/frama-c/feedback/switch-on.png
/usr/share/frama-c/feedback/unknown.png
/usr/share/frama-c/feedback/unknown_but_dead.png
/usr/share/frama-c/feedback/valid_but_dead.png
/usr/share/frama-c/feedback/valid_under_hyp.png
/usr/share/frama-c/libc/__fc_builtin.h
/usr/share/frama-c/libc/__fc_builtin_for_normalization.i
/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_dev_t.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_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_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_restrict.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_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_machdep.h
/usr/share/frama-c/libc/__fc_machdep_linux_gcc_shared.h
/usr/share/frama-c/libc/__fc_select.h
/usr/share/frama-c/libc/__fc_string_axiomatic.h
/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.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.h
/usr/share/frama-c/libc/fcntl.h
/usr/share/frama-c/libc/features.h
/usr/share/frama-c/libc/fenv.h
/usr/share/frama-c/libc/float.h
/usr/share/frama-c/libc/getopt.h
/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.h
/usr/share/frama-c/libc/iso646.h
/usr/share/frama-c/libc/libgen.h
/usr/share/frama-c/libc/libintl.h
/usr/share/frama-c/libc/limits.h
/usr/share/frama-c/libc/locale.h
/usr/share/frama-c/libc/math.h
/usr/share/frama-c/libc/netdb.h
/usr/share/frama-c/libc/nl_types.h
/usr/share/frama-c/libc/pwd.h
/usr/share/frama-c/libc/regex.h
/usr/share/frama-c/libc/setjmp.h
/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.h
/usr/share/frama-c/libc/stdlib.h
/usr/share/frama-c/libc/string.h
/usr/share/frama-c/libc/strings.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.h
/usr/share/frama-c/libc/uchar.h
/usr/share/frama-c/libc/unistd.h
/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/linux/fs.h
/usr/share/frama-c/libc/linux/if_addr.h
/usr/share/frama-c/libc/linux/if_netlink.h
/usr/share/frama-c/libc/linux/netlink.h
/usr/share/frama-c/libc/linux/rtnetlink.h
/usr/share/frama-c/libc/net/if.h
/usr/share/frama-c/libc/netinet/in.h
/usr/share/frama-c/libc/netinet/in_systm.h
/usr/share/frama-c/libc/netinet/ip.h
/usr/share/frama-c/libc/netinet/ip_icmp.h
/usr/share/frama-c/libc/sys/ioctl.h
/usr/share/frama-c/libc/sys/param.h
/usr/share/frama-c/libc/sys/resource.h
/usr/share/frama-c/libc/sys/select.h
/usr/share/frama-c/libc/sys/socket.h
/usr/share/frama-c/libc/sys/stat.h
/usr/share/frama-c/libc/sys/sysctl.h
/usr/share/frama-c/libc/sys/time.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/wait.h
/usr/share/frama-c/manuals/acsl-implementation-Neon-20140301.pdf
/usr/share/frama-c/manuals/aorai-manual-Neon-20140301.pdf
/usr/share/frama-c/manuals/metrics-manual-Neon-20140301.pdf
/usr/share/frama-c/manuals/plugin-development-guide-Neon-20140301.pdf
/usr/share/frama-c/manuals/rte-manual-Neon-20140301.pdf
/usr/share/frama-c/manuals/user-manual-Neon-20140301.pdf
/usr/share/frama-c/manuals/value-analysis-Neon-20140301.pdf
/usr/share/frama-c/manuals/wp-manual-Neon-20140301.pdf
/usr/share/frama-c/wp/wp.driver
/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/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/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/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/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/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/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/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/Memory.mlw
/usr/share/frama-c/wp/ergo/Qed.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.Map.mlw
/usr/share/frama-c/wp/ergo/real.Abs.mlw
/usr/share/frama-c/wp/ergo/real.FromInt.mlw
/usr/share/frama-c/wp/ergo/real.MinMax.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/why3/Bits.v
/usr/share/frama-c/wp/why3/Cbits.v
/usr/share/frama-c/wp/why3/Cbits.why
/usr/share/frama-c/wp/why3/Cfloat.v
/usr/share/frama-c/wp/why3/Cfloat.why
/usr/share/frama-c/wp/why3/Cint.v
/usr/share/frama-c/wp/why3/Cint.why
/usr/share/frama-c/wp/why3/Cmath.v
/usr/share/frama-c/wp/why3/Cmath.why
/usr/share/frama-c/wp/why3/Memory.v
/usr/share/frama-c/wp/why3/Memory.why
/usr/share/frama-c/wp/why3/Qed.v
/usr/share/frama-c/wp/why3/Qed.why
/usr/share/frama-c/wp/why3/Qedlib.v
/usr/share/frama-c/wp/why3/Vset.v
/usr/share/frama-c/wp/why3/Vset.why
/usr/share/frama-c/wp/why3/Zbits.v
/usr/share/frama-c/wp/why3/coq.drv
/usr/share/frama-c/wp/why3/why3.conf
/usr/share/man/man1/frama-c-gui.1.xz
/usr/share/man/man1/frama-c.1.xz

Changelog

2014-10-15 - umeabot <umeabot> 1.10-0.20140301Neons.4.mga5
+ Revision: 742058
- Second Mageia 5 Mass Rebuild
2014-09-24 - malo <malo> 1.10-0.20140301Neons.3.mga5
+ Revision: 723087
- fix auto requires
2014-09-16 - umeabot <umeabot> 1.10-0.20140301Neons.2.mga5
+ Revision: 679321
- Mageia 5 Mass Rebuild
2014-09-05 - malo <malo> 1.10-0.20140301Neons.1.mga5
+ Revision: 672224
- add debian patch
- update to Neon
2013-11-19 - malo <malo> 1.9-0.20130601Fluorine.2.mga4
+ Revision: 551930
- fix requires
2013-11-19 - malo <malo> 1.9-0.20130601Fluorine.1.mga4
+ Revision: 551925
- fix emacs mode packaging
- add BR ncurses
- spec clean-up after import from Fedora
- add patch from upstream for ocaml-4.01 compatibility
- add patch for new version of make
- imported package frama-c
2013-06-21 - Jerry James <loganjerry@gmail.com> - 1.9-4
- Update to 20130601 bugfix Fluorine release
2013-06-03 - Jerry James <loganjerry@gmail.com> - 1.9-3
- Add -fixes patch to fix code generation for inductive definitions
2013-05-23 - Jerry James <loganjerry@gmail.com> - 1.9-2
- Update to bugfix Fluorine release
2013-05-14 - Jerry James <loganjerry@gmail.com> - 1.9-1
- Update to Fluorine version
- Merge -devel into the main package (bz 888865)

See Also

Package Description
frama-c-doc-1.10-0.20140301Neons.4.mga5.noarch.rpm Large documentation files for frama-c
frama-c-emacs-1.10-0.20140301Neons.4.mga5.noarch.rpm Emacs support file for ACSL markup
frame-2.5.0-3.mga5.i586.rpm Buildup and synchronization of simultaneous touches
frameworkintegration-5.5.0-1.mga5.i586.rpm KDE Frameworks 5 Tier 4 addon with framework integration
freealchemist-0.5-7.mga5.noarch.rpm Free clone of naturalchimie (puzzle game)
freebasic-1.00.0-3.mga5.i586.rpm Free BASIC language compiler
freecell-solver-3.26.0-3.mga5.i586.rpm The Freecell Solver Executable
freeciv-client-2.4.4-2.mga5.i586.rpm FREE CIVilization clone - client
freeciv-data-2.4.4-2.mga5.noarch.rpm FREE CIVilization clone - data files
freeciv-server-2.4.4-2.mga5.i586.rpm FREE CIVilization clone - server
freecol-0.11.3-1.mga5.noarch.rpm Turn-based strategy game based on Colonization
freedink-108.4-1.mga5.i586.rpm Humorous top-down adventure and role-playing game
freedink-data-1.08.20140901-3.mga5.noarch.rpm Game data for GNU FreeDink
freedink-dfarc-3.12-1.mga5.i586.rpm Frontend and .dmod installer for GNU FreeDink
freedoom-0.8-3.mga5.noarch.rpm Complete and free DOOM IWAD
Advertisement
Advertisement