XSB Src (SVN)-old

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

Src (SVN)-old Commit Log

Commit	Date
[r7879] by tswift Integrating in Neng-fa's changes. In particular, I created various gets and puts using his code.	2014-01-26 22:57:42	Tree
[r7878] by tswift Including Neng-Fa's changes to the XSB loader, and created get_byte,get_code,get_char,put_byte,put_code,put_char based on the functions he included in token_xsb.c. Integration of other builtins, such as atom codes, still remains to be done.	2014-01-26 22:54:48	Tree
[r7877] by dwarren Some minor cleanup and improvements by Miguel Calejo.	2014-01-24 15:15:10	Tree
[r7876] by dwarren Fixed bug in loading rule: execute(X) :- X. (needed to handle variable before calling goal_cut_trans.)	2014-01-24 14:09:57	Tree
[r7875] by dwarren Fixed assert to correctly transform clause like execute(X) :- X. and add the call wrapper correctly.	2014-01-23 14:38:13	Tree
[r7874] by tswift Preliminary version of abstraction for dynamic incremental predicates.	2014-01-21 14:57:52	Tree
[r7873] by kifer allow xsb_configuration.xwam without the corresponding .P file	2014-01-21 00:17:51	Tree
[r7872] by tswift Exporting filter_varlist/4.	2014-01-17 02:37:04	Tree
[r7871] by dwarren Added coercion to quiet MSVC compiler.	2014-01-02 14:15:20	Tree
[r7870] by tswift Fixed problem in using get_residual_sccs for uncondtional answers.	2014-01-01 23:28:44	Tree

Older >