Daniel S. Wilkerson

First, you can't take the raw output of delta and just send it to me. There is more you have to do by hand to get it minimal. Second, when...

Can I ask you to please make an effort to minimize the input just a bit further? I am rather sure that it can be made a bit smaller; you...

Allow me to clarify: this is a string that the parser cannot parse, so certainly a smaller input will also induce the parser into the same state. On Mon, Feb...

Thank you for the bug report and the extra effort to minimize the example; however I just have too many other important things to work on right now to spend...

I just built and ran tests for the whole of oink-stack on Ubuntu 14.04 and it worked end to end out of the box. Are you still having difficulties?

The design is public so you can check this yourself. Frankly I think it is a fools errand. How many more properties do you want? On Sun, Dec 18, 2016...

You have not really annoyed me, it's just that one of the properties of the system is that the encoding is very simply reductionistic: (1) you chop the bits into...

Yes, the error is the fact that this is an internal error, which no input should be able to cause.

I have noticed that sometimes internal errors / stack traces make no mention of the location within the input file that was being processed when the internal error occurred. I...

update: it seems that backslash star is not a Chisel operator. So the bug is that the solutions have backslashes before the start (multiply) operators.