| Commit | Date | |
|---|---|---|
| 2012-11-06 17:14:34 | Tree | |
| 2012-11-06 17:13:56 | Tree | |
| 2012-11-06 17:13:22 | Tree | |
|
[r7653]
by
dwarren
Fixed bug when hash computation overflows int. Happened when increasing |
2012-11-02 19:57:23 | Tree |
|
[r7652]
by
dwarren
Make print_pterm tail-recursive, so fewer C runstack overflows. |
2012-11-01 15:53:04 | Tree |
| 2012-10-30 23:19:12 | Tree | |
| 2012-10-30 23:16:01 | Tree | |
| 2012-10-30 23:07:55 | Tree | |
|
[r7648]
by
tswift
Added predicates for analyzing dependency graph created during |
2012-10-30 23:06:08 | Tree |
| 2012-10-24 00:30:03 | Tree |