Expand description
Roadmap milestone data and content.
The Roadmap page renders entirely from
get_milestones; the timeline markup is generated by iterating this data
rather than hand-written per phase.
Every example below is real compiler output, not illustration. Logic
examples carry the exact compile_simple / compile strings (FOL), code
examples carry the real emitted Rust, and the hardware example carries the
real synthesized SVA. They are regression-locked by the roadmap_examples
test, which recompiles each english and checks the output still matches.
Structs§
- Example
- A single worked example shown in a milestone’s interactive tabs.
- Milestone
- One milestone on the development timeline.
Enums§
- Output
- What a milestone example compiles its English
englishto. Each variant holds verbatim compiler output for that input. - Status
- Completion state of a roadmap milestone.
Functions§
- get_
milestones - All roadmap milestones in timeline order (oldest foundation first).