[elephant-devel] Elephant is working with cffi

[Leslie P. Polzer]

Gustavo wrote:

> I've realized that elephant-1.0 is actually newer than elephant-unstable. I
> made a few more changes and updated the patch to work with elephant-1.0.

We should probably delete elephant-unstable. Ian?


> The configuration was tested without the feature :elephant-without-optimize
> and all tests from elephant test suite passed.

I'm going to review and test; it might take me a couple of days or even
weeks. It'd be good to have some more eyes for this one.

Thanks for your work, Gustavo!

  Leslie