[Ur] Segfault on initialization

Adam Chlipala adamc at csail.mit.edu
Sat Jun 15 08:19:55 EDT 2013


On 06/14/2013 04:54 PM, Daniel Patterson wrote:
> I just added some new code and the produced binary is segfaulting! It
> happens when it is starting up.
>    

I've pushed an Ur/Web change that may fix your problem.  Does it?

[The issue had to do with an interaction of an optimization and CSRF 
protection.]



More information about the Ur mailing list