summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2023-07-13genins: stop printing files if the directory does not existJSDurand
2023-07-13helper.h: delete a duplicated declarcationJSDurand
2023-07-13remove intermediate filesJSDurand
2023-07-13Add config for cross-compilationJSDurand
2023-07-12Fix the bug of testing prefixes and plantingJSDurand
2023-07-12reformat some C functionsJSDurand
2023-07-08Finished the Emacs binding.JSDurand
2023-07-08adding test grammar and test documentJSDurand
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-02abnf: a skeleton for an ABNF parserJSDurand
2023-06-02Fix a bug of duplication from planting after sploingJSDurand
2023-06-02viz: finished decycle algorithmJSDurand
2023-06-02diaryJSDurand
2023-05-04Completed the procedural macro for deriving Graphs.JSDurand
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-13macro: try to write a macro for inhereting graphsJSDurand
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
2022-12-14a temporary check pointJSDurand
2022-11-15Initial commitJSDurand