On Thu, Nov 20, 2014 at 2:40 PM, Mathias Gaunard <mathias.gaunard@ens-lyon.org> wrote:

We're working on improving compilation times, which requires some important redesign of the library.
The library will be submitted for review after that.

It's been going on for the past few months, but those efforts are finally coming to an end!
Expect something soon-ish.

Looking forward to this. I remember talks about this library back in 2009!

--
Cory Nelson
http://int64.org