Result for 3CDD99670B1539D1CA080232CF1394CBC58710B7

Search result
Graph view
Children (203)

Query result

Key Value
FileSize30784616
MD5DF9D9ED899B3CD8C6231334443049394
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
PackageVersion1.2.1-6
SHA-13CDD99670B1539D1CA080232CF1394CBC58710B7
SHA-25679DC22CBE2CF678E6B276E56FA256EBB661DBC537E3D34A62C64D627C1C66E8B
hashlookup:children-total203
hashlookup:trust50

Network graph view

Children (Total: 203)

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

Key Value
FileName./usr/lib/x86_64-linux-gnu/why3/commands/why3ide
FileSize14967752
MD5064374F1E7360D026591C69E0E0F036C
SHA-1001D237F4DC5BAB25AA37346A35B35839F3E0EF6
SHA-2561625891DD432FE7D652C3B09CCD316725C235E3510C3B0426FD8C2374A52C1F9
SSDEEP98304:r4volXzGDbvqf7a2i/T+1Jw65quk+6+T7kJ9+696snrPfHqKnix1NqVmwSlyUH4:0o0LgvgA6+TAJ7rVi3gelHH
TLSHT154E64DABF98A8FEDC2BED934C65A17B07A72782016602B021BD0B6150F435DD5B7E7D0
Key Value
FileName./usr/lib/x86_64-linux-gnu/why3/commands/why3replay
FileSize11094344
MD5797625A2BF10DF04DA5B3C01636C7AA2
SHA-1010F22582AB2D8D0CEC03AF9DE5D75D54A4678D6
SHA-256AC7150CB59C70DA0BB710B7BC04F91E18F25AA5B4B3EB32CD6F35A5B8084AE2B
SSDEEP49152:siHIBYvPHhLiiOyqJIOXansGI72wGz/3wtxdfFzCyrQcfaccLxhJs0FPArae20iC:siHI+vPHhL1OyqJMIu3YBrdMPqS1oiP
TLSHT104B62B5BECC68EFDC2BDD538CA9A07F57AB2781056902B031690A2150F43ADE5B7E7D0
Key Value
FileName./usr/share/why3/stdlib/appmap.mlw
FileSize412
MD5D94CDE0B35F135245727CB18B618DEF5
SHA-1011CBA6182DF86C27423488CC3F935B5B9E50814
SHA-256C57791EA4DD5E3DABC6BF2A09EE631D8DFF7CC2D57E7B18ED135E676DCA2BE0A
SSDEEP6:HM04iYFqr/FWH6lmpxvdgJPSrXubdtEqJPCeubiJP1hPp/rXubdfd:nVNoPxlgpAebAqpCrbip1xpjebn
TLSHT1C3E055B6B6E02068C001B4B7C68F2093C6B1635943001E1430A8C0A8DDD9A3416DA6E9
Key Value
FileName./usr/share/why3/drivers/why3_tptp.drv
FileSize503
MD5F51564509A097CFCEAC8B2EA275C1B8B
SHA-103808710B67D14D9A596D271463B207BB7D9BF4D
SHA-2567192067EE729114F85315280F2541909A209489F45A2B9CE1186B81F4EC4F0B3
SSDEEP12:lhlZyZFioLBWQLBvoLB4AQLBALBVxLBwMBJa3LBybLB8iLBwAILBBrkXLBzRjKwn:lTZcFioNFoCtqPxKMB03kbaiKxrwXFhv
TLSHT1E1F0DA88CE0C96A451132372C3D68B846F38826721150DCF7BA5952E94A9CED47BB7A3
Key Value
FileName./usr/share/why3/drivers/tptp.gen
FileSize956
MD5656C681450AA1B8639018DA440A03B2E
SHA-1042E526135257B12518344D9B3C74A02C9E237C6
SHA-256B08B43858E4B0E9D1FA76CBF0AE9E18DBFA8B5ECDF944206EAF3785D5E632471
SSDEEP24:0TvP4ZIyw4ZcyioH4ZISC+qNFoCtqPxKMB032HkbaiKxWrwXFhKCV4s:0czLqyiX2SxgNuf0pIrKY4s
TLSHT101113888CD08A6740A536266C3E3CBA01F3896971500099F3BA8851F25F5DDD87AB393
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/stdlib/mach/bv.mlw
FileSize5100
MD5A6E4CF8F45366024B10DA446461AE995
SHA-10ADB1086A92E1CDF49723DDEFAA141A425F91A9D
SHA-25660DC6F1639F7EE4DC8D03E9B570A3507375B152672E8DB7D2E42D89A5FBFDA53
SSDEEP96:BBQ2C1GqCDn8CEbGC0jCC05/C0UPC6QCRdqLwKB79eQ8oX8W2eZI:BBfC1GqCDn8CEbGC0jCC05/C0UPC6QCT
TLSHT1F1B1E42DA9246177E453B07E929B50E9E430560B0E98BE50715CD0E42F1A83CBBFBDED
Key Value
FileName./usr/share/why3/images/fatcow/control_play_blue.png
FileSize1751
MD5498188E12AA1EF6FBEE65A3D8D2D947B
SHA-10CA2D1D9E8FFF7A822A064010F77892CE27F55C2
SHA-25668708A6C54BE789AAE9B578DE979216B8BF3C2A5AA0520C97B2A0224C08E9564
SSDEEP24:wWQKA3ZGs6DTJgWJRcLc6KhayXhULfEHDf3lGbFnF/s2GmQVAW3Q/iECvVBcbiRC:zQKAseCvhpXpHDyF1KAJ/iEskRXci
TLSHT174310BE2A3A7EF5C49698AFB4C604261140EB145353171ADB42D6FF7468390C7C05577





metalookup is a service from miwakeru.com