Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r9128] by tswift

Rearchitecting the way that incremental dynamic facts are stitched into the IDG. This helps pave the way for better
diagnosis and debugging of incr tabled programs, since if you cant see the IDG you're limited.

Along the way I came across a bug in get_call which make it inconsistent with get_calls and also made a core dump theortically possible.

2017-11-06 20:58:46 Tree
[r9127] by tswift

Ditto -- forgot this changed.

2017-11-06 20:30:06 Tree
[r9126] by tswift

Adding a partial version of get_idg_info.

2017-11-06 20:29:01 Tree
[r9125] by tswift

Adding a partial version of get_idg_info.

2017-11-06 20:28:26 Tree
[r9124] by tswift

forgot to commit this one.

2017-11-05 20:06:24 Tree
[r9123] by tswift

Changed around call node as preparation for allowing dynamic facts to store pointers to their subgoal frames.

2017-11-05 20:03:28 Tree
[r9122] by tswift

Adding back code that was inadvertantly removed in 9089.

2017-10-31 16:20:25 Tree
[r9121] by tswift

Took unnecessary clause out of remove_timed_call_state.

2017-10-31 15:41:45 Tree
[r9120] by tswift

Minor changes for release.

2017-10-29 22:34:56 Tree
[r9119] by tswift

Updating some makeindex directives.

2017-10-29 21:31:34 Tree
Older >