brianhuffman

Poor performance of Basic compared to Cuckoo

3

This ticket is based on GaloisInc/saw-script#674. We recently switched one of our projects from from `Data.HashTable.ST.Cuckoo` to `Data.HashTable.ST.Basic`, to avoid a bug in Cuckoo (related to #55, I believe). As...

Exponential runtime for layoutSmart + fillSep + sep

4

This issue is based on GaloisInc/cryptol#1274. The story is that we recently ported our `cryptol` language interpreter to use `prettyprinter`, but later we noticed a severe slowdown that occurs when...