This repository has been archived by the owner on Aug 22, 2024. It is now read-only.

Design Discussions

Abstract Values

Incremental Analysis

Why plug into the Rust compiler?

Devirtualization

Heap Model

Summaries

Precondition Inference

Quantifiers

Widening

Recursion

Foreign Functions

Standard Library