why-jessie-2.38-1.fc26.i686.rpm


Advertisement

Description

why-jessie - Interface between why and frama-c

Property Value
Distribution Fedora 26
Repository Fedora i386
Package name why-jessie
Package version 2.38
Package release 1.fc26
Package architecture i686
Package type rpm
Installed size 14.68 MB
Download size 3.72 MB
Official Mirror archives.fedoraproject.org
The Jessie plugin, an interface between why and frama-c.  Invoke it with:
frama-c -jessie FILE.c

Alternatives

Package Version Architecture Repository
why-jessie-2.38-2.fc26.i686.rpm 2.38 i686 Fedora Updates
why-jessie-2.38-2.fc26.x86_64.rpm 2.38 x86_64 Fedora Updates
why-jessie-2.38-1.fc26.x86_64.rpm 2.38 x86_64 Fedora
why-jessie - - -

Requires

Name Value
frama-c -
libapron.so.0 -
libboxMPQ.so.0 -
libc.so.6(GLIBC_2.15) -
libdl.so.2 -
libdl.so.2(GLIBC_2.0) -
libdl.so.2(GLIBC_2.1) -
libgmp.so.10 -
libm.so.6 -
libm.so.6(GLIBC_2.0) -
libm.so.6(GLIBC_2.1) -
libmpfr.so.4 -
liboctMPQ.so.0 -
libpolkaMPQ.so.0 -
ocaml(Abstract_interp) = c8bd477849c88c969cab0336190af2ca
ocaml(Annotations) = dece004ce3dc9fe038cdf9cfc4fd5f6a
ocaml(Array) = 83626447aa49c1fc006c752026de61fb
ocaml(Ast_info) = cf9de366218e2568a39bdaa2e15157de
ocaml(Base) = a8d008aebb42d8df3846c94f7ce5436a
ocaml(Big_int) = f36393dd6bfa87865a91c034fcead65f
ocaml(Bottom) = 9bbdd4459a35527989375844d3ccae53
ocaml(Buffer) = c932a66951c989158d32b4d60664f14e
ocaml(Bytes) = 38abb0dc9a21468895ffd79a53372f10
ocaml(Cabs) = 2462422f7578c41e996eac8157cf5d95
ocaml(Cabs2cil) = 3a2ee1d116054c95e2c46232f2614136
ocaml(Cabshelper) = 145536b16040f6fd4091dbe6f1eef54f
ocaml(CamlinternalFormatBasics) = cbd5f2d6b649925222e1e9fb63b89db6
ocaml(CamlinternalMod) = c784ffbd65b6908731839f4ed8d6624a
ocaml(CamlinternalOO) = 6b286dd73118ee6f55c18d3b821a1309
ocaml(Char) = 2b18a802a1d42e9939b41f6b36f537c1
ocaml(Cil) = db0a301259e39f117df16f07602de497
ocaml(CilE) = 87f1248706ae7416ec70dd87be0392a7
ocaml(Cil_const) = 5e39a6cfe8f4ebdcc0956aaa77b4872d
ocaml(Cil_datatype) = 1f391a5a6972c950430ea5b152d01cbf
ocaml(Cil_types) = 640d4d6901a271abe7c4bb3e8eab84d8
ocaml(Cmdline) = 47f64a2cbcd779434c3260471c99959c
ocaml(Config) = d2c41226bbf541198ab783446c1e7ee3
ocaml(Cvalue) = 107178748be5c58d3a616e21b9b61ff8
ocaml(Datatype) = b8b83c6a546d4ad0aae4f935fd372d5e
ocaml(Db) = eae845f424670179954e00332c627f90
ocaml(Descr) = c58361c27255177273970447b7f5fe4e
ocaml(Digest) = b84048761577d28524b7d244313f8dd5
ocaml(Dynamic) = bcdcfef407c5d8676c82e48dcb87d94c
ocaml(Emitter) = d1ffb30f7089b6cd925051e898430044
ocaml(Escape) = 277f725e5bb27aacf8a4d0da5bcbb3fa
ocaml(Extlib) = 38605501db649fd344770007babea911
ocaml(FCHashtbl) = deddd041492de22964a960fc861e52bb
ocaml(FCMap) = d58c68a7e6d29e29c937546e349dbaee
ocaml(FCSet) = 8dd912b4fa77acc6cfd342ba5f7f72ab
ocaml(File) = 9864fcebcd29cf95e152d381c5aa7c6e
ocaml(Filename) = b76309dbfd6df6e67384275ed924c982
ocaml(Format) = aed1d740331f56358bdc54ffe141c959
ocaml(Function_Froms) = 254df74aab08f4c863e56fb391abc7ce
ocaml(Fval) = 905c73a9b41ffc756ab85f6e57fe292e
ocaml(Globals) = f7dd9999382da32a7b142326e95ca9ec
ocaml(Graph) = c6a1d09cb06ef83369a9a963d2e7761a
ocaml(Hashtbl) = 4744e626acdfe40de6fc93fabc1a64f6
ocaml(Hook) = 1156f77fe5dc24dd964bc3b2507b55b8
ocaml(Hptmap) = 56ba1569db85e50398850eb9d3230803
ocaml(Hptmap_sig) = 11d1ade27470458290c37f8b2bc0aa82
ocaml(Hptset) = 28365a1af8b3158bb82f88a6e64862e8
ocaml(Inout_type) = a6a4b57dd05abeb409aa53aa3a99e43f
ocaml(Int32) = f4400e9e93b464d150ad42f31836792f
ocaml(Int64) = b2b905603aad7b393017ff8889305fc8
ocaml(Int_Base) = aabab1618572371933459a4dd81ef867
ocaml(Int_Intervals) = b60854c5b63bcde45ad1840b5e431e72
ocaml(Int_Intervals_sig) = 10fe3ce5044ba6ca263ca7f9b5bc5bc0
ocaml(Integer) = 4d6d87ac801a379dfddfec77be418287
ocaml(Ival) = b3c90fce4ed7c6bd696ed8a55a0e318c
ocaml(Kernel) = 45264344ddbcef38e5429e065bb641d2
ocaml(Kernel_function) = 68af4e0757415a0f619f570a219568d2
ocaml(Lattice_type) = 2b8f7f0a39163b9c033a3c8dab8c26ab
ocaml(Lazy) = 7e97f2d9e2400938aba6fdcb2d54c302
ocaml(Lexing) = 4d9c7eb04940c37e64ff967cfe13f973
ocaml(List) = cd293869f2923980325b5f3354992c2d
ocaml(ListLabels) = 720a1226d7cebb22ff0821ea04a73cd8
ocaml(Lmap_bitwise) = d5523b6b21d09de4a42cf1762a7fb745
ocaml(Lmap_sig) = 658051520d3cf5b474787a21c2109dfd
ocaml(Locations) = f69c8c1e2a434ba21bbaf64dc5ff94e3
ocaml(Log) = dc458edd5964e77a47e07a1aad822225
ocaml(Logic_const) = b3fda78196f0de0e2e256b2a7f9fcf69
ocaml(Logic_env) = f60cd2238412cbc256cdf9aabaf37172
ocaml(Logic_ptree) = 4bb11288737b524256d5e6931408243f
ocaml(Logic_typing) = 66416143c0e3f94ce1aedaab41d692db
ocaml(Logic_utils) = 27c7b339f45916a54ab19146fb506c5d
ocaml(Map) = 79600cd97ccdb653e469726598ad3582
ocaml(Nat) = 3c59458b7a12f5ef2bd3f4a8586c53d4
ocaml(Nativeint) = 6adeb5fabc17b037c800e589fa54de9d
ocaml(Num) = c90123dd0d74d53d49fda22e6b8e07bb
ocaml(Obj) = c4ef78f7441e9530f471a24b7a61f374
ocaml(Offsetmap) = 605beab096752e0a54b9c1c640bc6bd8
ocaml(Offsetmap_bitwise_sig) = 906ff0f943d056ad964e3e65cd5356be
ocaml(Offsetmap_lattice_with_isotropy) = 788d9f54269c25db4f3f94dcee321746
ocaml(Offsetmap_sig) = a15325226b977fab996f554fff3e3c24
ocaml(Origin) = f4e19d71df2c2f052946153b05478ad8
ocaml(Parameter_category) = c2ca8abde53e9564906abcd8b149ad69
ocaml(Parameter_sig) = b7bf2ee002dde95adbbf3142c5f7ea36
ocaml(Parameter_state) = fd6a656b2af3b92ed9d17ad404ff2faa
ocaml(PdgIndex) = f54046e75f179792d89e3cbf35b3d2cc
ocaml(PdgMarks) = 386e8a0159986b71edbda59e91ba626c
ocaml(PdgTypes) = 19162ad8ac0f6f19eb00692b9fae9b2a
ocaml(Pervasives) = eef96f967b03d53aceb35ab9ee61e6fc
ocaml(Plugin) = 5e5b9247519b454d4c374c0fa867b95e
ocaml(Precise_locs) = 8deb4bbb221333e5868dca430d64c5e9
ocaml(Pretty_utils) = bcc7d030d153643c067c9e71ac8d7639
ocaml(Printer) = a5602498c2d2b6975a5f02d7c587baf5
ocaml(Printer_api) = 640b52ad4bd5fafdc0593e1024bd5280
ocaml(Printexc) = ddd58bf5a5121fb7916a8b6051476b0d
ocaml(Printf) = 385453685a093b8637adddc0c7998065
ocaml(Project) = e6396082c11cc49ee61ec4155a1a0f4e
ocaml(Project_skeleton) = 0f2d6517e28959a7c8b5f03469f4bfc6
ocaml(Property) = 11e6ae651cc270e41c38981db43a79fd
ocaml(Property_status) = a10d62f499b6dfe4060a66be0e612324
ocaml(Queue) = 62d860c471d4249640088bc945349d6b
ocaml(Ratio) = 77dba07bfe18d56f14067a911ef243b6
ocaml(Scanf) = d06a40809c87e909b39ed99a6940796b
ocaml(Set) = cf3455f46534ce0e93f6aaf609c4197b
ocaml(SlicingInternals) = fef93183e4393fbbb05fb410b0d66146
ocaml(SlicingTypes) = a3835cea9e05f065dc9660cc1eb172cf
ocaml(Stack) = da5b658a686304cd0c61ab4cfa19922a
ocaml(State) = a94717776ed8c6aa117c1fae42db6ca7
ocaml(State_builder) = d4d6d38c6629439dd603513c23d3bdae
ocaml(State_dependency_graph) = f9fce8f70cca9c5f29bca484a5946214
ocaml(State_selection) = 615329669485a864edc190e15cca2545
ocaml(Stream) = f67f48fd28bb0ba5ddeacbaff58c0306
ocaml(String) = 609a5859ae42eeafa6c2b0f8f5e2ee85
ocaml(Structural_descr) = f0084014e00c1b4820ca7c82022c1f98
ocaml(Sys) = 6fb70405f4f231a940f7911af46504e5
ocaml(Type) = 23ad4798df42efbfc59efcbbb843146b
ocaml(Typed_parameter) = ad96361358ea7b34d081f23fb483d63a
ocaml(Unix) = 24c53108a81f2b272c64d33418be3651
ocaml(Unmarshal) = bf968a97d52696c6f88232697277de5e
ocaml(Utf8_logic) = f6f2ff1cf1b91ed4adf0bfea4c1e4c10
ocaml(Value_types) = ce471193dcdc32f87c71086e39039188
ocaml(Visitor) = e7e40cc64309885cac9db1b4e2115308
ocaml(Weak) = 5f1a92459941483ccfaa9bf817a6b710
ocaml(runtime) = 4.04.0
rtld(GNU_HASH) -
why(x86-32) = 2.38-1.fc26

Provides

Name Value
appdata() -
appdata(jessie.appdata.xml) -
application() -
application(jessie.desktop) -
ocaml(Jc) = bebabec1ac80255064d20bcbdc1f224f
ocaml(Jessie) = 3a0ede169ed2a85e7523c8d9f0fda840
why-jessie = 2.38-1.fc26
why-jessie(x86-32) = 2.38-1.fc26

Download

Type URL
Binary Package why-jessie-2.38-1.fc26.i686.rpm
Source Package why-2.38-1.fc26.src.rpm

Install Howto

Install the why-jessie rpm package:

# dnf install why-jessie

Files

Path
/usr/bin/jessie
/usr/lib/frama-c/plugins/Jessie.cmi
/usr/lib/frama-c/plugins/META.frama-c-jessie
/usr/lib/frama-c/plugins/top/Jessie.cma
/usr/lib/frama-c/plugins/top/Jessie.cmo
/usr/lib/frama-c/plugins/top/Jessie.cmx
/usr/lib/frama-c/plugins/top/Jessie.cmxs
/usr/share/appdata/jessie.appdata.xml
/usr/share/applications/jessie.desktop

Changelog

See why-2.38-1.fc26.i686.rpm changelog.

See Also

Package Description
why-pvs-support-2.38-1.fc26.i686.rpm Complete Why software verification platform suite
why3-0.87.3-3.fc26.i686.rpm Software verification platform
why3-all-0.87.3-3.fc26.i686.rpm Complete Why3 software verification platform suite
why3-emacs-0.87.3-3.fc26.noarch.rpm Emacs support file for why3 files
why3-examples-0.87.3-3.fc26.noarch.rpm Example inputs
why3-xemacs-0.87.3-3.fc26.noarch.rpm XEmacs support file for why3 files
whysynth-dssi-20120903-2.fc26.i686.rpm DSSI software synthesizer plugin
wicd-1.7.4-2.fc26.i686.rpm Wireless and wired network connection manager
wicd-common-1.7.4-2.fc26.noarch.rpm Wicd common files
wicd-curses-1.7.4-2.fc26.noarch.rpm Curses client for wicd
wicd-gtk-1.7.4-2.fc26.noarch.rpm GTK+ client for wicd
wicd-kde-0.3.1-10.fc26.i686.rpm A Wicd client built on the KDE Development Platform
wide-dhcpv6-20080615-13.1.fc26.3.i686.rpm DHCP Client and Server for IPv6
widelands-0-0.57.build18.fc26.i686.rpm Open source realtime-strategy game
wifi-radar-2.0.s10-4.fc26.noarch.rpm A utility for managing WiFi profiles
Advertisement
Advertisement