Laurence Tratt

Yes, but in a sense that's its weakness: we hardcoded in something which Linux has now changed. That said, given that we allow users to override the whitelist, updating the...

I still think I'm inclined towards saying this should be wholly in the user's config file. If so, all we'd have to do is delete the regex's from the main...

I wonder if the `../` expansion needs to be done by the shell somewhere?

I feel compelled to say that Krun is mostly @vext01's work -- he deserves most of the credit!

The problem we observed with pinning is that some VMs (HotSpot I think?) can start N threads where N is the number of physical cores. If you restrict such VMs...

I'm not quite sure what the purpose of https://github.com/softdevteam/grmtools/pull/353/commits/1af9ba262e001a6183f098102437aa6a56ef256a -- it doesn't really seem related to this PR?

I've had a couple of goes at reviewing this PR, and I must admit that I've been defeated both times, so it's probably time to admit that out loud! I...

It does feel like closing this one now makes sense.

> Question: If the input to fn lexer(...) leaves the lexer with a non-empty stack, should it be retained for (optional) resumption with a following call to the lexer? The...

I'm willing to be proven wrong on this, but I designed the `NonStreaming` interface to be as simple as possible, knowing that it would almost certainly be too simple for...