1. Top
  2. sdrs
  3. Commits
sdrs

Partially formally verified Rust port of SDC

Commits at 8696e8c66e5bd370c0f6f4d92c42c76516d8d5de

  1. 8696e8c6 2x perf boost from updated library Anthony Wang authored at Anthony Wang comitted at
  2. 6785f4ae Style tweaks Anthony Wang authored at Anthony Wang comitted at
  3. d6d347a5 Update deps to 6x faster Fenwick library Anthony Wang authored at Anthony Wang comitted at
  4. b9c59bc8 Benchmark pure Rust Fenwick implementation too Anthony Wang authored at Anthony Wang comitted at
  5. 01c9369c cargo-fmt Anthony Wang authored at Anthony Wang comitted at
  6. e1a853ae Update deps, add fenwick benchmark script The Dafny-generated code is so freaking slow 😭 Anthony Wang authored at Anthony Wang comitted at
  7. 74f88f5f Update dependencies Anthony Wang authored at Anthony Wang comitted at
  8. 528cb4e6 Fix clippy lint errors Anthony Wang authored at Anthony Wang comitted at
  9. 668567a2 Add GPLv3 license Anthony Wang authored at Anthony Wang comitted at
  10. 8babd573 Add a pretty blank README Anthony Wang authored at Anthony Wang comitted at
  11. 9dabbc22 Use Dafny Fenwick library instead of my fenwick.rs port Anthony Wang authored at Anthony Wang comitted at
  12. 22b7c5d0 Optimize range_query to match fenwick.c Anthony Wang authored at Anthony Wang comitted at
  13. 63760127 Update fenwick.rs comment to match fenwick.c from SDC Anthony Wang authored at Anthony Wang comitted at
  14. 58b0a972 Allow dead code in fenwick.rs library Anthony Wang authored at Anthony Wang comitted at
  15. c39a333a Initial commit Anthony Wang authored at Anthony Wang comitted at