Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r7813] by tswift

Hopefully explaining call_tv a little better.

 2013-10-14 21:58:25 Tree
[r7812] by kifer

if trace is off, make notrace into noop. This solves a number of problems,
including clobbering of gpp under WinXP.

 2013-10-11 03:50:05 Tree
[r7811] by dwarren

Fixed bug in compiler, due to erroneous assumption of situation
in which a register value is not changed. Fixed so that a temporary
register is allocated and used in these situations.

 2013-10-08 15:20:02 Tree
[r7810] by pmoura

Missed update to parse.xwam

 2013-10-03 13:40:39 Tree
[r7809] by dwarren

Added import of once/1 as needed for answer subsumption transformation.

 2013-10-02 13:05:09 Tree
[r7808] by pmoura

Fix bug that prevented loading a real file named "user"

 2013-09-30 21:40:55 Tree
[r7807] by dwarren

Increased precision of printing (in write_canonical) of 64-bit floats.

 2013-09-24 16:23:00 Tree
[r7806] by dwarren

Changed long to int, so it will be 32-bits for both MSVC and GCC 64-bits.

 2013-09-24 16:21:48 Tree
[r7805] by tswift

Change to allow forest logging at different levels.

 2013-09-11 19:47:30 Tree
[r7804] by tswift

Changes to allow forest logging at different levels.

 2013-09-11 19:44:51 Tree
Older >
MongoDB Logo MongoDB