- TDP-002draft
Checked arithmetic and auto-vectorization
Keep integer overflow trapping by default, remove more of the checks by proof, and give hot loops an explicit way to ask for wrapping.
- TDP-001draft
Fixes in diagnostics without --smart
Let the compiler print a concrete, validated fix with an error whenever it is sure of one, in every build and without a model.