Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r7735] by tswift

Fixed a small inconsistency.

 2013-03-07 19:53:42 Tree
[r7734] by tswift

Possible fix for killing timed call threads.

 2013-03-06 20:13:40 Tree
[r7733] by tswift

Made sure that the pdl was reset after a maximum depth for interned tries.

 2013-02-27 16:16:55 Tree
[r7732] by kifer

changed date

 2013-02-22 05:52:52 Tree
[r7731] by kifer

ignored latex temp files

 2013-02-20 23:16:47 Tree
[r7730] by kifer

updated version patch #

 2013-02-20 06:20:15 Tree
[r7729] by kifer

updated version patch #

 2013-02-20 06:17:59 Tree
[r7728] by tswift

It is an error in XSB to call abolish_all_tables when some choice
point the computation forest has a non-empty delay list. I improved
the error message for this to actually print out the tables in the
(first) such delay list, which will hopefully help programmers.

 2013-02-18 00:01:40 Tree
[r7727] by tswift

Fixed listing so that it prints out attributed variables correctly.

 2013-02-15 21:43:55 Tree
[r7726] by tswift

Changed an SWI-style type error to an XSB type error.

 2013-02-15 21:24:46 Tree
Older >
Auth0 Logo