FIAT

  1. Bug #504747
  2. Comment #1

Comment 1 for bug 504747

Revision history for this message
Garth Wells (garth-wells) wrote : Re: [Bug 504747] Re: eval_jacobi_batch crashes on interval

On Jan 11 2010, Robert Kirby wrote:

>** Changed in: fiat
> Status: New => Fix Committed
>
>

I don't see a change in the commit log. Has it been pushed?

Garth