| 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 |
| 2019-06-24 18:17:19 | Tree | |
| 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. |
2019-05-29 02:36:11 | Tree |
| 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 |
| 2019-05-28 13:57:43 | Tree |