sparse-v2/README.org

Sparse C2 framework

• Design
• Goals
• Setup
• Building
• Architecture

Design

Goals

Setup

This project uses nix flakes, so make sure to install Nix. /andrew.rioux/sparse-v2/src/commit/5eb66c8d5de2a2eb57d0cc2a7d293d2f33be5135/Building is easy to do once Nix is set up, but to set up a development shell a little more work is required; run:

nix develop
setup-dev-environment

Building

Run:

nix build

(this may take ages)

Architecture

Architecture