Result for B82A9CF1E42189B4D3D4B9AA45A96B3AA1623368

Search result
Graph view
Children (171)

Query result

Key Value
FileSize47971406
MD57BEA5A9F006DBD5B566C0A5EEF712F60
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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamewhy3
PackageSectionmath
PackageVersion0.87.3-2+b1
SHA-1B82A9CF1E42189B4D3D4B9AA45A96B3AA1623368
SHA-2567381F9CEF9CFF32E8BA0AE0A1F3FB9971A4F9253B40EBABF418CFFE4F6F4090C
hashlookup:children-total171
hashlookup:trust50

Network graph view

Children (Total: 171)

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

Key Value
FileName./usr/share/why3/drivers/isabelle2016-1-realize.drv
FileSize235
MD54B690C7669781285BBA704602D494D74
SHA-101408BF6D62FE9342615D0DD5E591A0BFFA27AA8
SHA-25650A98F211C972A52F68905A53D447B5A023340C05467AB01AD5A4B22944716F6
SSDEEP6:4ADTLbvqmm1mkqDFsWXuOwyKmPMKBlcJAWbwYnD:4A/L3mIZ/KQLBWLbwKD
TLSHT134D0A745596C4C40C94D035838CD383D6B5520089A354A49BDC7B23966431CBE5A4740
Key Value
FileName./usr/share/why3/drivers/beagle.drv
FileSize8012
MD5B4E7EFE72AE9F7B4583EDC28D81B74AA
SHA-1015E0DDDB1580EE1C1C73D61AD3DDC1AA872315B
SHA-256A0BA173C62F9C68772F1EA0577185179FB977E5CE9A38BF58241E48CB1B269F8
SSDEEP96:8qvqgy7L3wyqh2Y+aBcYYhPOexdqV5JZbclUY+MqyfJJG:8rn36ThT534qyfDG
TLSHT105F1D44CF5512E70749759A0A1DF0B9CB7AC81E141A81542888FECDF36B05B9B2DEE1F
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/lib/mips64el-linux-gnuabi64/why3/plugins/tptp.cmo
FileSize1553314
MD51EBF378F34856388C41C1B62BF3025A8
SHA-102AE603FD7F169CE22AFF89075340DA28566876F
SHA-25665A9C0C619C4ED82CB1A3302B4898D209ECB26400467E6F2CCB21149D8CB073A
SSDEEP24576:S4Sa6N1wEY4QMPcAmEbnuB3sQTuCG0bKmf:Sn1cAni3CCG0vf
TLSHT13A75A34BE00C5933D02B0BFFDED9198E81B5583CA647AAE7056C55165FCB20EAF5A80F
Key Value
FileName./usr/share/why3/drivers/tptp.gen
FileSize876
MD5C730293106158AFCAFE0D2369AF3C6D6
SHA-1035641492FFDFE7A3C2F9010BBD660C0F192C5EF
SHA-256A0B83EBA00BFB2BA831FBD2C8582A0CC62AAB487C25EDAE323B8D4A7AD3946A2
SSDEEP24:0TvP4ZIyw4ZcyioH4ZISC+qNFoCtqPxaikbKxWrwXFhKCV4O:0czLqyiX2SxgNuGArKY4O
TLSHT133115988CD08A2740A436266C3E3CBA05F3896971600099F3BA4951F25F5DDD8BAB793
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/images/fatcow/control_play_blue.png
FileSize1971
MD58FF36BCB5C375BDBEFB08BF395D56503
SHA-105E321F1CE1BA027B49006E1E73464F6B5D272F2
SHA-256700C1539E7F4713807DC1428BAFA0B86FA5F753B331E174E306D04BA5114362B
SSDEEP48:rmqBU68eEh/giA0F9SrF3fOlzw2GaiO3V2rzQO5iw0SiUSdpzE:XWlRdF9SrpcGN1rSfd+
TLSHT1CF412A8071A88170AD30771C64090D637A78EFC4D38C15167E137425A938B7047F735C
Key Value
FileName./usr/share/why3/drivers/pvs-common.gen
FileSize7861
MD55B97555099C980528A22C43FDB2DE94B
SHA-1062532F6BE278ED923CD9AE671DC3652D3FBA41D
SHA-2569D63B40DA37E75958290A754D3FE48F7E30715679606D2D74DF3CFC6552A569F
SSDEEP96:r8AJJ8KcY+o7YhfJ0EeW960q0amq0atXl2:TJJ8KPG0EeSqPmqPtc
TLSHT1C3F18E8CF8A21E5060C76EB0A1D71B8DF7A850B6C078018569DBECDE3A954D873D2E5D
Key Value
FileName./usr/share/why3/drivers/isabelle2016.drv
FileSize325
MD5CD1E11F4101F69A9F9220F7826B6E275
SHA-10681F252DED3554ACBE8FE59AC29EF588238AF9F
SHA-2562E459D5F6184C8B0D2B340036F62A678E09F934BB170F990435408674462665C
SSDEEP6:4ADTLbvqmm1mkqDFsW0xw+C4sPMKBlcJavPMKB6dZFWbwQvcPMKBL/cJ6LQ:4A/L3mIZIjqLBW03LBDbwQvaLBQz
TLSHT14AE07D44CC6C5450D94D035684C92938BBA4111C5F31084F7EC3E23D5A825EFE3BB3A2





metalookup is a service from miwakeru.com