Mon, 20 Jun 2016 17:25:08 +0200 tuned proof;
wenzelm [Mon, 20 Jun 2016 17:25:08 +0200] rev 63323
tuned proof;
Mon, 20 Jun 2016 17:03:50 +0200 misc tuning and modernization;
wenzelm [Mon, 20 Jun 2016 17:03:50 +0200] rev 63322
misc tuning and modernization;
Mon, 20 Jun 2016 10:51:34 +0200 Merged
eberlm [Mon, 20 Jun 2016 10:51:34 +0200] rev 63321
Merged
Fri, 17 Jun 2016 17:02:13 +0200 Merged
eberlm [Fri, 17 Jun 2016 17:02:13 +0200] rev 63320
Merged
Fri, 17 Jun 2016 11:33:52 +0200 fps_from_poly → fps_of_poly
eberlm [Fri, 17 Jun 2016 11:33:52 +0200] rev 63319
fps_from_poly → fps_of_poly
Fri, 17 Jun 2016 11:33:03 +0200 Merged
eberlm [Fri, 17 Jun 2016 11:33:03 +0200] rev 63318
Merged
Thu, 16 Jun 2016 17:57:09 +0200 Various additions to polynomials, FPSs, Gamma function
eberlm [Thu, 16 Jun 2016 17:57:09 +0200] rev 63317
Various additions to polynomials, FPSs, Gamma function
Sun, 19 Jun 2016 22:51:42 +0200 misc tuning and modernization;
wenzelm [Sun, 19 Jun 2016 22:51:42 +0200] rev 63316
misc tuning and modernization;
Sun, 19 Jun 2016 17:40:51 +0200 benchmark build profile
Lars Hupel <lars.hupel@mytum.de> [Sun, 19 Jun 2016 17:40:51 +0200] rev 63315
benchmark build profile
Fri, 17 Jun 2016 21:35:35 +0200 killed dead code
blanchet [Fri, 17 Jun 2016 21:35:35 +0200] rev 63314
killed dead code
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip