verus
forked from verus-lang/verus
Star 0
Fork 0
Watch

Version history of source/CODE.md

March 2026

Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

December 2025

Chris Hawblitzel
Merge branch 'main' into seq-lemmas-triggers
committed
Chris Hawblitzel
Merge branch 'main' into assoc-const1
committed

November 2025

Bryan Parno
Expand some of our internal documentation (#2001)
committed

November 2021

yizhou7
Merge branch 'main' into debugger-dev
committed
Chris Hawblitzel
More fixes to README and CODE
committed

July 2021

Bryan Parno
Add some additional documentation based on discussions with Chris and Andrea
committed