| Key | Value |
|---|---|
| FileSize | 3477596 |
| MD5 | C6FAAE3CCA8F5049BBA2D7A91A187F9A |
| PackageDescription | Examples for the why3 verification platform This package contains examples, both of program verification tasks and pure logical verification tasks, for the why3 software verification platform. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | why3-examples |
| PackageSection | math |
| PackageVersion | 1.3.3-1build1 |
| SHA-1 | 08B584769D2014E3B6101EC80FEE6413846056DD |
| SHA-256 | E16FA216CA1DF1E16EA77F47813F7A4E9FBFAADE5928BE52FB2342644854180A |
| hashlookup:children-total | 1342 |
| hashlookup:trust | 50 |
The searched file hash includes 1342 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why3-examples/examples/multiprecision/wmp.h |
| FileSize | 3732 |
| MD5 | 7F21E81A69F0168B093D337B61C5F71D |
| SHA-1 | 001EFCA80E75A3EE986805698731BB63D9E03BB0 |
| SHA-256 | 1DBE20A83FBA1FF492F76301B0F01E3CDFAE173CD31FA4AD016A5C8D57C3013B |
| SSDEEP | 48:ipcZ666W266XCOGgdmgSqe3edPRmydYmTA9:ipQNkXLdmRqe3edPRtdYGA9 |
| TLSH | T13371C54F8C9F289576E0FA52B5C5E07E96A19301F1C3AF8DDD650AB172C98CD9A1230F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why3-examples/examples/bitwalker/why3session.xml |
| FileSize | 22885 |
| MD5 | 77CDEC2F14BD56577CB11FFEE10D88EF |
| SHA-1 | 00219B9A25EFF1CAECBE2457B541047B864C7B7F |
| SHA-256 | 1D05FC51C50594AE352FC7CBF93586D982CAE26374443B3FBB3EB9D0B9E4304F |
| SSDEEP | 384:CdD7PVd09FV4zBRA9ZFyVH+8gqaPVw9BRK2NVTv8QsrcVNBRvGmBRckLQwBRQscP:CdD7PVd09FV4zBRA9ZFyVH+8gqaPVw9i |
| TLSH | T19FA25BBCC4394E3C998A9931E772106F86DAA65DDD1C1024A6D4B3F8210DEC397DF1AB |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why3-examples/examples/verifythis_2018_array_based_queuing_lock_1/why3shapes.gz |
| FileSize | 15042 |
| MD5 | CF6360BADFA751928AFD810DDE58B752 |
| SHA-1 | 0039794ABF4C0B839134D088220FC3918ED42822 |
| SHA-256 | 4F739BB5E4053078F234A5037C91121B3B48DF0770347120E6A7F439719ED8DE |
| SSDEEP | 384:0XAGhBJMmqfqoyBE6j72BCtC3N5u0XDM5sPoQq01:0XAgWJfqoy66j7Nt4u0awKK |
| TLSH | T16062C0A6320146E648DD3B2B59FFDFF5ABB89A249177166B462EA01ED2C500E140FE0D |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why3-examples/examples/multiprecision/wmpn.drv |
| FileSize | 5060 |
| MD5 | E2ED463FB62BED8E03134C2A96EC4C2D |
| SHA-1 | 006DD109FA500F8DB8AA747837A8F926E832ABDA |
| SHA-256 | F28FA3F9000F54DFF0F2EE79B6E9DE286E769649B3CA80915656B6A32265F634 |
| SSDEEP | 96:zHKOYZ39Z6z6Q+a64IpFym47llaKQUfWOe:zHKOYh9kzd+a68WKQEK |
| TLSH | T180A15395D9F86CB32584CC54B59260BBD29F39B047FCE4558B98EEA112420EFE36CC8C |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why3-examples/examples/euler002.mlw |
| FileSize | 2769 |
| MD5 | 3E6B31D38B15E8035ABA0D572B0EAF81 |
| SHA-1 | 01334E27417D85188C07799577DBB27BB0E62D67 |
| SHA-256 | 85547075C50C75D871C4A812C1EC029B5DDA6C0A07E485F8DD9ECDE2BD89EAEB |
| SSDEEP | 48:3X9FWiVo3lh3FFQJuo9zAQl/s2P2sYCCx2rf45B0ulmgvIA5hiuOxn4BbC8NaGy2:3tMiV83FYDTl/so2s4xGf45B0imY5hie |
| TLSH | T1ED51307B655220AA404190DF6FEBE86192E5213E1A859C07783CD1EBBF8516073F0BEC |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why3-examples/examples/vacid_0_binary_heaps/test_harness.mlw |
| FileSize | 649 |
| MD5 | A599FBF4802EF8C4BF6DD64B034AE5DF |
| SHA-1 | 0156B18840375AD76FB19D278F4876B1535F3476 |
| SHA-256 | 233BFF16309EA9591E62B9FC73A1BB6E019CC5206533F0AC94CC67EF394FCFFF |
| SSDEEP | 12:217kOnEWhWMynApMrey3LODHMJkQdgMl6DsgMA3qZ:217k5WhWIpMyzrtuggg4Z |
| TLSH | T19EF07D401D613B46042DF3FF255F865E58A0493E70D3014D0D7F64123E7DB04028A53E |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why3-examples/examples/bts/116_array_access/why3session.xml |
| FileSize | 400 |
| MD5 | 0FBB5A123AF9F22E5606DF358A3BC6D8 |
| SHA-1 | 016D2616BC4CEAE3FE08B2B70262096C1544427E |
| SHA-256 | 6622C2C57EEAD5D6F7BC66CC77E040017E67B131B6D0E435F4203B61B88E553D |
| SSDEEP | 6:TMVBd/4AOh68Z2W977CYJ5WzP52rTyVgQ7B2okRuMl8Nvy70pkT7dHYp2KkT7mSr:TMHdgAkUKW1t614vook/M2Kk/m+B |
| TLSH | T16DE068CB71186D740485CBE80F71B276673C4AB7600C1004AF98B8C10798E9BD7C5238 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why3-examples/examples/bts/269_replace_under_if/why3session.xml |
| FileSize | 544 |
| MD5 | 425CE87F03CCB0B83023FEE933DF5C6A |
| SHA-1 | 01A0D45D31FD646589017B9750F4B726FE635946 |
| SHA-256 | F464029F3D4B12C8005B6386108B964D84E90FF9B6FCF492861D40F84157A550 |
| SSDEEP | 12:TMHdgAkUKW1tW6fUBm/AflCSHewgSYsREwsRz+B:2dttWeUBZfDHJvYw7wS |
| TLSH | T122F059BAF1455EB58441C7BA0FB1F926437CC5B6B00C2148FB9DB4C34254D9B938217D |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why3-examples/examples/logic/genealogy/genealogy_Genealogy_Sibling_is_brother_or_sister_1.xml |
| FileSize | 8405 |
| MD5 | F52D22B3EED54032B001D6EDA24863E5 |
| SHA-1 | 01A7C6475DAEC0A310DF3401C7EF56C0BA7C49AB |
| SHA-256 | A00D7BE6A5E26220F2512BA1FE5F56033FDBF0E5E5A609DCEAEC9BCF00D6233E |
| SSDEEP | 48:a8mfjii70W9/Q/LB14/F/LBQjD2/0Bt/0BBBw8HE0/M1YgBBw84E0/PQYrBBw8rC:a8siiS4k42jibgYlznLfkz48C8cPC0Y |
| TLSH | T1F60295D0E94A3D76A94D4FFE7DB43161551690B4F94CA0EB00FEB3E490B6A0F6292B13 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why3-examples/examples/verifythis_2015_dancing_links/why3shapes.gz |
| FileSize | 965 |
| MD5 | BEC96E40BE730692BC5B8BAC60787526 |
| SHA-1 | 01AB2460CAAF7D8E2A02DB0C914FB58D3BC2A920 |
| SHA-256 | 65A9A21AE79597CDA478AA3BF9DF4393BA01B70E3D5D82B43FB8EE199C4CC70E |
| SSDEEP | 24:XJFKURXdxaKOXSXup1FwdZBP+v+S313Gc:XFXdxI1p1+/BYb5 |
| TLSH | T13D11C8131050EF025F2C416B1868081EE5CD7AC266383A4656F1D78C96F0C45F4DA0DE |