| Commit | Date | |
|---|---|---|
|
[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 | |
| 2019-05-28 02:26:33 | Tree | |
|
[r9602]
by
"kifer"
added a number of chmod +x to configure to improve some situations |
2019-05-23 02:38:07 | Tree |
|
[r9601]
by
dwarren
Fixed minor bug in lattice answer subsumption, when using an open term for the aggregation operation and subsumptive tabling. |
2019-05-21 18:05:10 | Tree |
| 2019-05-16 19:30:38 | Tree |