Menu

Src (SVN)-old Commit Log


Commit Date  
[r9706] by dwarren

Fix to answer subsumption transformation to support attributed variables.

2019-11-05 02:14:45 Tree
[r9705] by dwarren

Minor (possible) performance enhancement to variant.

2019-11-05 02:13:02 Tree
[r9704] by "kifer"

updated upload info

2019-11-03 02:18:33 Tree
[r9703] by "kifer"

local readme 4 windows

2019-11-03 01:35:15 Tree
[r9702] by "kifer"

updated files for creating windows binaries

2019-11-03 01:34:39 Tree
[r9701] by dwarren

Minor change to initial allocation of data structures. Better when not using interned structures.

2019-11-02 18:26:14 Tree
[r9700] by dwarren

Fixed rename on Windows so it doesn't delete if renamed to self.

2019-11-02 14:26:38 Tree
[r9699] by dwarren

Clear first chunk when it would have been freed, so gc does mark its now-irrelevant structures.

2019-11-01 13:21:03 Tree
[r9698] by dwarren

Clear a chunck when it is re-used. Found and fixed by Ed Schwartz.

2019-10-31 23:17:39 Tree
[r9697] by dwarren

Added code to reuse freed-up space in previous, smaller hash tables.

2019-10-31 21:50:47 Tree
Older >
MongoDB Logo MongoDB