why-jessie-2.40-1.fc28.x86_64.rpm


Advertisement

Description

why-jessie - Interface between why and frama-c

Property Value
Distribution Fedora 29
Repository Fedora x86_64
Package filename why-jessie-2.40-1.fc28.x86_64.rpm
Package name why-jessie
Package version 2.40
Package release 1.fc28
Package architecture x86_64
Package type rpm
Homepage http://why.lri.fr/
License LGPLv2 with exceptions
Maintainer -
Download size 4.10 MB
Installed size 17.26 MB
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.40-1.fc28.i686.rpm 2.40 i686 Fedora
why-jessie - - -

Requires

Name Value
frama-c -
libapron.so.0()(64bit) -
libboxMPQ.so.0()(64bit) -
libc.so.6(GLIBC_2.17)(64bit) -
libdl.so.2()(64bit) -
libdl.so.2(GLIBC_2.2.5)(64bit) -
libgmp.so.10()(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
libmpfr.so.4()(64bit) -
liboctMPQ.so.0()(64bit) -
libpolkaMPQ.so.0()(64bit) -
ocaml(Abstract_interp) = a9ee1d333ab8c80f676658c3b5f2f5ac
ocaml(Annotations) = 65d331608c0e4d130b956e98a94cb240
ocaml(Array) = 0fba23558da789bd0ef7ad786bdc90e6
ocaml(Ast_info) = 1905a3e91ce969d8bb54bbbe253f51bd
ocaml(Base) = 2438b29be0881837dcd1b89d6b2dc66c
ocaml(Bottom) = 8dfdcfe21723b41b2a9b59ee6a666219
ocaml(Buffer) = 9c9b3639d23d7746c571cdf04646eb29
ocaml(Bytes) = b0d8deb18827702df0887113ba3c0110
ocaml(Cabs) = ae6540aaa32d6db6132568a34bc76114
ocaml(Cabs2cil) = 25ed69d9d8c9b02ca9d088054dc40c8b
ocaml(CamlinternalBigarray) = 4ff98b0650eef9c38ee9c9930e0c3e9b
ocaml(CamlinternalFormatBasics) = 79ae8c0eb753af6b441fe05456c7970b
ocaml(CamlinternalMod) = 8d4f9a6217ec1079cfdda6e658d5c81c
ocaml(CamlinternalOO) = 69dec6b14920fcc456f3cbd10764333e
ocaml(Char) = 4918635b8796d0ab0d5c593b942f8df7
ocaml(Cil) = 4edf2163a1077a60ec66031f4e7d1c12
ocaml(CilE) = 575aec66989c7f0c6af15bb591861f5b
ocaml(Cil_const) = e89c846686cd0ada7c93c37e56e3e693
ocaml(Cil_datatype) = 6426c4c9711cac4488afdbfb3d3ef3c0
ocaml(Cil_types) = 603a88b1d9fde6d3456e92ada31f20f3
ocaml(Cmdline) = f747f6ab09616067a49d3cff71f0d1ea
ocaml(Complex) = cd4856c93f21942683ce190142e88396
ocaml(Config) = cff2089757632f842d94680698ca8955
ocaml(Cvalue) = d6f3850281e7f5571120e2b9a3eb2220
ocaml(Datatype) = 5d672c5380d904c14785395afac62c4d
ocaml(Db) = da34d5d71add09ce008e4484f540cb61
ocaml(Descr) = 0d0313918aa08e02cd1323853f029f97
ocaml(Digest) = 9eea388efd5172256c8453659d37f2b5
ocaml(Dynamic) = 63ed1b4153add9ea690725d24b347565
ocaml(Emitter) = 012b45b63c0891af68ca1689e82bd381
ocaml(Escape) = 733c86f0c56b817fa9967576a83cd0e6
ocaml(Extlib) = c3255449d31beb3a8a9698c9ccc03254
ocaml(FCHashtbl) = b2919f4ff775021bed91f7ae685e95ef
ocaml(FCMap) = eff6857d1dc66ea2434b4464b1165207
ocaml(FCSet) = 47299c3b6b85e3c6fd5c09f1f8b7d421
ocaml(File) = 6cd56fc1d81d662214fae633de539df2
ocaml(Filename) = 4c2454d1aec88f5851f077478f232f2f
ocaml(Format) = 1a17539924469551f027475153d4d3b5
ocaml(Function_Froms) = f87d5d3213682a56e3d7dc71b7f0fb32
ocaml(Fval) = 9f5796a0f54247f3ff9e006a3c85a7ac
ocaml(Globals) = 5f0f63fd2b194d09aab91e4adcec6269
ocaml(Graph) = efd29031a386bdb3914529e98b14a030
ocaml(Hashtbl) = 0a88e320f172d3413ba0d5e0f9c70ccd
ocaml(Hook) = 007201a2147a09b94d0059b7abdffa14
ocaml(Hptmap) = ec93039a84c326371948ec651b83f1eb
ocaml(Hptmap_sig) = 339d51bf8dcec29e53c8dd089a81f15b
ocaml(Hptset) = 87b469d3dead55afce4708411ab72b51
ocaml(Inout_type) = 6487b4ce79bc56f4abdcf6985bf45e95
ocaml(Int32) = dbc028028ad4d59759d36dd6c0796919
ocaml(Int64) = f1c602b12ea723a45bbe6143f116a991
ocaml(Int_Base) = 40523f2fcec7ae9e3315704b45e751ed
ocaml(Int_Intervals) = 2326a64c7c8480b3a5b4bf305814a88a
ocaml(Int_Intervals_sig) = 96ee860a429f25bffda8ec5e2c7fb00f
ocaml(Integer) = 9927b81f6faf6bcaface47391c2bb03f
ocaml(Ival) = 77a4ae2588ba8c6d176187ad6bedb5db
ocaml(Kernel) = 09ba9ef05f5a3f47e9883cb78dbe77a0
ocaml(Kernel_function) = b24ea73e3462212dd64ff9166d536ec8
ocaml(Lattice_type) = 2243a4c3087f8491d7e5d3dddf4a60d7
ocaml(Lazy) = 4bf082b428b11a15971c831a1c768bda
ocaml(Lexing) = 0971650cdf1fa8e506e733e9a5da2628
ocaml(List) = 7a6b1f92720df765cf38d67f920844fe
ocaml(ListLabels) = f4e829075d9d0bb7de979cfc49c2600b
ocaml(Lmap_bitwise) = b2a1dd651cefe576979e87903e31eb11
ocaml(Lmap_sig) = ca7cc94179427ac020ed5ba8c44e29a1
ocaml(Locations) = c087f3ea59212239514952e930cab1be
ocaml(Log) = 0d363f3d5ba18866e9cd6d41b4e836c6
ocaml(Logic_const) = cf02911376c15e7e0db497226ad150a5
ocaml(Logic_env) = 808d404aa9a3d9b5dec33f69f92d5c22
ocaml(Logic_ptree) = 65ed23769cd8422410dc6bcdafa0c85d
ocaml(Logic_typing) = 3041c0ad8566e1fcae47d648ecfa95b6
ocaml(Logic_utils) = ee1229d0048248f1dafff25871a98961
ocaml(Map) = 8b8de381501aa7862270c15619322ee7
ocaml(Nativeint) = 7b210723c1ccafec90ff1578ad7e5996
ocaml(Obj) = 8a1a1ebb4979c1cf4966cc2e706bd0f9
ocaml(Offsetmap) = 23aba9b4e7fa14528cc72d583e5204e5
ocaml(Offsetmap_bitwise_sig) = 52e2164e3ee067fb9fe8ed53a9295da8
ocaml(Offsetmap_lattice_with_isotropy) = 305c23e9457215dfcf9a6820e4dcd0ab
ocaml(Offsetmap_sig) = 3a6d5415aaf9b50f87cc6aa689822c6f
ocaml(Origin) = 2d70f2742ed7eb2bd0e54cae4cb89885
ocaml(Parameter_category) = de35218507f8a26be11d6e3aa4339fa7
ocaml(Parameter_sig) = 0ba32f06e8e11ad1bf1a66622708d81d
ocaml(Parameter_state) = fe47ce7fa3252a19e623fa8f8e262114
ocaml(PdgIndex) = 19efbe18ceed9dbaea204a4b62e59ce3
ocaml(PdgTypes) = b929195cc6fe7c0dc84964e355fe0fe9
ocaml(Pervasives) = 9b04ecdc97e5102c1d342892ef7ad9a2
ocaml(Plugin) = 121360ab4e0e8447f649da6eb207d50f
ocaml(Precise_locs) = 337a4ea856e668b47e5ba42b03185955
ocaml(Pretty_utils) = a7382c5173bf753100166ff4f85e2227
ocaml(Printer) = a951b4dbff22eb98898119b10df7b0c8
ocaml(Printer_api) = 0bd792ba3030ba1c7ffda8f809eacf22
ocaml(Printexc) = 1b461321ebcc8e419f24eb531c5ac7ac
ocaml(Printf) = e5dfd0ca6436c8abad976fc9e914999a
ocaml(Project) = d228472e85e3bf45c99cb92c16a73cc0
ocaml(Project_skeleton) = f2505b929644c7bebfc2a978432a3208
ocaml(Property) = f94e033068d5492f2112c56c1dcca24e
ocaml(Property_status) = 38ee6ed3994b2d83da4c26df6a2491ad
ocaml(Queue) = 63b55df0e31ad91e82a1c6659c8dca09
ocaml(Scanf) = e807880cfcd97dfe1c40fcbbb5573f71
ocaml(Set) = 28a12def19edf36c317c30fafcc03d6d
ocaml(Stack) = a3c26bdec0c0211d9b444bd0da56bd1e
ocaml(State) = c6ac39567c83de2ddc5793cd25d89c3e
ocaml(State_builder) = 9bcbce3d3d20b060e351fa611929cef9
ocaml(State_dependency_graph) = a4e0639d6eb27e1fba7a36f1257ae83d
ocaml(State_selection) = 698cf0d9ad7073ee7df9b5c96edc7a03
ocaml(Stream) = 90ec282c811d56f0cb641c602c7a92fd
ocaml(String) = e6a69bfe22781c3a43e5dc04b6d1728a
ocaml(Structural_descr) = ad43649929d384d50500d1f691fc325e
ocaml(Sys) = 3fe6d98e0634486be22d9de07aa0709a
ocaml(Type) = 0af579c6092de06e1de25f8229df557d
ocaml(Typed_parameter) = 4e3917982d4d9bc695f3cd041e626ee4
ocaml(Uchar) = 596c497318b5c3057b47b9d6747ef5d1
ocaml(Unix) = 053326e853ce10e1fadf8d891f08f891
ocaml(Unmarshal) = 5b10154ae6d90f164c8a337452d8d976
ocaml(Utf8_logic) = c661cab4a677e630d39f2e004de8526c
ocaml(Value_types) = 16a1c3704ab5d291d250b1ed0f4149ed
ocaml(Visitor) = 0aa37facfafb09cbaad7aee525458acc
ocaml(Weak) = a2706834b4d23daf7798bebbefb79ecb
ocaml(Z) = d4914f8a3a8ca7f09904bae61dbdda66
ocaml(runtime) = 4.06.0
rtld(GNU_HASH) -
why(x86-64) = 2.40-1.fc28

Provides

Name Value
application() -
application(jessie.desktop) -
metainfo() -
metainfo(jessie.appdata.xml) -
ocaml(Jc) = fd3d4875967b3be4e99f7a0c25e911c4
ocaml(Jessie) = 8cd7b31b8cbfbed9d5bd39a38bed046a
why-jessie = 2.40-1.fc28
why-jessie(x86-64) = 2.40-1.fc28

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package why-jessie-2.40-1.fc28.x86_64.rpm
Source Package why-2.40-1.fc28.src.rpm

Install Howto

Install why-jessie rpm package:

# dnf install why-jessie

Files

Path
/usr/bin/jessie
/usr/lib/.build-id/
/usr/lib/.build-id/55/52bb8c885204594b1223b1dd8082d3dec9e640
/usr/lib/.build-id/55/87c66daf93724305425a16983df310c938e4a7
/usr/lib64/frama-c/plugins/Jessie.cmi
/usr/lib64/frama-c/plugins/META.frama-c-jessie
/usr/lib64/frama-c/plugins/top/Jessie.cma
/usr/lib64/frama-c/plugins/top/Jessie.cmo
/usr/lib64/frama-c/plugins/top/Jessie.cmx
/usr/lib64/frama-c/plugins/top/Jessie.cmxs
/usr/share/appdata/jessie.appdata.xml
/usr/share/applications/jessie.desktop

Changelog

2018-02-12 - Jerry James <loganjerry@gmail.com> - 2.40-1
- New upstream release
- Add -num patch to fix incomplete num to zarith conversion
2018-02-09 - Fedora Release Engineering <releng@fedoraproject.org> - 2.39-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2018-01-18 - Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 2.39-4
- Remove obsolete scriptlets
2017-12-09 - Jerry James <loganjerry@gmail.com> - 2.39-3
- Bring back the -project patch, still needed (bz 1520483)
- Add the -safe-string patch for building with ocaml 4.06.0
- Build the Jessie plugin with -runtime-variant _pic
2017-12-02 - Richard W.M. Jones <rjones@redhat.com> - 2.39-3
- OCaml 4.06.0 rebuild.
2017-10-07 - Jerry James <loganjerry@gmail.com> - 2.39-2
- Rebuild for why3 0.88.0
2017-09-07 - Jerry James <loganjerry@gmail.com> - 2.39-1
- New upstream release
2017-09-06 - Richard W.M. Jones <rjones@redhat.com> - 2.38-6
- OCaml 4.05.0 rebuild.
2017-08-03 - Fedora Release Engineering <releng@fedoraproject.org> - 2.38-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-27 - Fedora Release Engineering <releng@fedoraproject.org> - 2.38-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild

See Also

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