Age | Commit message (Expand) | Author |
---|---|---|
2023-07-21 | Print graphs with edges in order | JSDurand |
2023-07-19 | graph: Add a future plan. | JSDurand |
2023-02-03 | Finally produced the first correct forest | JSDurand |
2023-01-20 | chain: a prototype is added. | JSDurand |
2023-01-13 | forest seems to be completed | 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-11-15 | Initial commit | JSDurand |