Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[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
[r7642] by tswift

Mostly changes to uniformly use macros for file lengths in dynamic loading.

In addition, I changed the name of a function in biassert.c

 2012-10-12 16:42:57 Tree
Older >
Auth0 Logo