Skip to content

Latest commit

 

History

History
15 lines (11 loc) · 556 Bytes

README.md

File metadata and controls

15 lines (11 loc) · 556 Bytes

SIGCOMM'21 Verification Tutorial

This repository contains code and resources for the verification tutorial at SIGCOMM'21.

Building

If you have trouble building the repo, don't worry. You can follow along with the presenters in the tutorial.

  1. Install the Z3 solver.
  2. Install OCaml.
  3. Install OPAM.
  4. Run opam install . --deps-only in the root directory of this repository.
  5. Run make in the root directory of this repository.