All pull requests

Pull requests

• Prove unpackSym_packEntry and unpackLen_packEntry without bv_decide

  #2907·Robertboy18 opened Oct 23, 2026·

  ·
  1

• Prove the level-7 matcher specializations equal to the generic matcher

  #2906·Robertboy18 opened Oct 23, 2026·

  ·
  1

• Prove the zlib roundtrip for ZlibDecode.decompress

  #2905·Robertboy18 opened Oct 23, 2026·

  ·
  1

• Reject reserved gzip header flags

  #2904·Robertboy18 opened Oct 23, 2026·

  ·
  1

• doc: note that the bv_decide projection workaround has an upstream fix

  #2903·kim-em opened Oct 3, 2026Owner·

  ·

• feat(deflate): add an opt-in multi-threaded dynamic-block encoder

  #2901·rowancallahan opened Sep 22, 2026·

  ·
  1

• Enable Lean module system

  #2895·bgamari-positron opened Sep 6, 2026·

  ·
  1