Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-12-14 | License added | Jed Barber | |
2020-12-13 | Bugfixes, esp Delete_Unreachable | Jed Barber | |
2020-12-12 | Duplicate subgroup bug fixed, finally | Jed Barber | |
2020-12-05 | Moved Finished_Tokens and related types to Tokens package | Jed Barber | |
2020-12-04 | Tidying up some comments | Jed Barber | |
2020-12-03 | Revised how root nodes are handled in parse graphs | Jed Barber | |
2020-11-14 | Changed No_Loops_Introduced to Loops_Introduced | Jed Barber | |
2020-11-14 | Removed label cutoff from Parse_Graph debug strings | Jed Barber | |
2020-11-13 | Refactored Tokens, Errors, Traits | Jed Barber | |
2020-11-12 | Parse_Graph debug strings fixed | Jed Barber | |
2020-11-12 | Outline of tests for Parse_Graphs | Jed Barber | |
2020-11-12 | Isomorphism functions complete | Jed Barber | |
2020-11-07 | Parse_Graphs complete aside from isomorphism and testing | Jed Barber | |
2020-05-23 | Added Is_Ambiguous function to Parse_Graphs | Jed Barber | |
2020-05-22 | Apparently I lied, also old Graphs package removed | Jed Barber | |
2020-05-22 | Parse_Graphs complete but untested | Jed Barber | |