Menu

Src (SVN)-old Commit Log


Commit Date  
[r6229] by tswift

Finished update of table abolish/gc routines by making gc mark
check delay list (didn't do this last night because I wanted to
be fresh). Also did some minor code refactoring and optimization
for these routines.

2009-01-11 17:54:45 Tree
[r6228] by tswift

Minor updates for documentation of tries and table abolishes.

2009-01-11 17:52:39 Tree
[r6227] by tswift

Extended (almost) all the marking routines for tabled predicates
so that subgoals in the heap delay list are checked. This rather
obscure bug caused a crash in a Flora program for defeasible
logic. I'll try to finish that part tomorrow.

The problem was that space was reclaimed for a table T that had a
delay element in the heap pointing to it. When the answer with
the delay element was added, the engine tried to adjust the
backpointers for T and crashed.

Also made some minor ajustments for efficency to some of the
marking functions. And I changed abolish_table_info to the
clearer abolish_all_tables.

2009-01-10 23:37:07 Tree
[r6226] by tswift

ABOLISH_TABLE_INFO -> ABOLISH_ALL_TABLES

2009-01-10 23:31:34 Tree
[r6225] by tswift

Took out explicit definitions of undefined.

2009-01-10 23:28:36 Tree
[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
Older >
Auth0 Logo