Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r8568] by tswift

Updates to allow cycle checks and subgoal size checks at different times. Also, put in stub for table call size tripwire (suspension).

 2016-01-10 16:48:07 Tree
[r8567] by tswift

Fixed bug in abolish/1 introduced when I added :- immutable.

 2016-01-09 01:11:06 Tree
[r8566] by dwarren

Minor fix to avoid throwing error (and just failing, as desired)
in atom_to_term/2.

 2016-01-08 14:09:43 Tree
[r8565] by kifer

fixed references in the manual
committed asm.xwam, which seems to have been an old version

 2016-01-06 06:28:16 Tree
[r8564] by tswift

Forgot to commit.

 2016-01-05 23:39:06 Tree
[r8563] by tswift

Changes for tripwires w.r.t. prolog flags and added printing routines
for SDGs.

 2016-01-04 00:43:55 Tree
[r8562] by tswift

Added a new test of SDG printing and fixed a bug in SDG morphisms.

 2016-01-04 00:26:41 Tree
[r8561] by tswift

A few updates to inspection.tex, although there is plenty left to do.

 2016-01-04 00:22:53 Tree
[r8560] by tswift

Factored out libraries borrowed from other Prologs. Also I commented
out the justification section as this is not being maintained, and we
arguably have better debugging methods now.

 2016-01-03 16:03:50 Tree
[r8559] by tswift

Since I needed to use AVL trees, I took a few minutes out to document assoc.P, the libary that contains this functionality.

 2016-01-03 16:02:11 Tree
Older >
MongoDB Logo MongoDB