| Commit | Date | |
|---|---|---|
| 2019-09-26 20:09:02 | Tree | |
|
[r9649]
by
dwarren
Fix bug in compiling to private obj file not in current directory. Found and fix suggested by MK. Thx. |
2019-09-20 22:23:02 | Tree |
| 2019-09-20 07:44:08 | Tree | |
| 2019-09-20 07:08:15 | Tree | |
| 2019-09-20 06:57:44 | Tree | |
| 2019-09-20 06:51:51 | Tree | |
| 2019-09-19 18:56:19 | Tree | |
| 2019-09-18 22:59:37 | Tree | |
| 2019-09-18 22:58:23 | Tree | |
|
[r9641]
by
tswift
Added a new predicate user_dyn_clause_counts. Also...sigh...began removing the references to multi-threading until we can find somebody who can get the MT engine back into shape and maintain |
2019-09-18 22:57:29 | Tree |