Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r9259] by tswift

Closing file descriptors and backed out the change for Linux.

2018-04-20 20:21:59 Tree
[r9258] by tswift

Applied one of Edward Schwartz's patches so incremental tabling will properly work when XSB is called via C.

2018-04-20 18:14:27 Tree
[r9257] by tswift

Changed use of tempnam with mksfile, since tempnam has a security hole.

2018-04-20 17:55:43 Tree
[r9256] by dwarren

Improved documentation slightly.

2018-04-17 15:00:51 Tree
[r9255] by dwarren

Modified psc_mod/2 to always return module psc. (I.e. removed tests for
conditions under which a warning was given. Handling of modules is more
complete now than when this predicate was written.)

2018-04-17 14:56:34 Tree
[r9254] by "kifer"

these files changed after the compilation, which means somebody forgot to commit them

2018-04-17 03:27:46 Tree
[r9253] by tswift

Fixed another case of handling modules properly.

2018-04-16 21:16:42 Tree
[r9252] by tswift

in curr_sym fixed a bug in predicate_property with properly handling tables.
in tables added max_ans as a tabling option.

2018-04-16 20:50:23 Tree
[r9251] by dwarren

Minor changes in tests (and output).
Added tests for interning (hash-consing) big_arity terms.

2018-04-16 18:36:08 Tree
[r9250] by dwarren

New implementation of index trees. Smaller, slightly faster, simpler.

2018-04-16 18:33:01 Tree
Older >