Menu

Src (SVN)-old Commit Log


Commit Date  
[r7652] by dwarren

Make print_pterm tail-recursive, so fewer C runstack overflows.
(Counts number of close-parens to print on exit, so can be tail-recursive.)

2012-11-01 15:53:04 Tree
[r7651] by tswift

Added predicates to analyze incremental subgoal dependency graph.

2012-10-30 23:19:12 Tree
[r7650] by tswift

Added predicates to analyze the graph made by incremental subgoals.

2012-10-30 23:16:01 Tree
[r7649] by tswift

Added predicates for analyzing dependency graph created for incremental tables.

2012-10-30 23:07:55 Tree
[r7648] by tswift

Added predicates for analyzing dependency graph created during
incremental tabling.

2012-10-30 23:06:08 Tree
[r7647] by kifer

typo
and recompiled

2012-10-24 00:30:03 Tree
[r7646] by kifer

typo

2012-10-24 00:27:56 Tree
[r7645] by kifer

fixed libpath on macs

2012-10-23 21:09:33 Tree
[r7644] by kifer

made xsb.in more arch independent

2012-10-18 19:06:57 Tree
[r7643] by kifer

made halt/1 standard

2012-10-16 16:33:52 Tree
Older >
Monday.com Logo