Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r8303] by tswift

Changes to allow forest logging to be turned on or off on a per-predicate basis.

In addition, I restructured the PSC structure to include bitmapped fields. It turned out that this wasnt necessary for the forest
logging change, as I keep the forest logging bit in the TIF, but was a good change for other future modifications that we may want to
make to PSC structures, as well as making it a little easier to support the combination of incremental and interned tables.

 2015-03-21 18:44:07 Tree
[r8302] by tswift

Added footnote about the name copy_term_nat.

 2015-03-18 17:23:17 Tree
[r8301] by tswift

Documentation of copy_term_nat/2.

 2015-03-14 20:28:06 Tree
[r8300] by tswift

Implemented copy_term_nat/2.

 2015-03-14 20:18:37 Tree
[r8299] by tswift

Tests for copyterm_nat/3.

 2015-03-14 20:17:08 Tree
[r8298] by dwarren

Use write_canonical_lettervar to make sotred cdf_extensional (and int) files
more consistent and not change with random variable numbers.
And improve indexing for hasAttr_ext.

 2015-03-14 00:13:10 Tree
[r8297] by kifer

updated manuals' pdfs, the windows banners

 2015-03-13 05:56:44 Tree
[r8296] by dwarren

Added missing declaration of a new external function: alt_print_cp

 2015-03-12 00:54:58 Tree
[r8295] by tswift

Test for copy_term_nat/2

 2015-03-11 23:55:49 Tree
[r8294] by tswift

Code for copy_term_nat/2.

 2015-03-11 23:54:18 Tree
Older >
MongoDB Logo MongoDB