tromp
|
1cf76fa976
|
save lotsa memory
|
2016-10-18 22:07:54 -04:00 |
|
John Tromp
|
2fed4d202f
|
undo unintended change
|
2016-10-18 17:47:36 -04:00 |
|
tromp
|
62d89c6ef3
|
allow binary headers
|
2016-10-18 10:35:10 -04:00 |
|
tromp
|
a29c3ac5c3
|
refactor types and reduce buckets from 2^16 to 2^12
|
2016-10-17 14:52:30 -04:00 |
|
John Tromp
|
f6c1a3196e
|
minor changes
|
2016-10-16 19:17:11 -04:00 |
|
tromp
|
f06ff12ed5
|
obsolete faster by speeding up low-mem versions
|
2016-10-16 18:49:03 -04:00 |
|
John Tromp
|
c2a84f98b9
|
avoid extra struct member
|
2016-10-15 22:08:56 -04:00 |
|
tromp
|
786b37d700
|
optimally pre-allocate all memory
|
2016-10-15 20:16:42 -04:00 |
|
tromp
|
b019dd46da
|
get allocation right
|
2016-10-14 16:14:09 -04:00 |
|
tromp
|
88ad63088f
|
include license
|
2016-10-14 15:30:52 -04:00 |
|
tromp
|
72db6ff8a5
|
add solvers
|
2016-10-14 14:28:34 -04:00 |