XSB Src (SVN)-old

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

Src (SVN)-old Commit Log

Commit	Date
[r8578] by tswift Fixed case in call/n where explicit module qualification was not working properly.	2016-01-13 21:55:58	Tree
[r8577] by tswift Added explicit module qualification to routines that use abstraction; moved 2 term abstraction routines into this module.	2016-01-13 21:54:27	Tree
[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

Older >