summaryrefslogtreecommitdiff
path: root/chain/src/default.rs
AgeCommit message (Expand)Author
2023-08-04chain/default: Add funtion `print_current`JSDurand
2023-08-01Fix some bugsJSDurand
2023-07-30chain/default.rs: Minor adjustment and add a planJSDurand
2023-07-21chain/default: Remove the annoying node whenever plausible.JSDurand
2023-07-18Fix a bug of unnecessarily cloning nodes.JSDurand
2023-07-16Fix the bug of forgetting to check cloned nodes.JSDurand
2023-07-08Finished the Emacs binding.JSDurand
2023-06-18fixed the bugs of node duplications and left-open nodesJSDurand
2023-06-02Fix a bug of duplication from planting after sploingJSDurand
2023-03-02extra reductionsJSDurand
2023-02-28Add a type Reducer for recording extra reductionsJSDurand
2023-02-28Merge from masterJSDurand
2023-02-28Add no_item parameter.JSDurand
2023-02-28default: add a planJSDurand
2023-02-27before a major refactorJSDurand
2023-02-13Fix phantom edgesJSDurand
2023-02-12Added the functionality of split or clone.JSDurand
2023-02-03Finally produced the first correct forestJSDurand
2023-01-28a prototype of an item derivation forestJSDurand
2023-01-22forest: clone correctlyJSDurand
2023-01-20minor refactoringJSDurand
2023-01-20chain: a prototype is added.JSDurand
2023-01-03structural change: separate crates outJSDurand
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2024-11-09 23:33:26 +0000