Menu

Src (SVN)-old Commit Log


Commit Date  
[r2203] by tswift

Added a predicate write_canonical_lettervar/1 to write variables in
number-varred terms as A,B,C...

2001-02-14 16:31:08 Tree
[r2202] by lfcastro

* solves problem of calls to get_lastnode_cs_retskel/4 from inside
findall, which weren't being inlined as they must (to avoid GC).

2001-02-13 22:04:13 Tree
[r2201] by dwarren

Fixed bug in test_heap: before always doubled space when more space is
needed; now gets what's asked for if it's greater than the doubling.

2001-02-13 17:46:06 Tree
[r2200] by dwarren

Took out a debugging printout left in by mistake.

2001-02-12 19:13:55 Tree
[r2199] by lfcastro

* use jumptable emuloop by default if gcc is detected as the compiler,
unless --disable-jumptable is given

2001-02-11 04:07:10 Tree
[r2198] by dwarren

Changed printf to xsb_warning for uniformity.

2001-02-09 21:53:12 Tree
[r2197] by dwarren

Removed code haveing to do with having compiled code in with asserted
code. We disallowed that awhile ago when we separated out static and
dynamic code.

2001-02-09 21:49:54 Tree
[r2196] by tswift

Added a little documentation about the memory structure and layout of
dynamic buffers.

2001-02-09 18:26:21 Tree
[r2195] by dwarren

Fixed arity bug in bagPO/4, in call to breg_retskel.
CHAT doesn't use the arity, but slgwam does.

2001-02-09 14:17:29 Tree
[r2194] by dwarren

Fixed a memory leak, in how findall returns buffers.

2001-02-07 14:35:33 Tree
Older >
MongoDB Logo MongoDB