Documentation
Guides, API references, and troubleshooting for the Pyvorin platform.
python-features
advanced
How For Loops Compile
The loop passes of the Pyvorin 1.0.9 pipeline — complete unrolling, the vectorisation cost model, loop fusion — with the exact thresholds, verified in source.
python-features
advanced
How While Loops Compile
While loops compile natively in Pyvorin 1.0.9, but their trip count is data — this page shows the verified lowering and which optimisations that fact excludes.