lexing: Graph

Mercurial Mercurial > hg > lexing / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | help
less more | (0) -300 -100 -50 -28 tip

added technical Overview section, almost done introduction default tip
23 months ago, by Chengsong
added example of how inj and lexer works
24 months ago, by Chengsong
more changes to figures & benchmarking
2023-07-24, by Chengsong
a bit more intro, incorporating Christian chat messages
2023-07-14, by Chengsong
introduction Contribution section update
2023-07-10, by Chengsong
more explanation for the name "closed form" and their intuition
2023-07-10, by Chengsong
more
2023-07-10, by Chengsong
overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
2023-07-10, by Chengsong
addresses Gerog "N_r meaning and relation with backtracking?" comment
2023-07-10, by Chengsong
Addressed Gerog "can't understand 'erase messes with structure'" comment
2023-07-10, by Chengsong
finished 4.3.2 section explaining why lemma 11 is too strong
2023-07-09, by Chengsong
Fixed some annotated/unannotated a/r notation inconsistencies.
2023-07-09, by Chengsong
reordered sections to make chapter 4 more coherent
2023-07-08, by Chengsong
updated 4.2 diagram
2023-07-08, by Chengsong
more
2023-07-07, by Chengsong
more updates in section 4.2 and incorporating Christian comments
2023-06-29, by Chengsong
more
2023-06-27, by Chengsong
more
2023-06-27, by Chengsong
more
2023-06-21, by Chengsong
more
2023-06-18, by Chengsong
new amend
2023-05-26, by Chengsong
changes from Christian
2023-05-26, by Chengsong
intro
2023-05-26, by Chengsong
added Asperti paper
2023-03-13, by Christian Urban
updated
2023-02-23, by Christian Urban
updated
2023-02-20, by Christian Urban
updated
2023-02-16, by Christian Urban
updated
2023-02-15, by Christian Urban

less more | (0) -300 -100 -50 -28 tip

lexing