| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-03-27 | 2x perf boost from updated libraryHEADmaster | Anthony Wang |
| 2025-03-26 | Style tweaks | Anthony Wang |
| 2025-03-26 | Update deps to 6x faster Fenwick library | Anthony Wang |
| 2025-03-25 | Benchmark pure Rust Fenwick implementation too | Anthony Wang |
| 2025-03-25 | cargo-fmt | Anthony Wang |
| 2025-03-25 | Update deps, add fenwick benchmark script•••The Dafny-generated code is so freaking slow 😠| Anthony Wang |
| 2025-03-25 | Update dependencies | Anthony Wang |
| 2025-03-24 | Fix clippy lint errors | Anthony Wang |
| 2025-03-24 | Add GPLv3 license | Anthony Wang |
| 2025-03-24 | Add a pretty blank README | Anthony Wang |
| 2025-03-24 | Use Dafny Fenwick library instead of my fenwick.rs port | Anthony Wang |
| 2025-01-16 | Optimize range_query to match fenwick.c | Anthony Wang |
| 2025-01-14 | Update fenwick.rs comment to match fenwick.c from SDC | Anthony Wang |
| 2025-01-14 | Allow dead code in fenwick.rs library | Anthony Wang |
| 2025-01-14 | Initial commit | Anthony Wang |
 |
index : sdrs | |
| Experimental formally verified Rust port of SDC, yay! | Anthony Wang |
| aboutsummaryrefslogtreecommitdiff |