All pull requests

Pull requests

• Fix stale hash in PackedLeaf::push

  #112·michaelsproul opened Sep 17, 2026Member·

  ·
  1

  

• Fix push_node capacity check

  #111·michaelsproul opened Sep 17, 2026Member·

  ·
  1

  

• Aeneas formal verification

  #104·michaelsproul opened Jul 27, 2026Member·

  ·
  2

• feat: implement DoubleEndedIterator for tree iterators

  #103·NikhilSharmaWe opened Jun 16, 2026Contributor·2 tasks done·

  ·
  1

  2

• add cow_bytes: O(dirty_nodes) pairwise tree diff

  #100·dapplion opened Apr 6, 2026·8 tasks done·

  ·
  2

• Use custom HashCell in place of RwLock

  #98·macladson opened Mar 24, 2026Member·

  ·
  7

• Make List::tree_hash_root infallible by computing hashes with pending updates

  #92·michaelsproul with CopilotAI opened Jan 13, 2026·7 tasks done·

  ·
  3

  

• Implement iter_arc method for List

  #71·PoulavBhowmick03 opened Jul 8, 2025Contributor·

  ·
  1

  22

• Apply updates recursively

  #32·dapplion opened Jan 22, 2024·1 task·

  ·
  

• [Do not merge] Benchmark Tokio executor vs Rayon

  #31·michaelsproul opened Nov 26, 2023Member·

  ·

• Use write locks to prevent work duplication

  #29·macladson opened Sep 4, 2023Member·

  ·
  1

• Use upgradable RwLocks

  #25·macladson opened Aug 30, 2023Member·

  ·

• Compute packed leaf values on demand (Option 1)

  #19·macladson opened Jul 13, 2023Member·

  ·
  6

• Compute packed leaf hash on demand (Option 2)

  #18·macladson opened Jul 11, 2023Member·

  ·