Writing
#22: On to the local-constant index case
xr0/updates
#21: Refactoring with great zeal
xr0/updates
#20: Reduction to perfect overlap
xr0/updates
#19: Brute force state split generation
xr0/updates
#18: Multi-dimensional arrays (and bounds)
xr0/updates
#17: 1D bounds
xr0/updates
#16: Steps (rather than leaps) into bounds
xr0/updates
#15: Debugger done. Next stop: buffer overflows
xr0/updates
#14: Progress on the debugger but not there yet
xr0/updates
#13: We're making Xr0 into a static debugger
xr0/updates
#12: Solved use-after-frees
xr0/updates
Xr0 Makes C Safer Than Rust
xr0
#11: One Last thing?
xr0/updates
#10: Topological sort and a speedbump
xr0/updates
#9: Linkage
xr0/updates
#8: ~
xr0/updates
#7: The end(-to-end) in sight
xr0/updates
#6: New year
xr0/updates
#5: Vincemus
xr0/updates
#4: One day early
xr0/updates
#3: One week early
xr0/updates
#2: The matrix program verifies
xr0/updates
#1: "Slight" change of plans
xr0/updates
#0: We thought we'd be further by now
xr0/updates
Dijkstra's Law and the Paradoxical Unsafety of C Programming
xr0