epfl-lara / stainless

Verification framework and tool for higher-order Scala programs
https://epfl-lara.github.io/stainless/
Apache License 2.0
359 stars 53 forks source link

Move to a cache using hashes as keys #1591

Closed samuelchassot closed 1 month ago

samuelchassot commented 1 month ago

The size of one key is the following: CacheKey size = 32 bytes and serialised size = 322 bytes

samuelchassot commented 1 month ago

An example of the cache size reduction on bolts/fp-principles/huffman-coding:

So a reduction of 355x.