Skip to content

Latest commit

 

History

History
21 lines (15 loc) · 740 Bytes

README.md

File metadata and controls

21 lines (15 loc) · 740 Bytes
Raw

Copper Language

Prerequisites

  1. Install Rust by following the instructions at https://www.rust-lang.org/tools/install.
  2. You're good to go!

Quickstart

Run cargo run check <path to copper file>. Optionally provide the --dot <path to dot file> flag to generate a graphviz dot file for visualizing the AST.

Reproducing results in the paper

The policies described in the paper can be found in the policies directory. The count_loc.py script provides a simple way to count the number of lines of code in the policies. To run:

cd policies
python3 count_loc.py

The exact lines of code may differ slightly from the paper due to comments and formatting; but the overall trends and magnitudes should be similar.