HomeIsabelle/Phabricator
Zstd compression for Isabelle/Scala and Isabelle/ML

ML

  • Operations for Zstd compression (via Isabelle/Scala):
    • Zstd.compress: Bytes.T -> Bytes.T
    • Zstd.uncompress: Bytes.T -> Bytes.T

System

  • Isabelle/Scala provides generic support for XZ and Zstd compression, via Compress.Options and Compress.Cache. Bytes.uncompress automatically detects the compression scheme.

This refers to Isabelle/f2b98eb6a7a9.

Written by makarius on Oct 21 2022, 7:50 PM.
User
Projects
None
Subscribers
None

Event Timeline