Result for A4DD67480764D629BAB967545C5735F3EDC3813B

Search result
Graph view
Children (170)

Query result

Key Value
FileSize12960992
MD546056EE83D6B7E1229FD899E18EA04AB
PackageDescriptionSoftware verification platform Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs. . Why3 is a complete reimplementation of the former Why platform. Among the new features are: numerous extensions to the input language, a new architecture for calling external provers, and a well-designed API, allowing to use Why3 as a software library. An important emphasis is put on modularity and genericity, giving the end user a possibility to easily reuse Why3 formalizations or to add support for a new external prover if wanted.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamewhy3
PackageSectionmath
PackageVersion0.88.3-1ubuntu4
SHA-1A4DD67480764D629BAB967545C5735F3EDC3813B
SHA-256E6EDD1742502286AEFFE9C4C7D6C2725C2C1EF5BF086AB4FC52AD1B6E858F932
hashlookup:children-total170
hashlookup:trust50

Network graph view

Children (Total: 170)

The searched file hash includes 170 children files known and seen by metalookup. A sample is included below:

Key Value
FileName./usr/share/why3/modules/string.mlw
FileSize3712
MD58E9A82F675DCD175C1688D643AD254B8
SHA-10198C38E1977FAE11C0A7D8C1508A469816BF1D9
SHA-256A28C010F8A9EA0F4582B7DE33D8D577EDFD460F58E4D273A881BAA9A5D16BFFA
SSDEEP96:623JtC+apEgWfMcpMq1aR50QQkHQQ73oKVgggxfd5A3gdcYtGA:623JtC+aproMZq1aR50QQ0QQb9+/5d5d
TLSHT10971F05A659432255857A3B36EC30154C1B6B12653683D7CF4ECE0FC8F85D10EAE5EF4
Key Value
FileName./usr/share/why3/theories/set.why
FileSize8777
MD5F43A9875109BFA45710BC5DC55569ABC
SHA-101BAF61228567409C30E1EC560068113D71EBA07
SHA-2563C657A1DD17DCA419F0B23B93F0198B9DCFEFDFA1F26894F11E368BFC54B5F48
SSDEEP192:Z3LJ2IM8DRA1f6sUctGTZC3TVVgTsMASCfgR7MrI/UdtMSo9MBA7oRhbZNhhbMLJ:1JRhR2f6sUctGTZUTVVgTsMjCfgR7Mri
TLSHT1C002021D24D712567B7687B9CEC3991C40AA354AA161CD9833DFE22A3FAEF502A4C1DC
Key Value
FileName./usr/share/why3/provers-detection-data.conf
FileSize15029
MD5861FA9DDE98D83FE4CAEE491E6D67426
SHA-104296007EF221A600FB55DC1B648C11C61C1B59E
SHA-256E8B9A66763BFA1A5CEEAF6FC6DCB2A76412F524B2F776D949F736F142A40C44B
SSDEEP192:vTRxxF3HGjs8ayE3/vgaEl4EaElLgJ2Sg9Na8Z7apt5c5T1Ho2J:7hsabVf5KRopt5c5TG+
TLSHT1D662CD7A6D6FFDB3889B13F4D4611191BBF7389012FE204963D0A9466F287EDC6E005A
Key Value
FileName./usr/share/why3/why3session.dtd
FileSize3756
MD52D7A6234553BDB83C3E6210D8B6B7757
SHA-10513F394A3478E35E0E85C7F0F033E92BED61FCA
SHA-2562FC094B4FDAC7F611488FED3E5CF407E63EED9AEE599C03E7C13F9E65581AD3C
SSDEEP96:OOh6Sx/1XnwrGou5Eshn7GVUTHJTVJTRJP86XdNQ9I9HX3tm+Jlj:3UV7Vi5XDhQn+n
TLSHT1C871FAE8086D0C5823B205E03E9D70EDA54EFA31794A3AB950D9AC3975EFC44BC49F96
Key Value
FileName./usr/share/why3/theories/ieee_float.why
FileSize32734
MD5B5C8F30272861DDF3685E9722C12DF38
SHA-106525D3C3C0A04D15D2C3A8FB232C7D2FB7FA072
SHA-256994FD5FDE26948946E9FD5C04872B8794C67022C6E7ACDC8FE46A8B7447A64F9
SSDEEP768:oIF/NR95JerdGUyZIEwoqCXx2xyaxRiEsD8+zx5UPHYXJmgos4q//g2jE7MtcTcO:oIF/NR95JerdGUyNwoqOMVRH+zx5UPH1
TLSHT141E2109C24D2452B67774A369EC76157A82869EBC1E33A04712CC2BC6BC35A8F335DDC
Key Value
FileName./usr/share/why3/images/fatcow/timeline.png
FileSize2430
MD571A30B44D1A9F163BED743D39F944A16
SHA-1076F893F62EE9728035530DEBE51AF855F6DD8EB
SHA-256A249A30B6E151CEF7258C9D93746510BDF6B7991F2FA9A4D4AB5BF5A13E5B930
SSDEEP48:L7DEGVs6/orE1CMlTYVna2pCczC8+8Y9EVMP1GPbV0N5ApaAbfc:YkgKS9xMczB8oaL
TLSHT1BC412BC4A87765D6DA3BE21DB2B08001A2B1B64AC9150E05023459EFAE23F56D0DA761
Key Value
FileName./etc/emacs/site-start.d/50why3.el
FileSize156
MD535F09B7734001C97E776F40818D255A6
SHA-1092472CDFD2B168E27C5E74E4E5575CB879E98A4
SHA-2569CDC99E16FEF26DE32A004BBC5896E1403DEEB156B830F67A463965452C76EAD
SSDEEP3:BFbhW0XiaNEXlIIcH9xEIKvhKcCQLlRuNbCWRJE9DW+V51oc5oc5SlFk:zVxyaWX+1H9xEIiQcCQLlRuBCW7O5ecD
TLSHT18CC08C572EF01F0DAB64304A4F804B201C8CEFCBE8AD1A0CE806430CE2028D948A449A
Key Value
FileName./usr/share/why3/drivers/metis.drv
FileSize340
MD510DBC71D0C429BC4B741556907E64B9F
SHA-10A55818639F68C05C5061D73E74BA8CD8C4D753F
SHA-2563CB4989EB8AB0A55E1FF1BB76A8C8993F76B12244E8968C6B7F046103930BFFF
SSDEEP6:Ea9AeLv5JTAe3lEz46e9OefKP446ejqeKP446eNnCoQXsekRw46enx3t6eLl0z4m:3bg4lyP44HyP445Co4f4Dx3t3e4kfDn
TLSHT1B6E04FE88805E4100FEF50AAE073FBB21EE44E49071313751048621A2F901CEAAC9958
Key Value
FileName./usr/share/why3/drivers/cvc4.drv
FileSize1129
MD5FFE9DED245D5430EF41F5E60339BD134
SHA-10B8836371C8A755091B9CE9B18A7AF63791D0B8B
SHA-2565BDF60DBF14F7D55007933F58A1A0607955E6A04EAF93FA51CBAC66C29E8D7E2
SSDEEP24:YSQAdYdfDi33FoCtqPxKMB03aqYqrwXDfsbAVNiLL:c7duVNuf0E5NKL
TLSHT1E7219889E8896560015343B6D2DB5B91BB34953261240CCF76C7C53F1AAACFC53AB3A7
Key Value
FileName./usr/share/why3/theories/floating_point.why
FileSize21482
MD562D5953E4F29A5BE160E5FC1B92B733B
SHA-10C0534F9D9A9D6ACCC337D4BAB6A82E52C28C8ED
SHA-2567A98E8F83352A900B1AC8D4E737EB3E8BA11728648227B71362885C55D7AEA43
SSDEEP384:fqycuiDXWjDwMF1IxpN6mzhN35sYMfV7g/hm3gE/wQC2xdxa15hcdYz3LJEdy3Bl:8xpN6mzhN35sYMfV7rQE/wQC2xdxa15Z
TLSHT1D7A2DFCC7C9669126B5B053676A16183AD2816D79AC22EC4F63C81587FC1CACF237BDC





metalookup is a service from miwakeru.com