Mercurial
Mercurial
>
hg
>
lexing
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-300
-100
-50
-30
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
added technical Overview section, almost done introduction
default
tip
19 months ago, by Chengsong
added example of how inj and lexer works
20 months ago, by Chengsong
more changes to figures & benchmarking
20 months ago, by Chengsong
a bit more intro, incorporating Christian chat messages
20 months ago, by Chengsong
introduction Contribution section update
20 months ago, by Chengsong
more explanation for the name "closed form" and their intuition
20 months ago, by Chengsong
more
20 months ago, by Chengsong
overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
20 months ago, by Chengsong
addresses Gerog "N_r meaning and relation with backtracking?" comment
20 months ago, by Chengsong
Addressed Gerog "can't understand 'erase messes with structure'" comment
20 months ago, by Chengsong
finished 4.3.2 section explaining why lemma 11 is too strong
20 months ago, by Chengsong
Fixed some annotated/unannotated a/r notation inconsistencies.
20 months ago, by Chengsong
reordered sections to make chapter 4 more coherent
20 months ago, by Chengsong
updated 4.2 diagram
20 months ago, by Chengsong
more
20 months ago, by Chengsong
more updates in section 4.2 and incorporating Christian comments
20 months ago, by Chengsong
more
20 months ago, by Chengsong
more
20 months ago, by Chengsong
more
21 months ago, by Chengsong
more
21 months ago, by Chengsong
new amend
21 months ago, by Chengsong
changes from Christian
22 months ago, by Chengsong
intro
22 months ago, 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
more proofreading done, last version before submission
2022-12-30, by Chengsong
until chap 7
2022-12-30, by Chengsong
less
more
|
(0)
-300
-100
-50
-30
tip