summaryrefslogtreecommitdiff
path: root/chain
AgeCommit message (Expand)Author
2023-07-18Fix a bug of unnecessarily cloning nodes.JSDurand
2023-07-16Fix the bug of forgetting to check cloned nodes.JSDurand
2023-07-13genins: stop printing files if the directory does not existJSDurand
2023-07-12Fix the bug of testing prefixes and plantingJSDurand
2023-07-08Finished the Emacs binding.JSDurand
2023-06-18adjust autotools settingsJSDurand
2023-06-18fixed the bugs of node duplications and left-open nodesJSDurand
2023-06-02review of previous bug fixJSDurand
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-28genins: fix minor error according to clippyJSDurand
2023-02-27before a major refactorJSDurand
2023-02-13Fix phantom edgesJSDurand
2023-02-12fix clone not changing the rootJSDurand
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-13forest seems to be completedJSDurand
2023-01-11Record left-linear expansion and forest formatJSDurand
2023-01-06Save before system restart.JSDurand
2023-01-05singly labelled graphsJSDurand
2023-01-03structural change: separate crates outJSDurand
2022-12-23renaming core to chain and some other changesJSDurand
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2024-12-26 06:31:06 +0000