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

/trunk/src/algebra Commit Log


Commit Date  
[r1135] by whebisch

Documentation fixes.

 2011-08-22 18:03:16 Tree
[r1134] by whebisch

Undo accidental change from previous commit.

 2011-08-04 12:54:17 Tree
[r1133] by whebisch

Really add src/algebra/boo_db.input

 2011-08-03 22:36:32 Tree
[r1132] by whebisch

Update computation theory framework.

 2011-08-03 20:41:34 Tree
[r1131] by whebisch

Disable parser transformations of relational operators.

 2011-08-03 20:18:15 Tree
[r1130] by whebisch

Print offending kernel.

 2011-08-03 19:47:26 Tree
[r1129] by whebisch

New algebra bootstrap.

 2011-08-03 19:35:43 Tree
[r1122] by whebisch

Documentation and formatting fixes.

 2011-08-03 17:07:46 Tree
[r1120] by whebisch

Remove most of useless underscores.

 2011-07-25 21:10:08 Tree
[r1119] by whebisch

Support polynomial rings over semirings.

 2011-07-25 20:14:19 Tree
Older >