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/e388b2eefa21a8d1f90f66b1bdb2d45dbfe5e6eb/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