Menu

Src (SVN)-old Commit Log


Commit Date  
[r7697] by dwarren

Updates for interning ground structured terms; adding new .c and .h file.
And other things I don't exactly understand. These files all work for me,
so I hope it doesn't break anyone else's system.

2013-01-04 15:02:16 Tree
[r7696] by dwarren

Added comment (after end_of_file.) that describes a bug that I don't
have time to track down now. For future work...

2013-01-04 14:59:56 Tree
[r7695] by dwarren

Many changes, motivated by adding intial code to support interning
of ground structured terms. This code is not ready for prime time,
but seems not to break anything if it is not used.
Also a few minor bug fixes noticed along the way.

2013-01-04 14:58:11 Tree
[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
Older >
Auth0 Logo