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/75b53f7191a6b71fd119bfa577d757c4d9e7817d/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