Skip to main content
Link
Menu
Expand
(external link)
Document
Search
Copy
Copied
AuxFlow
Home
Reference
Architecture
Compiler pipeline
Language subset
Auxiliary Reference Graph
Static analysis
Non-convergence
Build planner
Runtime verification
Project
Specification
Research questions
Related work
Evaluation
Benchmarks
Methodology
Report
Gate report
Reviews
Review 1
Review 2
Review 3
Changelog
PyPI ↗
GitHub ↗
Project
Project specification, open decisions, research questions, and prior-art review.
Table of contents
Specification
Research questions
Related work