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

Version history of source/rust_verify_test/tests/integer_ring.rs

October 2026

Travis Hance
Diagnostic messages copy-editing (#3335)
committed
Travis Hance
fix integer_ring overflow issue (#3239)
committed
Travis Hance
fix integer_ring for unary sub (#3098)
committed

June 2025

Natalie Neamtu
Merge branch 'main' into zero-to-nat/docs-retreat-2025
committed
Chris Hawblitzel
Merge branch 'main' into loop-infer-base
committed

May 2025

Travis Hance
integer_ring: require preconditions that moduli are nonzero (#1680)
committed

April 2024

yizhou7
Singular update (#730)
committed

July 2023

Jay Lorch
Merge branch 'main' into breaking-proofs-into-pieces
committed
Chanhee Cho
Fix integer ring feature (#635)
committed

April 2023

Andrea Lattuada
Merge branch 'main_new'
committed

March 2023

Chris Hawblitzel
Disable integer_ring.rs for now.
committed
Chris Hawblitzel (Microsoft)
Move rust_verify/tests into rust_verify_test/tests (to prepare for th… (#422)
committed