Menu

Src (SVN)-old Commit Log


Commit Date  
[r7853] by dwarren

2 coercions to quite MSVC.
Eliminate stray letter, unclear how it got there...

2013-12-09 16:32:28 Tree
[r7852] by kifer

fixed compiler bugs and warnings introduced in the prev version

2013-12-08 00:45:07 Tree
[r7851] by kifer

it is now possible to do things like
#if exists("file")
#include "file"
#else
#include "some-other-file"
#endif

A very useful conditional include idiom.

2013-12-08 00:31:49 Tree
[r7850] by tswift

Numerous changes.

This update was motivated by the fix for a recently reported bug
in incremental tabling. The problem was incorrect maintenance
for the deleted field of callgraphs for facts, under certain
situations. However, there are other changes in this update.

-- I was in the process of making incremental tabling follow an
ISO-like semantics. While this feature is not turned on in
this version, it does contain a draft of the code, as well as
some refactoring that was needed to support the new
functionality under clang.

-- I also made some changes in the callnode structure so that the
subgoal to which dynamic facts correspond can be
reconstructed. I used this to find the bug above, but I also
want to use it to extend the incremental dependency predicates
in increval to also include dynamic facts.

-- Some changes introduced to quiet the Linux compiler made clang
complain. So I redid these changes as a macro,
SQUASH_LINUX_COMPILER_WARNING which is a no-op in clang, but
does what it did before in Linux.

-- As a final node, I had to move ctop_tag into
ptoc_tag_xsb_i.h (but did not change the file name).
Basically, I had to change the inline definition of this
predicate to static inline for clang. And since its used in
several files, I had to put it in a .h.

2013-12-05 18:58:49 Tree
[r7849] by tswift

Added test of an incremental tabling bug reported recently by Javier Romero.

2013-12-05 17:37:55 Tree
[r7848] by kifer

1. Added a banner option --nofeedback to block printing yess's and no's before
returning to top level.
2. In banner.P, added set_banner_control/2.

2013-11-25 09:07:18 Tree
[r7847] by kifer

1. made gpp safe for cyclic #includes.
2. fixed the type of arguments for is_charlist in wrapping.P.
As a result, the testsuite now passes.
3. got rid of C warnings in the testsuite

2013-11-25 01:57:31 Tree
[r7846] by kifer

make sure that included files are converted to their absolute file names

2013-11-23 08:33:07 Tree
[r7845] by dwarren

Add fail when initializing value for floundered_undefined/1 so it works
for batched scheduling (by not generating a cut over an incompleted table.)

2013-11-22 16:55:38 Tree
[r7844] by dwarren

(Try again to) fix intermittent bug in intern tabling.

2013-11-13 22:26:26 Tree
Older >
MongoDB Logo MongoDB