| Commit | Date | |
|---|---|---|
| 2019-11-21 21:30:34 | Tree | |
| 2019-11-21 21:27:07 | Tree | |
| 2019-11-19 21:48:43 | Tree | |
|
[r9721]
by
dwarren
Rename private xwam if command throws an error on load; add a cut to a first efficiency clause in subsumes/2. |
2019-11-19 20:23:39 | Tree |
| 2019-11-19 16:48:16 | Tree | |
| 2019-11-19 16:34:18 | Tree | |
|
[r9718]
by
tswift
Changes to a new test for proper handling of conditional answers with subsumption. |
2019-11-19 16:30:39 | Tree |
| 2019-11-19 16:29:06 | Tree | |
|
[r9716]
by
tswift
New tests for subsumptive + incremental. I had to make a few minor changes, so I did this rather than using the -S option. |
2019-11-19 16:14:21 | Tree |
| 2019-11-18 05:42:39 | Tree |