Tony Garnock-Jones
|
d0019134e5
|
Correct typo (?) in comment
|
2017-06-14 10:36:21 +01:00 |
|
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
|
85a139f5dd
|
Remove unused arena field
|
2015-07-13 15:56:48 -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
|
233e4ffec8
|
Promote RET_IF_NO_PTR to treetrie.h
|
2015-07-01 12:59:28 -04:00 |
|
Tony Garnock-Jones
|
523a682af5
|
Basic predicates for constants
|
2015-07-01 12:55:55 -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
|
ce496ceade
|
Start on critbit
|
2015-06-30 14:48:09 -04:00 |
|
Tony Garnock-Jones
|
e984c00379
|
Accessors
|
2015-06-30 12:25:05 -04:00 |
|
Tony Garnock-Jones
|
e835689abb
|
Individual constructors
|
2015-06-30 12:18:05 -04:00 |
|
Tony Garnock-Jones
|
eda162a8d1
|
Fix comments
|
2015-06-30 12:09:28 -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
|
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 |