Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r9239] by tswift

Test for incremental tabling problem that fixed in a prior commit, where callnode-> recomputable
was not properly resent on propagate_no_change.

2018-03-04 22:48:08 Tree
[r9238] by tswift

Changes to fix a bug in tripwire version of maxans.

2018-03-04 22:00:47 Tree
[r9237] by tswift

Added a new test for test...maxans.

2018-03-04 21:59:19 Tree
[r9236] by tswift

Changes for
* table...maxan
* 'custom' option for tripwires
* Fix for coredump on undefined predicates involved in ?- queries in compiled files.

2018-03-04 21:55:36 Tree
[r9235] by tswift

More for maxans + updated debugging messages for incremental tabling (commented out in tables.c)

2018-03-04 21:51:19 Tree
[r9234] by tswift

Changes to

* Fix bug where callnode->recomputable was not reset to
COMPUTE_DEPENDENCIES_FIRST when no change was propagated.
* Added table as maxans
* Added tripwire option 'custom' rather than overloading 'suspend'

2018-03-04 21:49:25 Tree
[r9233] by tswift

Documented table ... as ... maxans(N).

2018-03-04 21:41:32 Tree
[r9232] by dwarren

Change standard to restructure how open_url is done. Makes it
cleaner.
Also add functor/4 (functor(Term,Module,Functor,Arity) to make dealing
with terms in modules simpler.

2018-02-26 15:13:34 Tree
[r9231] by dwarren

Split out code to handle opening url streams. To allow import to do the
necessary dynamic loading, with need for explicit module modifiers.

2018-02-26 15:10:26 Tree
[r9230] by dwarren

Added sentence in compare about two terms not being equal if their
main functor symbols are in different modules.

2018-02-25 16:13:33 Tree
Older >