Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r7863] by tswift

Fix to a bug in ISO incremental tabling that showed up in the flora
testsuite. The bug what that I forgot to properly protect the heap
when the update occurred when we were not in tabling mode during the
update, but some table was created subsequent to update. In this case
hfreg had been set to the bottom of the heap, improperly.

Having said that, most of the diffs have to do with commented
debugging statements that I'm keeping around for now.

 2013-12-22 21:07:55 Tree
[r7862] by tswift

Fixes to bugs in Prolog-based conditional compilation.

 2013-12-20 21:50:32 Tree
[r7861] by tswift

Discussion of (Prolog-based) conditional compilation.

 2013-12-20 21:49:58 Tree
[r7860] by tswift

Test of conditional compilation.

 2013-12-20 21:49:00 Tree
[r7859] by kifer

bug fix in script

 2013-12-15 03:31:35 Tree
[r7858] by kifer

update the build date

 2013-12-15 03:26:13 Tree
[r7857] by dwarren

Minor fixes to quiet chattering compilers.

 2013-12-13 14:13:59 Tree
[r7856] by tswift

Changes for iso semantics for incremental tabling, which is now turned
*on*. Still not very stable for attributed variables in calls.

 2013-12-12 22:59:00 Tree
[r7855] by tswift

Automatically loading xsbbrat (maybe should do from a different module?)

 2013-12-12 22:57:52 Tree
[r7854] by tswift

Added new tests of ISO updates for incremental tabling.

 2013-12-12 22:56:56 Tree
Older >
MongoDB Logo MongoDB