Fork from prust for research rust mir
active 2025-03-15 → 2026-08-06 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 510 days from 2025-03-15 to 2026-08-06. Pushes: 56 total, peak 9 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 12 total, peak 2 in a day. Comments: 11 total, peak 3 in a day. Stars: 73 total, peak 2 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| JonasAlaif | 50 | 50 | 0 | 0 |
| lynae99 | 5 | 0 | 0 | 2 |
| Aurel300 | 4 | 1 | 0 | 2 |
| EmmanuelMess | 4 | 0 | 0 | 2 |
| hoijui | 2 | 0 | 0 | 1 |
| soyo114 | 2 | 0 | 0 | 2 |
| stoneman258 | 2 | 0 | 0 | 1 |
| rikki322 | 1 | 0 | 0 | 0 |
| chisa22 | 1 | 0 | 0 | 0 |
| VicMartini | 1 | 0 | 0 | 1 |
| joaoantoniocardoso | 1 | 0 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#1544lynae992026-04-19 08:48[Internal Error] Prusti crashes when moving a mutable reference inside a loop
- Issue#1549lynae992026-04-12 17:25Reference-typed constant arguments trigger "unsupported constant type" errors
- Issue comment#1547lynae992026-03-07 14:38Adding unreachable guarded match arm triggers unsupported shallow borrows and masks verification errors
- Issue#1547lynae992026-03-07 14:36Adding unreachable guarded match arm triggers unsupported shallow borrows and masks verification errors
- Issue#1544lynae992026-02-03 15:21[Internal Error] Prusti crashes when moving a mutable reference inside a loop
- Issue#1542rikki3222026-01-31 14:38False positive: Outer function attributes are lost inside immediately invoked closures
- Issue#1541chisa222026-01-31 14:14False negative: `std::panic::panic_any` does not trigger verification error
- Issue#1540hoijui2025-11-16 09:11Project end?
- Issue comment#1539hoijui2025-11-16 09:07Can't use it w/ virtual workspace w/ resolver 3 or 2024 edition
- Issue#1539joaoantoniocardoso2025-08-18 15:32Can't use it w/ virtual workspace w/ resolver 3 or 2024 edition
- Issue comment#1508VicMartini2025-08-17 00:31ghost seq not implemented
- Issue#1537EmmanuelMess2025-07-18 21:30"use of impure function "std::ops::Div::div" in pure code is not allowed" and crash after setting Div for f64 as "extern_spec"
- Issue comment#1536EmmanuelMess2025-07-17 17:32Why do #[pure] functions need to return types that have Copy trait?
- Issue comment#1536Aurel3002025-07-17 17:19Why do #[pure] functions need to return types that have Copy trait?
- Issue comment#1536EmmanuelMess2025-07-17 15:21Why do #[pure] functions need to return types that have Copy trait?
- Issue#1535EmmanuelMess2025-07-16 16:50Release binaries don't have the executable bit set
- Issue#1534EmmanuelMess2025-07-16 16:39`cargo-prusti build` doesn't work
- Issue#1532stoneman2582025-05-02 06:41A crash bug identified during the verification
- Issue comment#1528soyo1142025-04-27 06:35Prusti reported an internal error when analyzing a closure example
- Issue comment#1530Aurel3002025-04-12 10:34Prusti reports a false overflow warning in a simple while loop
- Issue#1530Aurel3002025-04-12 10:34Prusti reports a false overflow warning in a simple while loop
- Issue comment#1530stoneman2582025-04-12 10:27Prusti reports a false overflow warning in a simple while loop
- Issue comment#1528soyo1142025-04-09 04:04Prusti reported an internal error when analyzing a closure example
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 73 stars here means stars gained during the window, not the repo's star count.