Age | Commit message (Expand) | Author |
---|---|---|
2023-08-04 | splone: fix the bug of finding the wrong node | JSDurand |
2023-08-01 | Fix some bugs | JSDurand |
2023-07-21 | splone: splitting parents properly. | JSDurand |
2023-07-18 | Fix a bug of unnecessarily cloning nodes. | JSDurand |
2023-07-16 | Fix the bug of forgetting to check cloned nodes. | JSDurand |
2023-07-12 | Fix the bug of testing prefixes and planting | JSDurand |
2023-07-08 | Finished the Emacs binding. | JSDurand |
2023-06-18 | fixed the bugs of node duplications and left-open nodes | JSDurand |
2023-06-02 | Fix a bug of duplication from planting after sploing | JSDurand |
2023-03-02 | extra reductions | JSDurand |
2023-02-27 | before a major refactor | JSDurand |
2023-02-13 | Fix phantom edges | JSDurand |
2023-02-12 | fix clone not changing the root | JSDurand |
2023-02-12 | Added the functionality of split or clone. | JSDurand |