Félix Fischer
Félix Fischer
From the blocking list, the issue titled: > Spec is unclear about what is stored in the content repository Seems to have been closed :3
@jimmycuadra ohh, indeed. My bad! :)
This sounds quite good, specially the part about modules. It would make things like `ASCII_LOWER` and `WHITESPACE` feel less magical c: I probably need more time to give you a...
The purpose of this kind of fuzzer would be to automatically generate "passing" cases? That is, examples of strings that match the grammar given as input. Is that right? I...
Also: maybe this can be implemented with a PEG -> BNF translator, and then using the BNF representation to call the generators from [`bnf`](https://github.com/shnewto/bnf)
You raise a fair point. Is there literature on PEG -> BNF transformations? I'm thinking that maybe the BNF can be built while preserving the unambiguity property of the source...
>>In our Interval Lattice, we use `[-infinity, infinity]` to mean `bottom` and `[]` to mean `top`. > > your graph shows exactly the opposite afaict. Of course. I even mentioned...
> So the height of the lattice is not infinite. True, but that is just an implementation detail. If we wanted to, or needed to, we could expand our engine...
> The original author is currently not available for asking questions. It's just bad luck I guess :sweat_smile: but there's nothing we can do if they're not available. Do you...
### Regarding the how-to Hmm... I think in order to have less flaky storage, we could do something like this: 1. Store the seeds of a counterexample. By remembering the...