| Commit | Date | |
|---|---|---|
|
[r7658]
by
dwarren
Fixed bug I introduced when changing types for Integer. |
2012-11-08 19:08:25 | Tree |
| 2012-11-06 17:15:55 | Tree | |
| 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 |