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.