XSB Src (SVN)-old

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

Src (SVN)-old Commit Log

Commit	Date
[r7631] by tswift Support for predicate-level specification of subgoal + answer subsumption.	2012-10-10 19:18:39	Tree
[r7630] by tswift Support for predicate-level specification of subgoal and answer abstraction.	2012-10-10 19:17:14	Tree
[r7629] by tswift Updating documentation for predicate-level specs for brat and subgoal abstraction.	2012-10-10 19:02:38	Tree
[r7628] by tswift Macros now needed by tables.P	2012-10-09 12:25:24	Tree
[r7627] by kifer ce numbervars/3 with /4	2012-10-09 02:30:13	Tree
[r7626] by tswift Fixed a couple of problems with profiler, so both the profiler and the verbose mode are usable now.	2012-10-03 19:15:21	Tree
[r7625] by kifer fixed configuration with-odbc and with-dbdrivers	2012-09-29 02:08:28	Tree
[r7624] by kifer fixed many small configuration bugs ported many packages to compile under MT	2012-09-27 02:25:58	Tree
[r7623] by dwarren Fixed computation of string size when freeing a gc-ed string. Led to bad statistics for string space used.	2012-09-20 19:14:15	Tree
[r7622] by kifer fixed configure.in so xsb would compile under solaris	2012-09-20 12:35:58	Tree

Older >