On 12-03-30 11:26 AM, Carlos Garnacho wrote:
With these patches [1], more operations happen directly on the database instead of building the data map on memory, the result is that memory usage has been decreased to 25% of the original one and the overall indexing + html generation time has gone down from ~3h30m to 40-45m [2]
Wow; nice job! _______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
