Age | Commit message (Expand) | Author |
---|---|---|
2023-06-18 | fixed the bugs of node duplications and left-open nodes | JSDurand |
2023-06-02 | Fix a bug of duplication from planting after sploing | JSDurand |
2023-01-28 | a prototype of an item derivation forest | JSDurand |
2023-01-20 | chain: a prototype is added. | JSDurand |
2023-01-11 | Record left-linear expansion and forest format | 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 |