[go: up one dir, main page]

Menu

Code Commit Log


Commit Date  
[r979] by whebisch

Also consider source when comparing signatures.

2011-01-14 12:08:59 Tree
[r978] by whebisch

Avoid unwanted numeric evaluation.

2011-01-11 13:38:41 Tree
[r977] by whebisch

Fix confusion with regularRepresentation.

2011-01-08 19:51:23 Tree
[r976] by whebisch

Fix leftRankPolynomial.

2011-01-08 19:28:47 Tree
[r975] by whebisch

Add format specific output functions.

2011-01-06 21:48:01 Tree
[r974] by whebisch

Delete duplicate test.

2011-01-04 16:50:19 Tree
[r973] by whebisch

Handle toplevel 'where'.

2011-01-04 15:17:34 Tree
[r972] by hemmecke

rename from --with-... to --enable-...

--with-algebra-optimization ==> --enable-algebra-optimization
--with-gmp ==> --enable-gmp

2010-12-15 00:00:56 Tree
[r971] by hemmecke

add test for libgmp.so and gmp.h

2010-12-08 10:26:55 Tree
[r970] by whebisch

Fix explimitedint.

2010-12-03 15:55:00 Tree
Older >