Design Discussions

October 18, 2024 ยท View on GitHub

Abstract Values

Caching

Incremental Analysis

Parallelism

Why MIR?

Why plug into the Rust compiler?

Why Rust?

Why top down?

Devirtualization

Heap Model

Summaries

Precondition Inference

Quantifiers

Widening

Recursion

Foreign Functions

Standard Library