swh:1:snp:2d869aa00591d2ac8ec8e7abacdda563d413189d
Tip revision: cb5a4b81ca2578c53ecb592986de7abba33e3bb7 authored by Roberto Di Cosmo on 12 May 2014, 11:23:33 UTC
Replaced multiple calls of finalize with Pervasives.at_exit; moved instances of init rigth after the fork
Replaced multiple calls of finalize with Pervasives.at_exit; moved instances of init rigth after the fork
Tip revision: cb5a4b8
Changelog
2011/08/30 (RDC): internally convert lists to array to avoid quadratic penalty in execution time on long lists,
thanks to Paul Vernaza <pvernaza@andrew.cmu.edu> for pointing out this issu;
added 'a sequence type to allow using efficiently the library both with lists and arrays.
