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

Version history of source/rust_verify_test_macros/src/rust_code.rs

September 2024

Andrea Lattuada
fixes for rust-analyzer in VScode (fixes #1253)
committed

November 2023

Andrea Lattuada
rustup to 1.72.1
committed

February 2022

Andrea Lattuada
Upgrade to rustc 1.58.1
committed

May 2021

Andrea Lattuada
Merge branch 'test-harness' into verification
committed
Andrea Lattuada
Use a macro to reduce boilerplate for simple tests
committed