README.md 536 Bytes
Newer Older
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
1
2
3
4
5
# Smart Contracts
This repo is a playground for various experiments with embedding Oak contracts
into Coq and verifying them.

## Building/Developing
6
This repo uses the std++ library. This must be installed first and can be
7
8
9
10
11
12
installed via Opam, after adding the dev repo of Iris:
```bash
opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam.git
opam install coq-stdpp
```
For more instructions, see [the stdpp readme](https://gitlab.mpi-sws.org/iris/stdpp).
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
13

14
After stdpp is installed, this repo should build with
15
16
17
```bash
make
```