Menu

Src (SVN)-old Commit Log


Commit Date  
[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
[r7617] by pmoura

Updated instrctuins for building the binary Windows installer using the provided Inno Setup script.

2012-09-05 22:16:31 Tree
[r7616] by dwarren

Decided to make hashval into 64-bit (on 64-bit). Minor, but seems right.

2012-08-31 21:22:21 Tree
[r7615] by dwarren

Fixed bug in generating hash value, when there was overflow it could return
a negative value. This caused rampant memory consumption for unnecessary
hash tables.

2012-08-31 21:14:23 Tree
[r7614] by tswift

Made abolish_all_private_tables a standard predicate.

2012-08-22 15:17:31 Tree
[r7613] by tswift

Adding this for brat.

2012-08-22 15:03:25 Tree
Older >
Auth0 Logo