Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r8574] by tswift

Update to use explicit module qualification to abstract terms.

 2016-01-13 21:50:59 Tree
[r8573] by tswift

Took out this -- useful stuff has been moved to tables.P

 2016-01-13 21:46:23 Tree
[r8572] by tswift

Modified sdg_print test to use explicit module qualification.
Added test of forest-logging scc analysis.

 2016-01-13 21:40:33 Tree
[r8571] by tswift

Taking this out -- need to find another way to make sure the predicates are loaded from usermod.

 2016-01-10 23:45:42 Tree
[r8570] by tswift

Test for cycle checking in tabled calls.

 2016-01-10 16:51:49 Tree
[r8569] by tswift

Changes to allow checking of cyclic terms in tabling and subgoal size at different times.

 2016-01-10 16:50:05 Tree
[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
Older >
MongoDB Logo MongoDB