Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r7679] by tswift

Dummy change to test out xsb-commits.

 2012-11-29 18:19:43 Tree
[r7678] by tswift

Changed a macro name I didn't like.

 2012-11-29 18:08:11 Tree
[r7677] by tswift

Fixed an error message.

 2012-11-29 17:49:26 Tree
[r7676] by tswift

Taking out Kostis' out of date email (I sent him an email asking if he
would like it updated instead, but he hasn't responded).

 2012-11-29 17:47:12 Tree
[r7675] by tswift

Taking out-of-date email for Luis Castro out of this script.

 2012-11-29 17:43:31 Tree
[r7674] by tswift

Refactoring names.

 2012-11-29 17:41:20 Tree
[r7673] by tswift

Rectification of macros (NUM_TRIEVARS/DEFAULT_NUM_TRIEVARS)

 2012-11-29 17:37:58 Tree
[r7672] by tswift

Fixing xsb-commits (I hope).

 2012-11-29 17:35:03 Tree
[r7671] by tswift

Test of get_residual_sccs and friends.

 2012-11-28 18:09:12 Tree
[r7670] by tswift

Added test for printing out complex terms from C.

 2012-11-28 17:44:13 Tree
Older >
Auth0 Logo