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

Version history of source/docs/guide/src/nonlinear.md

October 2026

Travis Hance
Guide typos (#3340)
committed
Snehal Reddy
doc(guide): Fix variable typo in lemma_mod_between comments (#3336)
committed

May 2025

nobody
Rename examples directory (rename source/rust_verify/example to examples)
committed

March 2025

Travis Hance
guide: fix miscellaneous typos
committed

November 2024

Bryan Parno
Add a pointer and explanation about the arithmetic library to the tutorial section nonlinear arithmetic.
committed
Travis Hance
guide: fix inaccuracy in nonlinear.md
committed

September 2024

Travis Hance
guide: fix typo
committed
Travis Hance
guide: update bitvector prover section, move singular installation to its own chapter
committed

June 2024

Andrea Lattuada
add expected Singular version to the guide
committed

February 2024

Bryan Parno
Merge branch 'main' into apply-verusfmt
committed
Travis Hance
add more discussion of integer_ring limitations
committed
Travis Hance
split up integer_ring and bit chapters in the guide
committed