Menu

Src (SVN)-old Commit Log


Commit Date  
[r9613] by dwarren

Modified fixpoint scheduling to use a scheduling queue to avoid linear scan of completion frames. Updated adjust_levels to be more multi-thread friendly, I hope.

2019-07-10 15:47:49 Tree
[r9612] by dwarren

Fixed adjust_levels to be linear. This changes how leaders are found.

2019-06-24 18:17:19 Tree
[r9611] by tswift

Fixed a bug in inline_builtin for putenv.

2019-06-22 00:47:47 Tree
[r9610] by dwarren

Moved the tnot call to answer_completed after the check for completion. Improved some printout for debugging logging (not enabled.)

2019-06-07 17:55:44 Tree
[r9609] by dwarren

Fix answer-completion to correctly handle already AC-ed subcomponents, so is not unnecessarily quadratic. Also use new abolish_table_pred without cps-check and table gc to avoid unnecessary quadratic behavior.

2019-06-04 19:12:59 Tree
[r9608] by dwarren

Allow abolish_table_pred_bi to take a parameter to turn off cps_checking and table gc.

2019-06-04 19:09:49 Tree
[r9607] by "kifer"

parse.P - better comments/documentation for open_or_xpp_file.
tables.xwam - somebody forgot to commit

2019-05-29 02:36:11 Tree
[r9606] by dwarren

Another bug fix in answer completion, noted by Jan.

2019-05-28 23:00:43 Tree
[r9605] by dwarren

Added documentation for load_dynca, and callouts in places load_dync is mentioned. Make it easier for benchmarkers to find it.

2019-05-28 14:19:41 Tree
[r9604] by dwarren

added load_dynca/1.

2019-05-28 13:57:43 Tree
Older >