From 148463e698897a0e457251782878292ae7fe9602 Mon Sep 17 00:00:00 2001 From: Guillaume Claret Date: Mon, 3 Feb 2025 17:06:26 +0100 Subject: [PATCH] Deploy website - based on a53c0d598d2a3e5c18924b928bc3deb24552bee3 --- 404.html | 4 +- ...agram-bbb4c911ed7560df3ed98090561652e4.png | Bin 0 -> 22507 bytes ...rest-a051f559898a800a1ed19191d4c1372f.webp | Bin 0 -> 494716 bytes ...5ff8e.f9774b47.js => 0fc5ff8e.0bc45078.js} | 2 +- assets/js/11ce4159.3ecfaa5f.js | 1 - assets/js/11ce4159.cee5523d.js | 1 + ...c0ba4.85bd53f0.js => 2adc0ba4.914b11f2.js} | 2 +- ...2dfb9.f2e6fa73.js => 2d92dfb9.220d2ef1.js} | 2 +- assets/js/305566bb.6a301a34.js | 1 + assets/js/305566bb.fb412b55.js | 1 - ...c1c84.5f6dae6f.js => 35bc1c84.fdae8527.js} | 2 +- ...3802c.05a9a47c.js => 38e3802c.467ddc95.js} | 2 +- assets/js/44ac4dbb.1fdac38f.js | 1 + assets/js/4926660f.b7af3ce0.js | 1 + ...d8f7d.44154781.js => 523d8f7d.d4dff65e.js} | 2 +- ...84e71.39500e75.js => 72c84e71.986970ed.js} | 2 +- ...66370.19041835.js => 74366370.622c4914.js} | 2 +- ...726a8.1ee5c6cd.js => 7d9726a8.0149afb9.js} | 2 +- assets/js/814f3328.1945f849.js | 1 + assets/js/814f3328.3409d71b.js | 1 - assets/js/89515ffd.568fe728.js | 1 + ...4e46b.d24befa3.js => 8eb4e46b.10f39e22.js} | 2 +- ...2ab31.f89c79b2.js => 9072ab31.60861135.js} | 2 +- ...99a1c.a3ef100d.js => 92999a1c.0bfa6533.js} | 2 +- ...1aef6.7f994ef6.js => a431aef6.af43e9b0.js} | 2 +- ...23ddc.0b0e547a.js => a7023ddc.8a2f5823.js} | 2 +- ...675dd.e21e49af.js => b2b675dd.a6c096d4.js} | 2 +- assets/js/b2f554cd.9c36a88e.js | 1 + assets/js/b2f554cd.a9c17cae.js | 1 - assets/js/b6190d2c.a8a10549.js | 1 + assets/js/b6190d2c.d4342f7f.js | 1 - assets/js/main.1f7454dd.js | 2 + ...CENSE.txt => main.1f7454dd.js.LICENSE.txt} | 0 assets/js/main.e734c063.js | 2 - assets/js/runtime~main.1ba6b1ef.js | 1 - assets/js/runtime~main.52634624.js | 1 + blog.html | 11 +- 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 | 6 +- .../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 | 8 +- blog/2024/01/18/update-coq-of-rust.html | 6 +- .../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 | 6 +- ...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 | 6 +- blog/2024/08/13/coq-of-solidity-4.html | 6 +- .../verification-move-sui-type-checker-1.html | 6 +- blog/2024/10/13/class-what-we-do.html | 8 +- .../verification-move-sui-type-checker-2.html | 6 +- .../verification-move-sui-type-checker-3.html | 6 +- .../coq-of-solidity-enhanced-version-1.html | 6 +- .../10/21/verification-smooth-library-1.html | 6 +- blog/2024/10/22/what-we-bring-to-you.html | 6 +- .../10/28/verification-smooth-library-2.html | 6 +- blog/2024/11/01/tool-for-noir-1.html | 6 +- .../14/sui-move-checker-abstract-stack.html | 6 +- blog/2024/11/15/tool-for-noir-2.html | 6 +- .../12/20/translation-of-circom-to-coq.html | 6 +- ...ormal-verification-of-smart-contracts.html | 6 +- ...lly-recursive-functions-with-notation.html | 8 +- .../01/06/annotating-what-we-are-doing.html | 6 +- .../13/verification-one-instruction-sui.html | 6 +- ...designing-a-coding-assistant-for-rocq.html | 6 +- blog/2025/01/30/links-for-rust-in-rocq.html | 8 +- blog/2025/02/05/links-for-rust-in-rocq-2.html | 100 ++++++++++ blog/archive.html | 6 +- blog/atom.xml | 172 +++++++++--------- blog/page/2.html | 17 +- blog/page/3.html | 20 +- blog/page/4.html | 19 +- blog/page/5.html | 12 +- blog/page/6.html | 23 +++ blog/rss.xml | 172 +++++++++--------- blog/tags.html | 6 +- blog/tags/4-14.html | 6 +- blog/tags/ai.html | 6 +- blog/tags/aleph-zero.html | 6 +- blog/tags/alloc.html | 6 +- blog/tags/audit.html | 6 +- blog/tags/circom.html | 6 +- blog/tags/circuits.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 | 8 +- blog/tags/coq/page/2.html | 6 +- blog/tags/coq/page/3.html | 6 +- blog/tags/core.html | 6 +- blog/tags/data-encoding.html | 6 +- blog/tags/effects.html | 6 +- blog/tags/elliptic-curves.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 | 6 +- blog/tags/go.html | 6 +- blog/tags/haskell.html | 6 +- blog/tags/hir.html | 6 +- blog/tags/ink.html | 6 +- blog/tags/interactive-theorem-proving.html | 6 +- blog/tags/links.html | 9 +- blog/tags/llm.html | 6 +- blog/tags/loops.html | 6 +- blog/tags/meetup.html | 6 +- blog/tags/mi-cho-coq.html | 6 +- blog/tags/monad.html | 6 +- blog/tags/move.html | 6 +- blog/tags/mutations.html | 6 +- blog/tags/mutual.html | 6 +- blog/tags/noir.html | 6 +- blog/tags/notation.html | 6 +- blog/tags/o-caml.html | 6 +- blog/tags/ocaml.html | 6 +- blog/tags/python.html | 6 +- blog/tags/recursion.html | 6 +- blog/tags/rust.html | 15 +- blog/tags/rust/page/2.html | 14 +- blog/tags/rust/page/3.html | 8 +- blog/tags/security.html | 6 +- blog/tags/side-effects.html | 6 +- blog/tags/simulation.html | 6 +- blog/tags/simulations.html | 9 +- blog/tags/smart-contract.html | 8 +- blog/tags/software-correctness.html | 6 +- blog/tags/solidity.html | 6 +- blog/tags/sui.html | 6 +- 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-checker.html | 6 +- blog/tags/type-script.html | 6 +- blog/tags/welcome.html | 6 +- blog/tags/yul.html | 6 +- blog/tags/zero-knowledge.html | 6 +- 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/maps.html | 4 +- docs/company/press.html | 4 +- docs/learn/start.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-noir/introduction.html | 4 +- docs/tools/coq-of-ocaml/cookbook.html | 4 +- docs/tools/coq-of-ocaml/install.html | 4 +- docs/tools/coq-of-ocaml/introduction.html | 4 +- docs/tools/coq-of-ocaml/language.html | 4 +- docs/tools/coq-of-ocaml/language/gadts.html | 4 +- .../coq-of-ocaml/language/module-system.html | 4 +- .../coq-of-ocaml/language/ocaml-core.html | 4 +- .../language/type-definitions.html | 4 +- docs/tools/coq-of-ocaml/more.html | 4 +- docs/tools/coq-of-ocaml/more/examples.html | 4 +- docs/tools/coq-of-ocaml/more/faq.html | 4 +- docs/tools/coq-of-ocaml/options.html | 4 +- .../coq-of-ocaml/options/attributes.html | 4 +- .../coq-of-ocaml/options/configuration.html | 4 +- docs/tools/coq-of-ocaml/run.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 +- 200 files changed, 819 insertions(+), 673 deletions(-) create mode 100644 assets/images/commutative-diagram-bbb4c911ed7560df3ed98090561652e4.png create mode 100644 assets/images/green-forest-a051f559898a800a1ed19191d4c1372f.webp rename assets/js/{0fc5ff8e.f9774b47.js => 0fc5ff8e.0bc45078.js} (79%) delete mode 100644 assets/js/11ce4159.3ecfaa5f.js create mode 100644 assets/js/11ce4159.cee5523d.js rename assets/js/{2adc0ba4.85bd53f0.js => 2adc0ba4.914b11f2.js} (78%) rename assets/js/{2d92dfb9.f2e6fa73.js => 2d92dfb9.220d2ef1.js} (83%) create mode 100644 assets/js/305566bb.6a301a34.js delete mode 100644 assets/js/305566bb.fb412b55.js rename assets/js/{35bc1c84.5f6dae6f.js => 35bc1c84.fdae8527.js} (79%) rename assets/js/{38e3802c.05a9a47c.js => 38e3802c.467ddc95.js} (83%) create mode 100644 assets/js/44ac4dbb.1fdac38f.js create mode 100644 assets/js/4926660f.b7af3ce0.js rename assets/js/{523d8f7d.44154781.js => 523d8f7d.d4dff65e.js} (83%) rename assets/js/{72c84e71.39500e75.js => 72c84e71.986970ed.js} (81%) rename assets/js/{74366370.19041835.js => 74366370.622c4914.js} (83%) rename assets/js/{7d9726a8.1ee5c6cd.js => 7d9726a8.0149afb9.js} (59%) create mode 100644 assets/js/814f3328.1945f849.js delete mode 100644 assets/js/814f3328.3409d71b.js create mode 100644 assets/js/89515ffd.568fe728.js rename assets/js/{8eb4e46b.d24befa3.js => 8eb4e46b.10f39e22.js} (58%) rename assets/js/{9072ab31.f89c79b2.js => 9072ab31.60861135.js} (75%) rename assets/js/{92999a1c.a3ef100d.js => 92999a1c.0bfa6533.js} (59%) rename assets/js/{a431aef6.7f994ef6.js => a431aef6.af43e9b0.js} (75%) rename assets/js/{a7023ddc.0b0e547a.js => a7023ddc.8a2f5823.js} (95%) rename assets/js/{b2b675dd.e21e49af.js => b2b675dd.a6c096d4.js} (53%) create mode 100644 assets/js/b2f554cd.9c36a88e.js delete mode 100644 assets/js/b2f554cd.a9c17cae.js create mode 100644 assets/js/b6190d2c.a8a10549.js delete mode 100644 assets/js/b6190d2c.d4342f7f.js create mode 100644 assets/js/main.1f7454dd.js rename assets/js/{main.e734c063.js.LICENSE.txt => main.1f7454dd.js.LICENSE.txt} (100%) delete mode 100644 assets/js/main.e734c063.js delete mode 100644 assets/js/runtime~main.1ba6b1ef.js create mode 100644 assets/js/runtime~main.52634624.js create mode 100644 blog/2025/02/05/links-for-rust-in-rocq-2.html create mode 100644 blog/page/6.html diff --git a/404.html b/404.html index 7aa2a60eb..dbf7b7175 100644 --- a/404.html +++ b/404.html @@ -11,8 +11,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.