Menu

Src (SVN)-old Commit Log


Commit Date  
[r5687] by tswift

Added a note about updating project news.

2007-12-09 23:02:00 Tree
[r5686] by ruim

fixes to last change
had removed memory counters for sequential system!

2007-12-09 18:53:13 Tree
[r5685] by ruim

Removed global counters for stastics (including mem space values)
from multi-threaded system if not in debug mode.
Those counters were hurting scalability on a multi-processor badly

2007-12-09 18:41:38 Tree
[r5684] by crued

Added context.h to list of includes, since CTXTDeclc is required by the
funtion prototype for bld_boxedfloat in cell_xsb.h and cell_xsb.h is included

2007-12-09 02:39:31 Tree
[r5683] by ruim

Fixes to last changes - some wrong files were commited by mistake

2007-12-08 20:58:22 Tree
[r5682] by ruim

replaced shared struct manangers with malloc
which improves scalabilty on a multi-processor

that required a number of small fixes to have coherency
between shared and private struct managers

2007-12-06 23:24:55 Tree
[r5681] by dwarren

Just moved some redefines, which change the meaning of the unify_xsb() macro,
closer to the use of that macro. At least now it's easier to see what's
going on.

2007-12-05 19:02:39 Tree
[r5680] by dwarren

Changed source definition of \= slightly so compiler generates slightly
better code. Really should be added to the jumpcof instruction and coded
in C.

2007-12-05 18:16:03 Tree
[r5679] by dwarren

Checkin new .xwam files due to compiler improvement of compiling
some conditions in if-then-else.

2007-12-03 22:10:13 Tree
[r5678] by dwarren

Change compiler to include all the jump_cof predicates as deterministic
non-state-changing inlines for conditions. (Somehow they weren't there,
so some of them still resulted in choicepoints being laid down. I discovered
it in looking at flatten, where is_list in a condition still resulted in
a choicepoint.)
Also check in the several .xwam files that changed due to this compilation
improvement.

2007-12-03 22:08:23 Tree
Older >
Auth0 Logo