[go: up one dir, main page]

Menu

Code Commit Log


Commit Date  
[r772] by whebisch

Mark test failures as expected.

2010-01-15 00:19:59 Tree
[r771] by mantepse

move documentation out of functions and use consistent spacing

2010-01-12 23:05:54 Tree
[r770] by mantepse

add missing negations in preccheck, so checks are skipped only when we want that.

2010-01-12 23:02:16 Tree
[r769] by mantepse

add possibility to skip checkInterpolant, remove heuristic tests from
wrapInterpolant

2010-01-12 22:06:17 Tree
[r768] by mantepse

add test for termination

2010-01-12 21:58:33 Tree
[r767] by mantepse

add a series of transcendentals to the testing series in checkInterpolant, test
for reject_one_term at the right place

2010-01-12 21:40:10 Tree
[r766] by mantepse

remove redundant remainder computations (and some tabs)

2010-01-12 21:26:14 Tree
[r765] by whebisch

Remove wrong import.

2010-01-12 19:32:46 Tree
[r764] by mantepse

add missint ; to quiet output

2010-01-11 20:31:38 Tree
[r763] by mantepse

more tests from Zhenxiang Zhang

2010-01-11 19:36:20 Tree
Older >