Menu

Src (SVN)-old Commit Log


Commit Date  
[r9724] by tswift

Clarified what is either a debug message or a very obscure user warning.

2019-11-21 21:30:34 Tree
[r9723] by tswift

Making a test that depends on gensym more stable.

2019-11-21 21:27:07 Tree
[r9722] by dwarren

Took off the 'privatizer' for byte-code filenames for all (I hope) messages.

2019-11-19 21:48:43 Tree
[r9721] by dwarren

Rename private xwam if command throws an error on load; add a cut to a first efficiency clause in subsumes/2.

2019-11-19 20:23:39 Tree
[r9720] by tswift

Updates for incremental, subsumptive tabling.

2019-11-19 16:48:16 Tree
[r9719] by tswift

Now calling subsumptive, incremental tests.

2019-11-19 16:34:18 Tree
[r9718] by tswift

Changes to a new test for proper handling of conditional answers with subsumption.

2019-11-19 16:30:39 Tree
[r9717] by tswift

Adding more subsumptive, incremental tests.

2019-11-19 16:29:06 Tree
[r9716] by tswift

New tests for subsumptive + incremental. I had to make a few minor changes, so I did this rather than using the -S option.

2019-11-19 16:14:21 Tree
[r9715] by "kifer"

typo fix

2019-11-18 05:42:39 Tree
Older >
MongoDB Logo MongoDB