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