On Tue, Oct 30, 2012 at 11:01 AM, Gabriel Dos Reis <firstname.lastname@example.org> wrote:
So, whatever you've done lately, that was great!
I am reactivating the automated benchmarks (*) and I found something interesting: the pictures show several orders of magnitude speedups in the pretty printer. This is due to the new code that generates accessors and also due to a couple of declarations in key places. I assume that openaxiom uses a lot of prettyprinter operations for generating the intermediate files and the speedup comes mostly from there.