| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Link to Dafny-Rust docs | Anthony Wang | 7 days | |
| Age | Commit message | Author | ||
| 7 days | Link to Dafny-Rust docsHEADmaster | Anthony Wang | ||
| 7 days | TODO: nativeType only works for newtype | Anthony Wang | ||
| 7 days | 2x perf boost by restricting lsb_fast inputs | Anthony Wang | ||
| 8 days | Add more Dafny TODOs | Anthony Wang | ||
| 8 days | Add (super slow) Dafny-generated Python library too | Anthony Wang | ||
| 8 days | 6x speedup by using bitwise ops when i fits in 32 bits | Anthony Wang | ||
| 9 days | fenwick.dfy is 1-indexed not 0-indexed | Anthony Wang | ||
| 10 days | Rebuild fenwick.rs | Anthony Wang | ||
| 10 days | Adjust loop invariant | Anthony Wang | ||
| 10 days | Simplify search proof and remove unnecessary ghost var | Anthony Wang | ||
| [...] | ||||
| Clone | ||||
| https://git.unnamed.website/sdc | ||||
 |
index : sdc | |
| A ridiculously overengineered flash cards app using C, SQLite, Fenwick trees, and PyQt |
| aboutsummaryrefslogtreecommitdiff |