 Nicolas Williams
|
32d8f2000a
|
Fix build
|
2017-04-26 20:55:50 -05:00 |
|
|
Nicolas Williams
|
0bd7614bd5
|
Always use jv_mem_*alloc()
|
2017-04-21 18:41:06 -05:00 |
|
|
Yasuhiro Matsumoto
|
5d058fa416
|
Don't call SetConsoleOutputCP
Should use wide-string function instead of SetConsoleOutputCP.
Fixes #1121
|
2017-02-25 18:51:04 -06:00 |
|
|
W-Mark Kubacki
|
83e2cf607f
|
Skip printing what's below a MAX_PRINT_DEPTH
This addresses #1136, and mitigates a stack exhaustion when printing
a very deeply nested term.
|
2017-01-27 09:59:44 -06:00 |
|
|
David Tolnay
|
0c93eb3379
|
Move source files to src/
|
2015-08-23 20:36:11 -07:00 |
|