Daniel S. Wilkerson

Did you figure this out? I build oink on Ubuntu 14.04. On Wed, Oct 12, 2016 at 2:40 AM, gy-lehel wrote: > Commit 3d1b8bc > > introduces conflicting changes in...

Everything we did is in the repo as a test. Mozilla did use elsa on their code base a few years ago: elsa was the first C++ front end used...

Please do read through all of the instructions from scratch: http://dsw.users.sonic.net/oink/ In particular, you can only analyze code that has been through a preprocessor. The kind of errors you are...

This is not going to work. What you propose is a severe instance of "creeping feature-ism": https://en.wikipedia.org/wiki/Feature_creep The whole point of Proquints is to be first and foremost an encoding...

I am not about to do this. If you do, please do not call it Proquints, but if it is the same idea, then in your paper please do provide...

There is no such thing as being "academically accredited to do papers". If you make a version of Proquints for other languages/alphabets/writing-systems, (1) do not call it Proquints and (2)...

Sorry to take so long getting back to you. Your versions of flex and bison look fine, but I've never tried with this version of gcc. This looks like some...

I think bison just keeps changing in subtle and incompatible ways. What we have checked in obviously compiles for us. We could apply your changes and see if it continues...

Could you please send me the actual output of diff -u ? Also, if you are contributing your patch to the project, please put in the email "I hereby put...

Either you didn't attach it or github is discarding attachments. You can email it to me at the email address in the image on my website at http://daniel-wilkerson.appspot.com/ ; I...