Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r7771] by dwarren

MANY Changes to implement hash-consing (or interning of ground structures).
Obviously, many major changes.
A couple of other bugs fixed (in particular 64-bit hashing issue.)

 2013-05-06 21:10:28 Tree
[r7770] by tswift

Update for 3.4.

 2013-05-02 20:29:45 Tree
[r7769] by pmoura

Updated release number to 3.4 and fixes a few spelling typos in the documentation.

 2013-05-02 18:56:45 Tree
[r7768] by tswift

Updating windows make files.

 2013-05-02 18:00:06 Tree
[r7767] by tswift

Recapitalized soy milk

 2013-05-02 17:42:32 Tree
[r7766] by tswift

Changing to 3.4.

 2013-05-02 17:39:32 Tree
[r7765] by dwarren

Commented out unused declaration (to quiet compiler)

 2013-05-02 17:36:53 Tree
[r7764] by dwarren

Added int cast to quiet compiler

 2013-05-02 17:36:17 Tree
[r7763] by tswift

Added work of past month or so for release.

 2013-05-01 22:12:31 Tree
[r7762] by tswift

Using writeq when printing out in Prolog trace mode. Other Prologs
(e.g., Quintus) do this, and I've found it very helpful.

 2013-05-01 21:21:14 Tree
Older >
MongoDB Logo MongoDB