| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | 2x perf boost from updated library | Anthony Wang | 6 weeks | |
| Age | Commit message | 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 | ||
| [...] | ||||
| Clone | ||||
| https://git.unnamed.website/sdrs | ||||
 |
index : sdrs | |
| Experimental formally verified Rust port of SDC, yay! | Anthony Wang |
| aboutsummaryrefslogtreecommitdiff |