Menu

Src (SVN)-old Commit Log


Commit Date  
[r7694] by dwarren

Many updates: almost all due to initial coding in preparation for
supporting the interning of ground structured terms. At this point
none of this code is "active". The user can explicitly intern ground
structures, but they are not fully debugged. In particular, GC doesn't
work with them.
Other minor updates discovered along the way.

2013-01-04 14:56:22 Tree
[r7693] by dwarren

New files to implement interning of ground structured terms.
Basic functions.

2013-01-04 14:53:19 Tree
[r7692] by dwarren

Update due to new error message given by XSB

2013-01-04 13:56:45 Tree
[r7691] by dwarren

Update to make more files.

2013-01-04 13:55:12 Tree
[r7690] by dwarren

On windows, differentiate between 32 and 64-bit versions on initialization.

2013-01-04 13:54:18 Tree
[r7689] by dwarren

For windows, differentiate between 32 and 64-bit versions on initialization.

2013-01-04 13:53:32 Tree
[r7688] by dwarren

Fixed bug in answer subsumption. Problem was that '/'/2 was used in
generated code, and so in a module was treated as a local symbol.
This then conflictd with later uses in the compiler. Made it global,
and also for var/0 as well, to be safe.

2012-12-18 17:20:37 Tree
[r7687] by tswift

Trying again.

2012-12-14 21:11:37 Tree
[r7686] by tswift

changed del -> dly in forest view to make it conform to paper.

2012-12-14 19:00:02 Tree
[r7685] by dwarren

Added macro for heap_local_overflow check. (Used in odbc_xsb.c and elsewhere)

2012-12-13 02:52:57 Tree
Older >
Auth0 Logo