XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

Src (SVN)-old Commit Log

Commit	Date
[r6668] by tswift Made delete_branch check the BTNs that it deallocated, to make sure that it wasn't deallocating an already-deallocated BTN. The foregoing situation arose when using trie_unintern_nr and reclaim_unintern_nr by the storage module for backtrackable updates.	2010-07-04 19:02:16	Tree
[r6667] by dwarren Exported do_the_load as load_object_file so it can be used to ensure exactly what file is loaded, bypassing the library_directory paths, when necessary.	2010-06-30 18:29:25	Tree
[r6666] by dwarren Added abolishing of cdf tables in check_identity, since call to intensional could call cdf predicates which create tables, which will out of date after an update.	2010-06-28 16:29:49	Tree
[r6665] by spyrosh no message	2010-06-24 21:04:45	Tree
[r6664] by kifer restored terry's version (hopefully). seemed to have been clobbered	2010-06-23 02:36:38	Tree
[r6663] by kifer added operations for incremental tries	2010-06-23 02:28:37	Tree
[r6662] by spyrosh no message	2010-06-22 23:51:37	Tree
[r6661] by spyrosh no message	2010-06-22 23:43:59	Tree
[r6660] by spyrosh no message	2010-06-22 23:33:32	Tree
[r6659] by spyrosh Backed out code	2010-06-22 23:30:56	Tree

Older >