-
Notifications
You must be signed in to change notification settings - Fork 62
Insights: verifast/verifast
Overview
-
0 Active issues
-
- 0 Merged pull requests
- 1 Open pull request
- 0 Closed issues
- 0 New issues
There hasn’t been any commit activity on verifast/verifast in the last week.
Want to help out?
1 Pull request opened by 1 person
-
Replacing the old predicate `chars` by the new one
#527 opened
Jun 29, 2024
1 Unresolved conversation
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
[Rust] rc_u32 (Draft)
#523 commented on
Jun 26, 2024 • 3 new comments