summaryrefslogtreecommitdiff
path: root/chain/src
AgeCommit message (Expand)Author
2023-08-04splone: fix the bug of finding the wrong nodeJSDurand
2023-08-04chain/item: Make some function publicJSDurand
2023-08-04chain/atom/default: Fix nullibility of virtual nodes.JSDurand
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-22Add experimental python scripts for debuggingJSDurand
2023-07-21Print graphs with edges in orderJSDurand
2023-07-21bump versionJSDurand
2023-07-21chain/default: Remove the annoying node whenever plausible.JSDurand
2023-07-21chain/atom/default: add a function to print virtual nodes.JSDurand
2023-07-21genins: Use relative file path for printing forests.JSDurand
2023-07-21splone: splitting parents properly.JSDurand
2023-07-19chain/atom/default: Make `print_nullables` public.JSDurand
2023-07-19genins: Fix the bug of forgetting to set ending positions.JSDurand
2023-07-18chain/src/item/default/mod.rs: Add a unit test for `set_pos`JSDurand
2023-07-18Fix the bug of incorrectly setting the end of forest nodesJSDurand
2023-07-18chain/src/atom/default.rs: Add function to print nullablesJSDurand
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-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