Result for FCE922E97B65308DEE90BD3150B80BFBB09602E7

Search result
Graph view
Children (211)

Query result

Key Value
FileSize87008596
MD5CFF9E0896A125C3A4B2399169E3FFC3F
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
PackageVersion1.3.3-1+b5
SHA-1FCE922E97B65308DEE90BD3150B80BFBB09602E7
SHA-2562D13A604DDBC459DBEF3982F9C37E322B44AF998A9F70ACB121F6F18DDC54664
hashlookup:children-total211
hashlookup:trust50

Network graph view

Children (Total: 211)

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

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/drivers/coq-ssreflect.drv
FileSize2919
MD59EFE44B1DF7742D823B35F24C1DD0C08
SHA-105D55435B001EF14E3847F72F9E13FBE42637EA3
SHA-256AB33811759F2A41B0326FC91D6CF45DF665934F4D22923BE7016F681AAB44FE9
SSDEEP48:klqZsNkt0OK3ayHI6yoWNVGPrn8PSTMTFPPBVeREVS:BZaFj3a8I6aNlPSoJSRF
TLSHT11F5102C8EC911A6060C76F68D1DB4E5EFBB454A451B802CA0D9BD8E634A48AC73E3F5D
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./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/images/logo-why.png
FileSize1399
MD5BC5AD3E4789EE209FB58E21AD4416FE9
SHA-109DA0804BBE3B14AAE40DF8CA73B7F75FAAC2D8F
SHA-2569B294458E2008C9490629B15C467776010D234FF9A1D10CD5704002F30C0B5E0
SSDEEP24:e2HdVius5S2sUEWO5FS/SfKS7JLCv4QK3J16U62D0VrV/3oqQ0jDHFu5/d:Pa51gS/SyStLg4Zz6vH/tnQ5/d
TLSHT1AF2108A42655CACB03A472D26D7BB87658700AE5E6FB038C47968338BCFB31460D163F
Key Value
FileName./usr/share/doc/why3/changelog.Debian.mips64el.gz
FileSize224
MD5B2CA7D967B568670FB47AA093B88C35C
SHA-109DD05F483653477085CCA6C7C0B6C4A4F72B5B9
SHA-256AE3AB5EC107A4C842BC5F4BAEF94C33E1BFC03E5159A560CB3FB811E9A92FD8C
SSDEEP6:XtTKlST1TMaJ9Ljka9o4HcPs73urtT1Md:XR3ZMaJCh4HceuJKd
TLSHT1E5D023B7E0633E614CC4743105C3F7C8562D00720300E6348D7218B50C712A42680557
Key Value
FileName./usr/share/why3/drivers/metis.drv
FileSize340
MD510DBC71D0C429BC4B741556907E64B9F
SHA-10A55818639F68C05C5061D73E74BA8CD8C4D753F
SHA-2563CB4989EB8AB0A55E1FF1BB76A8C8993F76B12244E8968C6B7F046103930BFFF
SSDEEP6:Ea9AeLv5JTAe3lEz46e9OefKP446ejqeKP446eNnCoQXsekRw46enx3t6eLl0z4m:3bg4lyP44HyP445Co4f4Dx3t3e4kfDn
TLSHT1B6E04FE88805E4100FEF50AAE073FBB21EE44E49071313751048621A2F901CEAAC9958
Key Value
FileName./usr/lib/ocaml/why3/plugins/genequlin.cmo
FileSize26193
MD5FBDC9E74C95A8E4F6547FEDB1AD54DC8
SHA-10A799DA4745ED8D0E4D5AC8BF919F611973EC8A5
SHA-25618041413C99CEB8B66786AF708B7E99601C2A54168B0D2D2F7B8227013F97791
SSDEEP384:T7EVviKzqYTXglkiuLxxzrs9k04vWbYRuQbolQE7c6d:TYh7FXukiu1xfs9k04UYIQbolV7
TLSHT129C2A857C5FD4D3CF98064B978D00E4293A9232BC0A3C426C52A9FB9E8E5625BF43D5D
Key Value
FileName./usr/share/why3/provers-detection-data.conf
FileSize21459
MD5D46E00CF8C657B837C36A5AC99475151
SHA-10C092FF834ECE0E644037ADF080D10DB0FF98293
SHA-2564C672A6DF8C9E34D842B8FB29772AAF7A8A443887896C606B74AD9F3DB462E33
SSDEEP384:RnabP0LeFQCICwOLeFQC13ntJLeFQCuTXRopkQWa:R80nlRCWa
TLSHT1FCA2ED796D6FFDB3489B27F4E1A012A5B7F734A102FE204D62D05A461F396ECCAE0446





metalookup is a service from miwakeru.com