John Wiegley issues

Results 91 issues of


                                            John Wiegley

Tools for debugging recursion problems?

Hello, I'm using `combine` to write a parser for a language that's not LL(1), and don't know if it's LALR(1). The code is here, with the original grammar all in...

Getting copyright assignments before inclusion into Emacs

@myuhe @hexmode @lurdan @iqbalansari @purcell @fgallina @IvanMalison To everyone who has contributed code to alert: I would like to include use package in the next version of Emacs, but to...

Tighten performance numbers for methods mentioned in our paper

Show that a Fiat client of bytestring can apply fusion directly

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

Produce an alternate output library that tunes performance differently

For example, by pre-allocating by a certain amount.

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

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

Create shims for the extracted code that reference actual bytestring

This way, instead of having to implement everything all at once, we can give a warning that "method foo is not yet implemented", and then transparently refer to the real...

Update README to indicate all necessary dependencies

- Coq 8.6 - MIT fiat (multi-arity branch)