XSB Src (SVN)-old

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

Src (SVN)-old Commit Log

Commit	Date
[r8479] by tswift Fixed typo so that bit-fields carved out of a byte will again add up to 8.	2015-09-23 14:15:34	Tree
[r8478] by kifer changed documenting comment for crypto_hash	2015-09-21 17:18:37	Tree
[r8477] by tswift Updated for pos/neg edges and added more test cases.	2015-09-21 15:14:05	Tree
[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

Older >