verus-lang verus Feature Requests · Discussions · GitHub

Sort by: Latest activity

Categories

Community guidelines

Feature requests Discussions

You must be logged in to vote

No-cheating mode

utaal started Oct 1, 2024 in Feature requests

4
You must be logged in to vote

final trait default methods

jonhnet started Sep 20, 2024 in Feature requests

2
You must be logged in to vote

Feature Requests Triage at the Verus Retreat '24

utaal started Jun 25, 2024 in Feature requests

30
You must be logged in to vote

Add support for disabling overflow checks

WeetHet started Jul 8, 2024 in Feature requests

8
You must be logged in to vote

Evaluate using more advanced compiler optimizations like LTO and PGO

zamazan4ik started Jul 6, 2024 in Feature requests

0
You must be logged in to vote

Requests for commonly used rust/cargo

panda2134 started May 20, 2024 in Feature requests

5
You must be logged in to vote

Type inference for closure return types

y1ca1 started Jun 4, 2024 in Feature requests

0
You must be logged in to vote

About repeat expression in array

zpzigi754 started May 17, 2024 in Feature requests · Closed

2