From 410dbfa194be2a05e54618eca0f21b9cb765eaed Mon Sep 17 00:00:00 2001 From: Guillaume Claret Date: Tue, 13 Aug 2024 12:32:04 +0200 Subject: [PATCH] Deploy website - based on 31b721d1d706b6d2e084287f1c0ee0f97c12cc27 --- 404.html | 4 +- ...rest-e8ecce5a4ad697a15ea00fedb9450e75.webp | Bin 0 -> 280010 bytes assets/js/22b2e39c.17790dc5.js | 1 - assets/js/22b2e39c.34ad0db1.js | 1 + assets/js/3621c1a8.1bd4e681.js | 1 + assets/js/582c3eb6.5dd54a0d.js | 1 - assets/js/582c3eb6.94d4dd19.js | 1 + ...20450.aa065ca3.js => 5dc20450.6469f0e3.js} | 2 +- ...e6181.0d163f77.js => 74ae6181.f4d7f4a7.js} | 2 +- ...c59ef.3402ef29.js => 76bc59ef.a927537d.js} | 2 +- ...28d86.9dbd5bcd.js => 7d628d86.81e6964a.js} | 2 +- ...726a8.dec23251.js => 7d9726a8.bff8d8c4.js} | 2 +- assets/js/814f3328.0cd30b2f.js | 1 + assets/js/814f3328.4b366f04.js | 1 - ...fe8c4.f7d199d3.js => 834fe8c4.048b09ba.js} | 2 +- ...4e46b.651dcd8f.js => 8eb4e46b.880518c8.js} | 2 +- ...99a1c.fc14dd9a.js => 92999a1c.a752535d.js} | 2 +- ...b1bd5.c528686e.js => 9bab1bd5.ac1481ab.js} | 2 +- ...017b9.c01603bf.js => a2c017b9.7fe4ac5a.js} | 2 +- ...23ddc.00ccad6d.js => a7023ddc.13181065.js} | 2 +- ...014fc.1aa43dfa.js => aac014fc.bf8209ce.js} | 2 +- assets/js/b13ba252.998e54f4.js | 1 + ...675dd.f0f3d464.js => b2b675dd.2d78e279.js} | 2 +- assets/js/b2f554cd.0a358986.js | 1 + assets/js/b2f554cd.59dd129a.js | 1 - ...855a0.44b91029.js => cec855a0.f5eeafb0.js} | 2 +- ...d20aa.1d02cc96.js => cf3d20aa.414ed244.js} | 2 +- ...1b4eb.b4b7ebd9.js => e141b4eb.49e1c30a.js} | 2 +- ...87281.27c3da2a.js => f1787281.35a82137.js} | 2 +- assets/js/main.db7b4311.js | 2 - assets/js/main.f9cd6a51.js | 2 + ...CENSE.txt => main.f9cd6a51.js.LICENSE.txt} | 0 assets/js/runtime~main.6f8541e4.js | 1 + assets/js/runtime~main.f8fba51b.js | 1 - blog.html | 18 +-- blog/2021/10/10/welcome.html | 6 +- .../10/27/verification-data-encoding.html | 6 +- .../11/12/new-blog-posts-and-meetup-talk.html | 6 +- ...make-tezos-a-formally-verified-crypto.html | 6 +- blog/2022/06/15/status update-tezos.html | 6 +- .../2022/06/23/upgrade-coq-of-ocaml-4.14.html | 6 +- .../12/13/latest-blog-posts-on-tezos.html | 6 +- .../01/24/current-verification-efforts.html | 6 +- ...representation-of-rust-methods-in-coq.html | 6 +- .../05/28/monad-for-side-effects-in-rust.html | 6 +- .../08/25/trait-representation-in-coq.html | 8 +- .../11/08/rust-thir-and-bundled-traits.html | 6 +- blog/2023/11/26/rust-function-body.html | 6 +- .../13/rust-verify-erc-20-smart-contract.html | 6 +- blog/2024/01/04/rust-translating-match.html | 6 +- blog/2024/01/18/update-coq-of-rust.html | 8 +- .../formal-verification-for-aleph-zero.html | 6 +- blog/2024/02/14/experiment-coq-of-hs.html | 6 +- blog/2024/02/22/journey-coq-of-go.html | 6 +- .../02/29/improvements-rust-translation.html | 6 +- .../improvements-rust-translation-part-2.html | 6 +- .../improvements-rust-translation-part-3.html | 6 +- ...monadic-notation-for-rust-translation.html | 6 +- .../04/26/translation-core-alloc-crates.html | 6 +- .../05/10/translation-of-python-code.html | 6 +- ...ranslation-of-python-code-simulations.html | 6 +- ...of-python-code-simulations-from-trace.html | 8 +- ...are-correctness-from-first-principles.html | 6 +- blog/2024/06/28/coq-of-solidity-1.html | 6 +- blog/2024/08/07/coq-of-solidity-2.html | 6 +- blog/2024/08/12/coq-of-solidity-3.html | 8 +- blog/2024/08/13/coq-of-solidity-4.html | 72 ++++++++++ blog/archive.html | 6 +- blog/atom.xml | 129 +++++++++--------- blog/page/2.html | 17 ++- blog/page/3.html | 13 +- blog/page/4.html | 6 +- blog/rss.xml | 126 +++++++++-------- blog/tags.html | 6 +- blog/tags/4-14.html | 6 +- blog/tags/aleph-zero.html | 6 +- blog/tags/alloc.html | 6 +- blog/tags/coq-of-go.html | 6 +- blog/tags/coq-of-hs.html | 6 +- blog/tags/coq-of-ocaml.html | 6 +- blog/tags/coq-of-python.html | 6 +- blog/tags/coq-of-rust.html | 6 +- blog/tags/coq-of-rust/page/2.html | 6 +- blog/tags/coq-tezos-of-ocaml.html | 6 +- blog/tags/coq.html | 23 ++-- blog/tags/coq/page/2.html | 15 +- blog/tags/coq/page/3.html | 8 +- blog/tags/core.html | 6 +- blog/tags/data-encoding.html | 6 +- blog/tags/erc-20.html | 6 +- blog/tags/ethereum.html | 6 +- blog/tags/example.html | 6 +- blog/tags/first-principles.html | 6 +- blog/tags/formal-verification.html | 14 +- blog/tags/go.html | 6 +- blog/tags/haskell.html | 6 +- blog/tags/hir.html | 6 +- blog/tags/ink.html | 6 +- blog/tags/meetup.html | 6 +- blog/tags/mi-cho-coq.html | 6 +- blog/tags/monad.html | 6 +- blog/tags/o-caml.html | 6 +- blog/tags/ocaml.html | 6 +- blog/tags/python.html | 6 +- blog/tags/rust.html | 6 +- blog/tags/rust/page/2.html | 6 +- blog/tags/side-effects.html | 6 +- blog/tags/simulation.html | 6 +- blog/tags/software-correctness.html | 6 +- blog/tags/solidity.html | 14 +- blog/tags/tezos.html | 6 +- blog/tags/thir.html | 6 +- blog/tags/trace.html | 6 +- blog/tags/trait.html | 6 +- blog/tags/translation.html | 6 +- blog/tags/type-script.html | 6 +- blog/tags/welcome.html | 6 +- blog/tags/yul.html | 14 +- docs/audit.html | 4 +- docs/company/about.html | 4 +- docs/company/careers.html | 4 +- docs/company/claims.html | 4 +- docs/company/intro.html | 4 +- docs/company/press.html | 4 +- docs/services/ocaml-development.html | 4 +- docs/services/rust-development.html | 4 +- docs/services/solidity-development.html | 4 +- docs/services/typescript-development.html | 4 +- docs/tools/coq-of-ocaml/attributes.html | 4 +- docs/tools/coq-of-ocaml/configuration.html | 4 +- docs/tools/coq-of-ocaml/cookbook.html | 4 +- docs/tools/coq-of-ocaml/examples.html | 4 +- docs/tools/coq-of-ocaml/faq.html | 4 +- docs/tools/coq-of-ocaml/gadts.html | 4 +- docs/tools/coq-of-ocaml/install.html | 4 +- docs/tools/coq-of-ocaml/introduction.html | 4 +- docs/tools/coq-of-ocaml/module-system.html | 4 +- docs/tools/coq-of-ocaml/ocaml-core.html | 4 +- docs/tools/coq-of-ocaml/run.html | 4 +- docs/tools/coq-of-ocaml/type-definitions.html | 4 +- docs/tools/coq-of-rust/introduction.html | 4 +- docs/tools/coq-of-solidity/introduction.html | 4 +- docs/verification/ocaml.html | 4 +- docs/verification/rust.html | 4 +- docs/verification/solidity.html | 4 +- docs/verification/typescript.html | 4 +- index.html | 4 +- sitemap.xml | 2 +- 148 files changed, 584 insertions(+), 491 deletions(-) create mode 100644 assets/images/ethereum-in-forest-e8ecce5a4ad697a15ea00fedb9450e75.webp delete mode 100644 assets/js/22b2e39c.17790dc5.js create mode 100644 assets/js/22b2e39c.34ad0db1.js create mode 100644 assets/js/3621c1a8.1bd4e681.js delete mode 100644 assets/js/582c3eb6.5dd54a0d.js create mode 100644 assets/js/582c3eb6.94d4dd19.js rename assets/js/{5dc20450.aa065ca3.js => 5dc20450.6469f0e3.js} (81%) rename assets/js/{74ae6181.0d163f77.js => 74ae6181.f4d7f4a7.js} (75%) rename assets/js/{76bc59ef.3402ef29.js => 76bc59ef.a927537d.js} (84%) rename assets/js/{7d628d86.9dbd5bcd.js => 7d628d86.81e6964a.js} (75%) rename assets/js/{7d9726a8.dec23251.js => 7d9726a8.bff8d8c4.js} (77%) create mode 100644 assets/js/814f3328.0cd30b2f.js delete mode 100644 assets/js/814f3328.4b366f04.js rename assets/js/{834fe8c4.f7d199d3.js => 834fe8c4.048b09ba.js} (80%) rename assets/js/{8eb4e46b.651dcd8f.js => 8eb4e46b.880518c8.js} (79%) rename assets/js/{92999a1c.fc14dd9a.js => 92999a1c.a752535d.js} (79%) rename assets/js/{9bab1bd5.c528686e.js => 9bab1bd5.ac1481ab.js} (76%) rename assets/js/{a2c017b9.c01603bf.js => a2c017b9.7fe4ac5a.js} (84%) rename assets/js/{a7023ddc.00ccad6d.js => a7023ddc.13181065.js} (93%) rename assets/js/{aac014fc.1aa43dfa.js => aac014fc.bf8209ce.js} (79%) create mode 100644 assets/js/b13ba252.998e54f4.js rename assets/js/{b2b675dd.f0f3d464.js => b2b675dd.2d78e279.js} (76%) create mode 100644 assets/js/b2f554cd.0a358986.js delete mode 100644 assets/js/b2f554cd.59dd129a.js rename assets/js/{cec855a0.44b91029.js => cec855a0.f5eeafb0.js} (84%) rename assets/js/{cf3d20aa.1d02cc96.js => cf3d20aa.414ed244.js} (78%) rename assets/js/{e141b4eb.b4b7ebd9.js => e141b4eb.49e1c30a.js} (84%) rename assets/js/{f1787281.27c3da2a.js => f1787281.35a82137.js} (75%) delete mode 100644 assets/js/main.db7b4311.js create mode 100644 assets/js/main.f9cd6a51.js rename assets/js/{main.db7b4311.js.LICENSE.txt => main.f9cd6a51.js.LICENSE.txt} (100%) create mode 100644 assets/js/runtime~main.6f8541e4.js delete mode 100644 assets/js/runtime~main.f8fba51b.js create mode 100644 blog/2024/08/13/coq-of-solidity-4.html diff --git a/404.html b/404.html index 8289d191..a5b19e7a 100644 --- a/404.html +++ b/404.html @@ -13,8 +13,8 @@ - - + +
Skip to main content

Page Not Found

We could not find what you were looking for.

Please contact the owner of the site that linked you to the original URL and let them know their link is broken.