Tony Garnock-Jones
|
e776864b45
|
Even more pretty
|
2015-07-13 20:04:42 -04:00 |
Tony Garnock-Jones
|
0e88711a50
|
Subtraction; relabelling; pretty output
|
2015-07-13 19:57:06 -04:00 |
Tony Garnock-Jones
|
7bfbb3f8c9
|
Bugfixes
|
2015-07-12 21:13:56 -04:00 |
Tony Garnock-Jones
|
e20f3730d1
|
dot output
|
2015-07-12 19:36:16 -04:00 |
Tony Garnock-Jones
|
b94668585f
|
combine, union. WIP because reference-counting is broken
|
2015-07-12 17:46:08 -04:00 |
Tony Garnock-Jones
|
d80ff03821
|
OK needs to contain a (dict) value.
|
2015-07-01 13:51:14 -04:00 |
Tony Garnock-Jones
|
523a682af5
|
Basic predicates for constants
|
2015-07-01 12:55:55 -04:00 |
Tony Garnock-Jones
|
b0b7db518c
|
Set initial table_length back to a sane starting value
|
2015-06-30 23:28:09 -04:00 |
Tony Garnock-Jones
|
1656f3aedc
|
Terminate search early when the distance-to-initial-bucket is shorter than i
|
2015-06-30 23:27:45 -04:00 |
Tony Garnock-Jones
|
2ed7bb0d88
|
Avoid recomputing hashes all the time; store them instead
|
2015-06-30 23:13:13 -04:00 |
Tony Garnock-Jones
|
80576ad873
|
Widen tags to three bits, so we have a proper dict representation so we can refcount atoms
|
2015-06-30 18:10:57 -04:00 |
Tony Garnock-Jones
|
44b6db9ae0
|
Larger critbit exercise
|
2015-06-30 16:56:41 -04:00 |
Tony Garnock-Jones
|
08f2400e49
|
Using a non-stupid hash function is EXTREMELY important
|
2015-06-30 16:56:29 -04:00 |
Tony Garnock-Jones
|
4fda08adc0
|
More critbit
|
2015-06-30 16:10:10 -04:00 |
Tony Garnock-Jones
|
0f75e40676
|
Tweak
|
2015-06-30 12:19:22 -04:00 |
Tony Garnock-Jones
|
5b3efe4475
|
Move tags into the pointers
|
2015-06-30 12:07:48 -04:00 |
Tony Garnock-Jones
|
7cede97080
|
Hide away tt_hash_node again
|
2015-06-30 10:30:20 -04:00 |
Tony Garnock-Jones
|
316fd0adda
|
Prime starting length seems to do no harm
|
2015-06-30 00:08:25 -04:00 |
Tony Garnock-Jones
|
f0b1d691ea
|
Experiment with some really dumb hash functions
|
2015-06-30 00:05:29 -04:00 |
Tony Garnock-Jones
|
b0ec92798a
|
Make starting table_length 16384 (down from 1048576)
|
2015-06-29 23:45:58 -04:00 |
Tony Garnock-Jones
|
c70e926970
|
Arena growth
|
2015-06-29 23:19:44 -04:00 |
Tony Garnock-Jones
|
790f63b309
|
Initial commit
|
2015-06-29 20:39:49 -04:00 |