文件列表:

CompCert-LICENSE.txt (35248, 2021-03-30)
DeepSEA language reference.pdf (366612, 2021-03-30)
binaries/ (0, 2021-03-30)
binaries/MacOS/ (0, 2021-03-30)
binaries/MacOS/dsc (12517664, 2021-03-30)
binaries/MacOS/dsc_antchain (12517616, 2021-03-30)
binaries/MacOS/minicc (10234984, 2021-03-30)
binaries/linux/ (0, 2021-03-30)
binaries/linux/dsc (19146168, 2021-03-30)
binaries/linux/dsc_antchain (19166112, 2021-03-30)
binaries/linux/minicc (15595352, 2021-03-30)
contracts/ (0, 2021-03-30)
contracts/amm-i.wasm (61738, 2021-03-30)
contracts/amm-i.wat (185188, 2021-03-30)
contracts/amm-r.wasm (61644, 2021-03-30)
contracts/amm-r.wat (433753, 2021-03-30)
contracts/amm/ (0, 2021-03-30)
contracts/amm/.csdp.cache (0, 2021-03-30)
contracts/amm/.lia.cache (2352, 2021-03-30)
contracts/amm/.nia.cache (907, 2021-03-30)
contracts/amm/.nra.cache (33, 2021-03-30)
contracts/amm/amm.ds (14045, 2021-03-30)
contracts/amm/amm/ (0, 2021-03-30)
contracts/amm/amm/RefineAMM.v (12695, 2021-03-30)
contracts/amm/amm/_CoqProject (264, 2021-03-30)
contracts/amm/amm/prf.v (21639, 2021-03-30)
contracts/amm/amm/prf_int.v (25016, 2021-03-30)
contracts/amm/amm/subdir.mk (914, 2021-03-30)
contracts/amm/cst_man.v (30948, 2021-03-30)
contracts/amm/math_lemma.v (8667, 2021-03-30)
contracts/amm/prf_int.v (24920, 2021-03-30)
contracts/auction/ (0, 2021-03-30)
contracts/auction/auction.ds (1620, 2021-03-30)
contracts/auction/auction.wasm (1950, 2021-03-30)
contracts/auction/auction/ (0, 2021-03-30)
contracts/auction/auction/FunctionalCorrectness.v (2347, 2021-03-30)
contracts/auction/test.js (5530, 2021-03-30)
contracts/defi/ (0, 2021-03-30)
... ...

# The DeepSEA Language You can download a zip file from the [releases page](https://github.com/CertiKFoundation/deepsea/releases). Please see the [DeepSEA language reference](https://github.com/CertiKFoundation/deepsea/blob/master/DeepSEA%20language%20reference.pdf) for installation and usage instructions. The zip file includes pre-built binaries for Linux (Ubuntu) and MacOS. Since they use some system libraries, it is possible that they will not work on every version of Linux or MacOS. It is also easy to build the binaries from source yourself, following the instructions in the `src` directory. [The project page at the CertiK website](https://certik.io/research/deepsea/) has more information about the DeepSEA project, including the blog posts [An Introduction to DeepSEA](https://certik.io/blog/technology/an-introduction-to-deepsea) and [How DeepSEA Works](https://certik.io/blog/technology/how-deepsea-works-with-an-example-token-contact/). The DeepSEA compiler includes files taken and modified from CompCert, so it is developed pursuant to the CompCert licence. In particular, it may only be used for educational, research, personal or evaluation purposes, and not for commercial use. Please let us know what you think! Feedback can be sent to deepsea@certik.org.

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：