Re: Request for help with antlr4

2018-09-29 Thread Mikolaj Izdebski
On 09/22/2018 10:35 PM, Jerry James wrote: > We're heading for a Fedora 29 release with a broken coq/frama-c/why3 > stack. I've got fixes waiting in the wings, but they're blocked on > these antlr4 bugs: > > https://bugzilla.redhat.com/show_bug.cgi?id=1596974 > https://bugzilla.redhat.com/show_bu

Request for help with antlr4

2018-09-22 Thread Jerry James
We're heading for a Fedora 29 release with a broken coq/frama-c/why3 stack. I've got fixes waiting in the wings, but they're blocked on these antlr4 bugs: https://bugzilla.redhat.com/show_bug.cgi?id=1596974 https://bugzilla.redhat.com/show_bug.cgi?id=1599015 Time is running out, and the antlr4 m