Result for 527CCE43A3228C762235CC4C4FEEF1BCFD437DCF

Search result
Graph view
Children (214)

Query result

Key Value
FileSize39546476
MD5A503F080733C44BEEE04E7A75BCD2B25
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.3.3-1build5
SHA-1527CCE43A3228C762235CC4C4FEEF1BCFD437DCF
SHA-25654375F4E05EB05F4B38C73364753FE4E80E43AA57BF599DA42776F22C0DF09E1
hashlookup:children-total214
hashlookup:trust50

Network graph view

Children (Total: 214)

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

Key Value
FileName./usr/lib/ocaml/why3/plugins/dimacs.cmo
FileSize32616
MD53B9221223604BC2FC2563CD17D140486
SHA-100A10A63B1D51416C42B7CEADF56791CA688B34D
SHA-256B91322133AF5B1A6D5B48186FEF6E0BCF132B68664F53BFB6A9C6CA372A3457D
SSDEEP384:d33pZyZxClXhTfCu0H95EaVXQOCkVP1RfhNuvZ9ZqWH5uhcr0:dnpZ4ShbCdHkaVXzCAfhQB9kWH5uP
TLSHT115E26443DCC68425C9524ABEACFE42E266E0BF1448F0CB56486D73D9F4F1B2A5F83525
Key Value
FileName./usr/lib/ocaml/why3/plugins/genequlin.cmxs
FileSize39216
MD5B6B54020D85528C7128CF26227A4C9A6
SHA-101320FE580D30DBC56ACF51825193A68C2440FC9
SHA-25687AF72D01FE7AEB5164877CD68A19F77E90A23821B04C57642D98F35E711FB71
SSDEEP384:HLSMDU3eSNTDS5g2+p+dR+u+DZO3d9c8tDUcmHsn3X1PoRm:HHUNTm5gAm+dqqnH1Po
TLSHT1A203B61E79DD47BDD07C973099EE0239E3B6B506A5710B124380A72C2F73A096B9ECE0
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/lib/ocaml/why3/commands/why3pp
FileSize12128392
MD5D61020248821659F3F3E2A285E69E6B5
SHA-1071EC4FF12C88B92C600B5D2DDB912D8A88655E0
SHA-256A79E0B9142258B300110458E0BF431006AFD9C46D7C178C71341F4E423FE6D6B
SSDEEP98304:gTmRv3OQUOTU/1Q5RELr3DD6l6+1w08ONbca/3:UtpwO1gEf3DDG1wXe
TLSHT11EC6295BBDCA89BDC2BE9634CA6647B5BB72B42015607F231AD062140F439D91BBF3D0
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./usr/share/why3/Makefile.config
FileSize355
MD5755E4551BC5FE92AA77790829FAA5273
SHA-108D9CF75EB9A14DA62D7ADFD32F671C6032D0CFE
SHA-25651040732707F8816F92ADF7FF867F5D64034AB3AE280C7ED5784095435DE64C3
SSDEEP6:EUZki9XY/wT2WRBFHiXP2KwOT2WRBFA2VM2MLUG8XP2KwJvnVreW/2zPO7n:PW8YCZFCs0ZFA8MrLt8sHaMAPA
TLSHT174E04F08D21E87F0E0063DE10D83599EACD8A8475C20BD14B0DFD3EBE32554D22B2B0C
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/lib/ocaml/why3/plugins/tptp.cmo
FileSize905199
MD553DB35F06D54629B852766F9798D7DCC
SHA-10A184AB4FEF1869F5472C7ACEEF835FFEB6D580F
SHA-256D179E67EBFB8D0E63D8BC7BE364AF7EF5259FC9F6C4774EF900B6EFC6C3A1577
SSDEEP12288:EIQqPaPNVy9ZXxlWQL28o/gxRFs1ngn7wXmn+d4ho6R82KT0EJln:T9ZXxi8XLnrLq2qvn
TLSHT16B15A60BEA613C75D44B05FCCEED158A81A1187881D69AF3582DC1E3AF5F24EAF2351E





metalookup is a service from miwakeru.com