Deploy website - based on 17b0c80

formal-land · Jul 30, 2024 · 47d85ed · 47d85ed
1 parent 665c1f9
commit 47d85ed
Show file tree

Hide file tree

Showing 108 changed files with 214 additions and 214 deletions.
diff --git a/404.html b/404.html
diff --git a/assets/js/main.3b935cb2.js → assets/js/main.720bca9e.js b/assets/js/main.3b935cb2.js → assets/js/main.720bca9e.js
diff --git a/assets/js/main.3b935cb2.js.LICENSE.txt → assets/js/main.720bca9e.js.LICENSE.txt b/assets/js/main.3b935cb2.js.LICENSE.txt → assets/js/main.720bca9e.js.LICENSE.txt
diff --git a/blog.html b/blog.html
diff --git a/blog/2021/10/10/welcome.html b/blog/2021/10/10/welcome.html
diff --git a/blog/2021/10/27/verification-data-encoding.html b/blog/2021/10/27/verification-data-encoding.html
diff --git a/blog/2021/11/12/new-blog-posts-and-meetup-talk.html b/blog/2021/11/12/new-blog-posts-and-meetup-talk.html
diff --git a/blog/2022/02/02/make-tezos-a-formally-verified-crypto.html b/blog/2022/02/02/make-tezos-a-formally-verified-crypto.html
diff --git a/blog/2022/06/15/status update-tezos.html b/blog/2022/06/15/status update-tezos.html
diff --git a/blog/2022/06/23/upgrade-coq-of-ocaml-4.14.html b/blog/2022/06/23/upgrade-coq-of-ocaml-4.14.html
diff --git a/blog/2022/12/13/latest-blog-posts-on-tezos.html b/blog/2022/12/13/latest-blog-posts-on-tezos.html
diff --git a/blog/2023/01/24/current-verification-efforts.html b/blog/2023/01/24/current-verification-efforts.html
diff --git a/blog/2023/04/26/representation-of-rust-methods-in-coq.html b/blog/2023/04/26/representation-of-rust-methods-in-coq.html
diff --git a/blog/2023/05/28/monad-for-side-effects-in-rust.html b/blog/2023/05/28/monad-for-side-effects-in-rust.html
diff --git a/blog/2023/08/25/trait-representation-in-coq.html b/blog/2023/08/25/trait-representation-in-coq.html
diff --git a/blog/2023/11/08/rust-thir-and-bundled-traits.html b/blog/2023/11/08/rust-thir-and-bundled-traits.html
diff --git a/blog/2023/11/26/rust-function-body.html b/blog/2023/11/26/rust-function-body.html
diff --git a/blog/2023/12/13/rust-verify-erc-20-smart-contract.html b/blog/2023/12/13/rust-verify-erc-20-smart-contract.html
diff --git a/blog/2024/01/04/rust-translating-match.html b/blog/2024/01/04/rust-translating-match.html
diff --git a/blog/2024/01/18/update-coq-of-rust.html b/blog/2024/01/18/update-coq-of-rust.html
diff --git a/blog/2024/02/02/formal-verification-for-aleph-zero.html b/blog/2024/02/02/formal-verification-for-aleph-zero.html
diff --git a/blog/2024/02/14/experiment-coq-of-hs.html b/blog/2024/02/14/experiment-coq-of-hs.html
diff --git a/blog/2024/02/22/journey-coq-of-go.html b/blog/2024/02/22/journey-coq-of-go.html
diff --git a/blog/2024/02/29/improvements-rust-translation.html b/blog/2024/02/29/improvements-rust-translation.html
diff --git a/blog/2024/03/08/improvements-rust-translation-part-2.html b/blog/2024/03/08/improvements-rust-translation-part-2.html
diff --git a/blog/2024/03/22/improvements-rust-translation-part-3.html b/blog/2024/03/22/improvements-rust-translation-part-3.html
diff --git a/blog/2024/04/03/monadic-notation-for-rust-translation.html b/blog/2024/04/03/monadic-notation-for-rust-translation.html
diff --git a/blog/2024/04/26/translation-core-alloc-crates.html b/blog/2024/04/26/translation-core-alloc-crates.html
diff --git a/blog/2024/05/10/translation-of-python-code.html b/blog/2024/05/10/translation-of-python-code.html
diff --git a/blog/2024/05/14/translation-of-python-code-simulations.html b/blog/2024/05/14/translation-of-python-code-simulations.html
diff --git a/blog/2024/05/22/translation-of-python-code-simulations-from-trace.html b/blog/2024/05/22/translation-of-python-code-simulations-from-trace.html
diff --git a/blog/2024/06/05/software-correctness-from-first-principles.html b/blog/2024/06/05/software-correctness-from-first-principles.html
diff --git a/blog/2024/06/28/coq-of-solidity-1.html b/blog/2024/06/28/coq-of-solidity-1.html
diff --git a/blog/archive.html b/blog/archive.html
diff --git a/blog/page/2.html b/blog/page/2.html
diff --git a/blog/page/3.html b/blog/page/3.html
diff --git a/blog/tags.html b/blog/tags.html
diff --git a/blog/tags/4-14.html b/blog/tags/4-14.html
diff --git a/blog/tags/aleph-zero.html b/blog/tags/aleph-zero.html
diff --git a/blog/tags/alloc.html b/blog/tags/alloc.html
diff --git a/blog/tags/coq-of-go.html b/blog/tags/coq-of-go.html
diff --git a/blog/tags/coq-of-hs.html b/blog/tags/coq-of-hs.html
diff --git a/blog/tags/coq-of-ocaml.html b/blog/tags/coq-of-ocaml.html
diff --git a/blog/tags/coq-of-python.html b/blog/tags/coq-of-python.html
diff --git a/blog/tags/coq-of-rust.html b/blog/tags/coq-of-rust.html
diff --git a/blog/tags/coq-of-rust/page/2.html b/blog/tags/coq-of-rust/page/2.html
diff --git a/blog/tags/coq-tezos-of-ocaml.html b/blog/tags/coq-tezos-of-ocaml.html
diff --git a/blog/tags/coq.html b/blog/tags/coq.html
diff --git a/blog/tags/coq/page/2.html b/blog/tags/coq/page/2.html
diff --git a/blog/tags/coq/page/3.html b/blog/tags/coq/page/3.html
diff --git a/blog/tags/core.html b/blog/tags/core.html
diff --git a/blog/tags/data-encoding.html b/blog/tags/data-encoding.html
diff --git a/blog/tags/erc-20.html b/blog/tags/erc-20.html
diff --git a/blog/tags/ethereum.html b/blog/tags/ethereum.html
diff --git a/blog/tags/example.html b/blog/tags/example.html
diff --git a/blog/tags/first-principles.html b/blog/tags/first-principles.html
diff --git a/blog/tags/formal-verification.html b/blog/tags/formal-verification.html
diff --git a/blog/tags/go.html b/blog/tags/go.html
diff --git a/blog/tags/haskell.html b/blog/tags/haskell.html
diff --git a/blog/tags/hir.html b/blog/tags/hir.html
diff --git a/blog/tags/ink.html b/blog/tags/ink.html
diff --git a/blog/tags/meetup.html b/blog/tags/meetup.html
diff --git a/blog/tags/mi-cho-coq.html b/blog/tags/mi-cho-coq.html
diff --git a/blog/tags/monad.html b/blog/tags/monad.html
diff --git a/blog/tags/o-caml.html b/blog/tags/o-caml.html
diff --git a/blog/tags/ocaml.html b/blog/tags/ocaml.html
diff --git a/blog/tags/python.html b/blog/tags/python.html
diff --git a/blog/tags/rust.html b/blog/tags/rust.html
diff --git a/blog/tags/rust/page/2.html b/blog/tags/rust/page/2.html
diff --git a/blog/tags/side-effects.html b/blog/tags/side-effects.html
diff --git a/blog/tags/simulation.html b/blog/tags/simulation.html
diff --git a/blog/tags/software-correctness.html b/blog/tags/software-correctness.html
diff --git a/blog/tags/solidity.html b/blog/tags/solidity.html
diff --git a/blog/tags/tezos.html b/blog/tags/tezos.html
diff --git a/blog/tags/thir.html b/blog/tags/thir.html
diff --git a/blog/tags/trace.html b/blog/tags/trace.html
diff --git a/blog/tags/trait.html b/blog/tags/trait.html
diff --git a/blog/tags/translation.html b/blog/tags/translation.html
diff --git a/blog/tags/type-script.html b/blog/tags/type-script.html
diff --git a/blog/tags/welcome.html b/blog/tags/welcome.html
diff --git a/blog/tags/yul.html b/blog/tags/yul.html
diff --git a/docs/company/about.html b/docs/company/about.html
diff --git a/docs/company/careers.html b/docs/company/careers.html
diff --git a/docs/company/claims.html b/docs/company/claims.html
diff --git a/docs/company/intro.html b/docs/company/intro.html
diff --git a/docs/company/press.html b/docs/company/press.html
diff --git a/docs/coq-of-ocaml/attributes.html b/docs/coq-of-ocaml/attributes.html
diff --git a/docs/coq-of-ocaml/configuration.html b/docs/coq-of-ocaml/configuration.html
diff --git a/docs/coq-of-ocaml/cookbook.html b/docs/coq-of-ocaml/cookbook.html
diff --git a/docs/coq-of-ocaml/examples.html b/docs/coq-of-ocaml/examples.html
diff --git a/docs/coq-of-ocaml/faq.html b/docs/coq-of-ocaml/faq.html
diff --git a/docs/coq-of-ocaml/gadts.html b/docs/coq-of-ocaml/gadts.html
diff --git a/docs/coq-of-ocaml/install.html b/docs/coq-of-ocaml/install.html
diff --git a/docs/coq-of-ocaml/introduction.html b/docs/coq-of-ocaml/introduction.html
diff --git a/docs/coq-of-ocaml/module-system.html b/docs/coq-of-ocaml/module-system.html
diff --git a/docs/coq-of-ocaml/ocaml-core.html b/docs/coq-of-ocaml/ocaml-core.html
diff --git a/docs/coq-of-ocaml/run.html b/docs/coq-of-ocaml/run.html
diff --git a/docs/coq-of-ocaml/type-definitions.html b/docs/coq-of-ocaml/type-definitions.html
diff --git a/docs/coq-of-rust/introduction.html b/docs/coq-of-rust/introduction.html
diff --git a/docs/services/ocaml-development.html b/docs/services/ocaml-development.html
diff --git a/docs/services/rust-development.html b/docs/services/rust-development.html
diff --git a/docs/services/solidity-development.html b/docs/services/solidity-development.html
diff --git a/docs/services/typescript-development.html b/docs/services/typescript-development.html
diff --git a/docs/verification/ocaml.html b/docs/verification/ocaml.html
diff --git a/docs/verification/rust.html b/docs/verification/rust.html
diff --git a/docs/verification/solidity.html b/docs/verification/solidity.html
diff --git a/docs/verification/typescript.html b/docs/verification/typescript.html
diff --git a/index.html b/index.html