Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / jwiegley/bytestring-fiat issues and pull requests

#10 - Show that a Fiat client of bytestring can apply fusion directly

Issue - State: open - Opened by jwiegley almost 8 years ago

#9 - Can we generate a version of the text library from the same specification?

Issue - State: open - Opened by jwiegley almost 8 years ago

#8 - Produce an alternate output library that tunes performance differently

Issue - State: open - Opened by jwiegley almost 8 years ago

#7 - Make use of the fixed point logic to create a fold method

Issue - State: open - Opened by jwiegley almost 8 years ago

#6 - Tighten performance numbers for methods mentioned in our paper

Issue - State: open - Opened by jwiegley almost 8 years ago - 1 comment

#5 - After the shims are made, try linking warp against bytestring-fiat

Issue - State: open - Opened by jwiegley almost 8 years ago

#4 - Create shims for the extracted code that reference actual bytestring

Issue - State: open - Opened by jwiegley almost 8 years ago

#3 - Update README to indicate all necessary dependencies

Issue - State: open - Opened by jwiegley almost 8 years ago

#2 - Resolve admits in the buffer_append refinements

Issue - State: closed - Opened by jwiegley almost 8 years ago

#1 - General fromADT Lemma

Pull Request - State: closed - Opened by bendy over 8 years ago - 1 comment