Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r6224] by tswift

Fixed dumb typo in switch to abolish tables transitively vs singly.

 2009-01-09 23:19:10 Tree
[r6223] by tswift

undefined/0 now standard.

 2009-01-08 21:40:54 Tree
[r6222] by tswift

Added filter for .dylib

 2009-01-08 21:39:33 Tree
[r6221] by tswift

took out def of undefined (undefined/0 now standard).

 2009-01-08 21:38:41 Tree
[r6220] by tswift

Defining undefined.

 2009-01-08 21:18:20 Tree
[r6219] by tswift

Making undefined standard.

 2009-01-08 21:12:06 Tree
[r6218] by tswift

adding definition of undefined/0.

 2009-01-08 21:10:45 Tree
[r6217] by tswift

fixing stest.sh

 2009-01-08 20:46:34 Tree
[r6216] by tswift

Added (some) constraint tests for call subsumption.

 2009-01-08 20:44:57 Tree
[r6215] by tswift

taking catch1 out -- now that we have attributed variables in answers
for tables with call_subsumption.

 2009-01-08 20:43:48 Tree
Older >
Auth0 Logo