[go: up one dir, main page]
Menu ▾ ▴

/trunk/src Commit Log


Commit Date  
[r1111] by whebisch

Make '**', '^' and '->' right-associative ins Spad compiler.

 2011-07-11 22:34:44 Tree
[r1110] by whebisch

Correct handling of mapping-valued functions.

 2011-07-11 20:50:44 Tree
[r1109] by whebisch

Allow matrices over semirings.

 2011-07-09 21:53:32 Tree
[r1108] by whebisch

Correct order of arguments to 'PredImplies'.

 2011-07-09 21:44:23 Tree
[r1107] by whebisch

Update computation theory framework.
-This line, and those below, will be ignored--

M ChangeLog
M src/algebra/boo-pack1.input
M src/algebra/Makefile.in
M src/algebra/computation.spad.pamphlet

 2011-07-08 20:07:13 Tree
[r1106] by whebisch

Propagate 'CoercibleTo(OutputForm)' to aggregates.

 2011-07-08 19:57:00 Tree
[r1105] by whebisch

Cache results of 'compHasFormat'.

 2011-07-08 18:43:21 Tree
[r1104] by whebisch

Handle cycles in 'knownInfo'.

 2011-07-08 18:22:27 Tree
[r1103] by whebisch

Generalize indexed product.

 2011-07-06 21:46:12 Tree
[r1102] by whebisch

Remove harmful initialization.

 2011-07-06 21:39:35 Tree
Older >