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
verus
/
dependencies
/
syn
/
src
1 folder
·
50 files
at
master
Chris Hawblitzel (Microsoft)
·
Support opens_invariants in proof closures (#3199)
·
2w ago
905db912
gen
Support opens_invariants in proof closures (#3199)
2w ago
attr.rs
Syn merge (#2448)
6mo ago
bigint.rs
Syn merge (#2448)
6mo ago
buffer.rs
Syn merge (#2448)
6mo ago
classify.rs
Syn merge (#2448)
6mo ago
custom_keyword.rs
Merge syn
1y ago
custom_punctuation.rs
Syn merge (#2448)
6mo ago
data.rs
Syn merge (#2448)
6mo ago
derive.rs
Syn merge (#2448)
6mo ago
discouraged.rs
Syn merge (#2448)
6mo ago
drops.rs
Syn merge (#2448)
6mo ago
error.rs
Syn merge (#2448)
6mo ago
export.rs
Syn merge (#2448)
6mo ago
expr.rs
Support opens_invariants in proof closures (#3199)
2w ago
ext.rs
Syn merge (#2448)
6mo ago
file.rs
Syn merge (#2448)
6mo ago
fixup.rs
implement 'final' operator (#2193)
8mo ago
gen_helper.rs
Merge 'dependencies/syn'
4y ago
generics.rs
Extend Verus with Logical Atomicity (#2326)
3mo ago
group.rs
Syn merge (#2448)
6mo ago
ident.rs
Syn merge (#2448)
6mo ago
item.rs
Diagnostic messages copy-editing (#3335)
2w ago
lib.rs
Extend Verus with Logical Atomicity (#2326)
3mo ago
lifetime.rs
Syn merge (#2448)
6mo ago
lit.rs
Syn merge (#2448)
6mo ago
lookahead.rs
Syn merge (#2448)
6mo ago
mac.rs
Merge syn
1y ago
macros.rs
Syn merge (#2448)
6mo ago
meta.rs
Syn merge (#2448)
6mo ago
op.rs
Merge syn
1y ago
parse_macro_input.rs
Merge syn
1y ago
parse_quote.rs
Syn merge (#2448)
6mo ago
parse.rs
Syn merge (#2448)
6mo ago
pat.rs
Syn merge (#2448)
6mo ago
path.rs
Syn merge (#2448)
6mo ago
precedence.rs
Syn merge (#2448)
6mo ago
print.rs
Merge syn
1y ago
punctuated.rs
Extend Verus with Logical Atomicity (#2326)
3mo ago
restriction.rs
Syn merge (#2448)
6mo ago
scan_expr.rs
Merge commit '8781b93473730ceb2aecbf6a3ce8cda34fe21f6f' into syn-merge2
1y ago
sealed.rs
Merge syn
1y ago
span.rs
Merge syn
1y ago
spanned.rs
Syn merge (#2448)
6mo ago
stmt.rs
Syn merge (#2448)
6mo ago
thread.rs
Syn merge (#2448)
6mo ago
token.rs
Upgrade Verus to Rust 1.98.0 (#2835)
2mo ago
tt.rs
Syn merge (#2448)
6mo ago
ty.rs
Syn merge (#2448)
6mo ago
verbatim.rs
Syn merge (#2448)
6mo ago
verus.rs
verus!: fields named like Verus keywords (#3230)
2w ago
whitespace.rs
Merge syn
1y ago