Age | Commit message (Expand) | Author |
2023-06-02 | viz: finished decycle algorithm | JSDurand |
2023-06-02 | diary | JSDurand |
2023-05-04 | Completed the procedural macro for deriving Graphs. | JSDurand |
2023-03-02 | extra reductions | JSDurand |
2023-02-28 | Add a type Reducer for recording extra reductions | JSDurand |
2023-02-28 | Merge from master | JSDurand |
2023-02-28 | Add no_item parameter. | JSDurand |
2023-02-28 | default: add a plan | JSDurand |
2023-02-28 | genins: fix minor error according to clippy | 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 |
2023-02-03 | Finally produced the first correct forest | JSDurand |
2023-01-28 | a prototype of an item derivation forest | JSDurand |
2023-01-22 | forest: clone correctly | JSDurand |
2023-01-20 | minor refactoring | JSDurand |
2023-01-20 | chain: a prototype is added. | JSDurand |
2023-01-13 | forest seems to be completed | JSDurand |
2023-01-13 | macro: try to write a macro for inhereting graphs | JSDurand |
2023-01-11 | Record left-linear expansion and forest format | JSDurand |
2023-01-06 | Save before system restart. | JSDurand |
2023-01-05 | singly labelled graphs | JSDurand |
2023-01-03 | structural change: separate crates out | JSDurand |
2022-12-23 | renaming core to chain and some other changes | JSDurand |
2022-12-14 | a temporary check point | JSDurand |
2022-11-15 | Initial commit | JSDurand |