Sign in
Join now
verus
stepbrobd.com
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
forked from verus-lang/verus
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
Version history of
tools/
activate
October 2026
Bryan Parno
b2309671
Copied
Failed
Copy SHA
Fix activate script and vargo's cvc5 version matching (#3308)
Copy SHA
Browse repository
committed
3w ago
Máté Kovács
a7853a4b
Copied
Failed
Copy SHA
[vargo] feat: deprecate Vargo (#3105)
Copy SHA
Browse repository
committed
3w ago
August 2023
Chris Hawblitzel (Microsoft)
309a0eca
Copied
Failed
Copy SHA
Support building Verus-verified components with ordinary stable Rust
(#733)
(#733)
Copy SHA
Browse repository
committed
3y ago
July 2023
Jay Lorch
b2ed1ec6
Copied
Failed
Copy SHA
Merge branch 'main' into breaking-proofs-into-pieces
Copy SHA
Browse repository
committed
3y ago
Andrea Lattuada
d3c0e3fd
Copied
Failed
Copy SHA
add support for `cargo update` in vargo, minor refactoring, prevent inadvertently using cargo directly
(#673)
(#673)
Copy SHA
Browse repository
committed
3y ago
Jay Bosamiya
a02c4f93
Copied
Failed
Copy SHA
Add .envrc to auto-source activation for vargo
(#668)
(#668)
Copy SHA
Browse repository
committed
3y ago
April 2023
Andrea Lattuada
83368799
Copied
Failed
Copy SHA
Merge branch 'main_new'
Copy SHA
Browse repository
committed
3y ago
Jay Bosamiya
03c0a413
Copied
Failed
Copy SHA
zsh + nix support on `main_new`
(#483)
(#483)
Copy SHA
Browse repository
committed
3y ago
March 2023
Andrea Lattuada
8165f22e
Copied
Failed
Copy SHA
Merge pull request #438 from
verus-lang/standalone
verus-lang/standalone
Copy SHA
Browse repository
committed
3y ago
Andrea Lattuada
c0ff1b08
Copied
Failed
Copy SHA
Move to unmodified rustc: set up build
envorinoment
envorinoment
Copy SHA
Browse repository
committed
3y ago
