https://cflmark.nms.kcl.ac.uk/hg/lexing/ en-us lexing Changelog lexing Changelog [default] added technical Overview section, almost done introduction https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/3831621d7b14 https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/3831621d7b14 changeset 3831621d7b14 branch default bookmark tag tip user Chengsong description added technical Overview section, almost done introduction files ChengsongTanPhdThesis/Chapters/Bitcoded1.tex
ChengsongTanPhdThesis/Chapters/Finite.tex
ChengsongTanPhdThesis/Chapters/Inj.tex
ChengsongTanPhdThesis/Chapters/Introduction.tex
ChengsongTanPhdThesis/Chapters/Overview.tex
ChengsongTanPhdThesis/Chapters/RelatedWork.tex
ChengsongTanPhdThesis/example.bib
ChengsongTanPhdThesis/main.tex
RegexExplosionPlot/injToSimp.sc
]]> Chengsong Wed, 23 Aug 2023 03:02:31 +0100 added example of how inj and lexer works https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/660cf698eb26 https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/660cf698eb26 changeset 660cf698eb26 branch bookmark tag user Chengsong description added example of how inj and lexer works files ChengsongTanPhdThesis/Chapters/Bitcoded1.tex
ChengsongTanPhdThesis/Chapters/Inj.tex
RegexExplosionPlot/injToSimp.sc
]]> Chengsong Tue, 25 Jul 2023 17:28:29 +0100 more changes to figures & benchmarking https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/6da4516ea87d https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/6da4516ea87d changeset 6da4516ea87d branch bookmark tag user Chengsong description more changes to figures & benchmarking files ChengsongTanPhdThesis/Chapters/Future.tex
ChengsongTanPhdThesis/Chapters/Inj.tex
ChengsongTanPhdThesis/Chapters/Introduction.tex
RegexExplosionPlot/evilForBsimp.sc
RegexExplosionPlot/injToSimp.sc
]]> Chengsong Mon, 24 Jul 2023 11:09:48 +0100 a bit more intro, incorporating Christian chat messages https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/3bedbdce3a3b https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/3bedbdce3a3b changeset 3bedbdce3a3b branch bookmark tag user Chengsong description a bit more intro, incorporating Christian chat messages files ChengsongTanPhdThesis/Chapters/Introduction.tex
]]> Chengsong Fri, 14 Jul 2023 00:32:41 +0100 introduction Contribution section update https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/ba44144875b1 https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/ba44144875b1 changeset ba44144875b1 branch bookmark tag user Chengsong description introduction Contribution section update files ChengsongTanPhdThesis/Chapters/Introduction.tex
ChengsongTanPhdThesis/example.bib
ChengsongTanPhdThesis/main.tex
]]> Chengsong Mon, 10 Jul 2023 19:29:22 +0100 more explanation for the name "closed form" and their intuition https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/0d1e68268d0f https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/0d1e68268d0f changeset 0d1e68268d0f branch bookmark tag user Chengsong description more explanation for the name "closed form" and their intuition files ChengsongTanPhdThesis/Chapters/Finite.tex
]]> Chengsong Mon, 10 Jul 2023 14:32:48 +0100 more https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/fa7552396c71 https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/fa7552396c71 changeset fa7552396c71 branch bookmark tag user Chengsong description more files ChengsongTanPhdThesis/Chapters/Finite.tex
]]> Chengsong Mon, 10 Jul 2023 01:53:32 +0100 overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms" https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/71502e4d8691 https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/71502e4d8691 changeset 71502e4d8691 branch bookmark tag user Chengsong description overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms" files ChengsongTanPhdThesis/Chapters/Finite.tex
]]> Chengsong Mon, 10 Jul 2023 01:51:46 +0100 addresses Gerog "N_r meaning and relation with backtracking?" comment https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/eddc4eaba7c4 https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/eddc4eaba7c4 changeset eddc4eaba7c4 branch bookmark tag user Chengsong description addresses Gerog "N_r meaning and relation with backtracking?" comment files ChengsongTanPhdThesis/Chapters/Finite.tex
]]> Chengsong Mon, 10 Jul 2023 01:33:45 +0100 Addressed Gerog "can't understand 'erase messes with structure'" comment https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/2e05f04ed6b3 https://cflmark.nms.kcl.ac.uk/hg/lexing/rev/2e05f04ed6b3 changeset 2e05f04ed6b3 branch bookmark tag user Chengsong description Addressed Gerog "can't understand 'erase messes with structure'" comment files ChengsongTanPhdThesis/Chapters/Bitcoded2.tex
ChengsongTanPhdThesis/Chapters/Finite.tex
]]> Chengsong Mon, 10 Jul 2023 00:44:45 +0100