XSB Src (SVN)-old

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

Src (SVN)-old Commit Log

Commit	Date
[r8476] by tswift Support for positive and negative edges in SDG analysis.	2015-09-21 15:13:13	Tree
[r8475] by tswift Added bit indicating negative call to subgoal frame -- supports SDG analysis. Extended get_sdg_info to handle both positive and negative dependencies, along with non-incremental tables.	2015-09-21 15:11:10	Tree
[r8474] by tswift Updated documentation for SDG analysis of incomplete subgoals	2015-09-21 15:03:58	Tree
[r8473] by dwarren Added missing export of attribute_portray_hook/3. (Found by Miguel's "tool".)	2015-09-18 12:56:55	Tree
[r8472] by tswift Updated documentation for SDG predicates.	2015-09-16 23:19:58	Tree
[r8471] by tswift Added tests for sdg-oriented predicates.	2015-09-16 23:19:12	Tree
[r8470] by tswift Implemented morph_sdg/3.	2015-09-16 23:17:04	Tree
[r8469] by tswift Fixed core dump when get_sdg_info/1 was called when there are no incomplete tables.	2015-09-16 23:15:43	Tree
[r8468] by dwarren Added some delay-lists tests.	2015-09-09 02:48:13	Tree
[r8467] by dwarren Minor cleanup; better initialization of copy_of_var_addr. Fix minor bug in end-case of de deleting.	2015-09-09 01:51:21	Tree

Older >