Menu

Src (SVN)-old Commit Log


Commit Date  
[r7627] by kifer

ce numbervars/3 with /4

2012-10-09 02:30:13 Tree
[r7626] by tswift

Fixed a couple of problems with profiler, so both the profiler and the
verbose mode are usable now.

2012-10-03 19:15:21 Tree
[r7625] by kifer

fixed configuration with-odbc and with-dbdrivers

2012-09-29 02:08:28 Tree
[r7624] by kifer

fixed many small configuration bugs
ported many packages to compile under MT

2012-09-27 02:25:58 Tree
[r7623] by dwarren

Fixed computation of string size when freeing a gc-ed string.
Led to bad statistics for string space used.

2012-09-20 19:14:15 Tree
[r7622] by kifer

fixed configure.in so xsb would compile under solaris

2012-09-20 12:35:58 Tree
[r7621] by tswift

Need to re-execute brat_undefined after abolish_all_tables.

2012-09-13 23:18:37 Tree
[r7620] by pmoura

The definition of the infix operator as/2 dictates that the extended tabling directive should be parsed as as(table(Args),Options) but this file originally had table(as(Args,Options)); nevertheless, I left the original code in-place for the original author to review.

2012-09-07 21:52:35 Tree
[r7619] by dwarren

Commiting xwam file that got out of date.

2012-09-07 14:41:27 Tree
[r7618] by tswift

Paulo Moura's changes for conditional compilation.

2012-09-07 14:35:28 Tree
Older >
Auth0 Logo