Result for FE35618DBF2EC4DAEED5BF725061A9A3529BD936

Search result
Graph view
Children (175)

Query result

Key Value
FileSize11183278
MD5AEEFD74E6984C979EE916E39492A6A4C
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-1FE35618DBF2EC4DAEED5BF725061A9A3529BD936
SHA-2560762B499776C635C993FFA83BA4E0B5B93CF76B04770EF6216887E94B445C900
hashlookup:children-total175
hashlookup:trust50

Network graph view

Children (Total: 175)

The searched file hash includes 175 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/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
Key Value
FileName./etc/emacs/site-start.d/50why3.el
FileSize156
MD535F09B7734001C97E776F40818D255A6
SHA-1092472CDFD2B168E27C5E74E4E5575CB879E98A4
SHA-2569CDC99E16FEF26DE32A004BBC5896E1403DEEB156B830F67A463965452C76EAD
SSDEEP3:BFbhW0XiaNEXlIIcH9xEIKvhKcCQLlRuNbCWRJE9DW+V51oc5oc5SlFk:zVxyaWX+1H9xEIiQcCQLlRuBCW7O5ecD
TLSHT18CC08C572EF01F0DAB64304A4F804B201C8CEFCBE8AD1A0CE806430CE2028D948A449A





metalookup is a service from miwakeru.com