XSB Src (SVN)-old

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

Src (SVN)-old Commit Log

Commit	Date
[r8576] by tswift forgot this one.	2016-01-13 21:52:40	Tree
[r8575] by tswift Added this a while ago, forgot to commit.	2016-01-13 21:52:06	Tree
[r8574] by tswift Update to use explicit module qualification to abstract terms.	2016-01-13 21:50:59	Tree
[r8573] by tswift Took out this -- useful stuff has been moved to tables.P	2016-01-13 21:46:23	Tree
[r8572] by tswift Modified sdg_print test to use explicit module qualification. Added test of forest-logging scc analysis.	2016-01-13 21:40:33	Tree
[r8571] by tswift Taking this out -- need to find another way to make sure the predicates are loaded from usermod.	2016-01-10 23:45:42	Tree
[r8570] by tswift Test for cycle checking in tabled calls.	2016-01-10 16:51:49	Tree
[r8569] by tswift Changes to allow checking of cyclic terms in tabling and subgoal size at different times.	2016-01-10 16:50:05	Tree
[r8568] by tswift Updates to allow cycle checks and subgoal size checks at different times. Also, put in stub for table call size tripwire (suspension).	2016-01-10 16:48:07	Tree
[r8567] by tswift Fixed bug in abolish/1 introduced when I added :- immutable.	2016-01-09 01:11:06	Tree

Older >