Mercurial
Mercurial
>
hg
>
lexing
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-120
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.
finished 4.3.2 section explaining why lemma 11 is too strong
18 months ago, by Chengsong
Fixed some annotated/unannotated a/r notation inconsistencies.
18 months ago, by Chengsong
reordered sections to make chapter 4 more coherent
18 months ago, by Chengsong
updated 4.2 diagram
18 months ago, by Chengsong
more
18 months ago, by Chengsong
more updates in section 4.2 and incorporating Christian comments
18 months ago, by Chengsong
more
18 months ago, by Chengsong
more
18 months ago, by Chengsong
more
19 months ago, by Chengsong
more
19 months ago, by Chengsong
new amend
20 months ago, by Chengsong
changes from Christian
20 months ago, by Chengsong
intro
20 months ago, by Chengsong
added Asperti paper
22 months ago, by Christian Urban
updated
23 months ago, by Christian Urban
updated
23 months ago, by Christian Urban
updated
23 months ago, by Christian Urban
updated
23 months ago, by Christian Urban
more proofreading done, last version before submission
2022-12-30, by Chengsong
until chap 7
2022-12-30, by Chengsong
comments till chap4
2022-12-30, by Chengsong
more
2022-12-24, by Chengsong
chap 1 all incorporated
2022-12-23, by Chengsong
more
2022-12-20, by Chengsong
more
2022-12-18, by Chengsong
more, including link
2022-12-18, by Chengsong
more
2022-12-17, by Chengsong
more
2022-12-08, by Chengsong
with Christian
2022-12-05, by Chengsong
abstract comments incorporated
2022-12-01, by Chengsong
ready to submit~~
2022-11-26, by Chengsong
finished!
2022-11-22, by Chengsong
finished!
2022-11-21, by Chengsong
section reorganising, related work
2022-11-17, by Chengsong
all comments incorporated!!+related work
2022-11-12, by Chengsong
finished injchap2
2022-11-12, by Chengsong
incorporated more comments, bib
2022-11-11, by Chengsong
chap6
2022-11-08, by Chengsong
chap6 almost done
2022-11-07, by Chengsong
chap 5 finished
2022-11-06, by Chengsong
chapter 5 finished!!
2022-11-06, by Chengsong
small polish
2022-10-13, by Christian Urban
updated paper
2022-10-13, by Christian Urban
updated paper for FoSSaCS
2022-10-12, by Christian Urban
reorder
2022-10-12, by Chengsong
chap5
2022-10-12, by Chengsong
chap6
2022-10-11, by Chengsong
more
2022-10-04, by Chengsong
data files
2022-10-03, by Chengsong
chap1 totally done
2022-10-03, by Chengsong
added related work chap
2022-10-01, by Chengsong
chap1 almost done
2022-09-30, by Chengsong
new
2022-09-29, by Chengsong
more
2022-09-28, by Chengsong
more
2022-09-25, by Chengsong
more restructuring chap1
2022-09-24, by Chengsong
chap1
2022-09-23, by Chengsong
more
2022-09-22, by Chengsong
chap4 comments done
2022-09-12, by Chengsong
updated paper
2022-09-10, by Christian Urban
simplified the n-times case in decode_aux
2022-09-10, by Christian Urban
more bsimpidem
2022-09-06, by Chengsong
more chap 56
2022-09-03, by Chengsong
more
2022-09-02, by Chengsong
more
2022-09-02, by Chengsong
more chap5
2022-09-02, by Chengsong
more
2022-09-02, by Chengsong
more polishing integrated comments chap2
2022-09-01, by Chengsong
more chap5 and chap6 bsimp_idem
2022-08-31, by Chengsong
chap4 finished
2022-08-31, by Chengsong
data
2022-08-30, by Chengsong
bsimp idempotency
2022-08-29, by Chengsong
more chap4
2022-08-29, by Chengsong
chap4 more
2022-08-27, by Chengsong
chap4 nub
2022-08-23, by Chengsong
chap4
2022-08-23, by Chengsong
chap3 done
2022-08-22, by Chengsong
chap3 almost done
2022-08-20, by Chengsong
halfway chap3
2022-08-17, by Chengsong
more chap3
2022-08-17, by Chengsong
updated paper and literature
2022-08-15, by Christian Urban
thesis chap2
2022-08-14, by Chengsong
thesis chap5
2022-08-12, by Chengsong
more
2022-08-02, by Chengsong
merge chritian changes
2022-07-21, by Chengsong
chapter2 finished polishing
2022-07-21, by Chengsong
removed junk in BlexerSimp
2022-07-17, by Christian Urban
added paper about counting automata
2022-07-17, by Christian Urban
added paper
2022-07-17, by Christian Urban
updated paper and corresponding theories
2022-07-17, by Christian Urban
more chapter2 modifications
2022-07-16, by Chengsong
more updaates
2022-07-14, by Chengsong
got Christian changes
2022-07-13, by Chengsong
removed files that changed their names
2022-07-13, by Chengsong
more
2022-07-13, by Chengsong
updated paper and theories to include n-times
2022-07-09, by Christian Urban
more
2022-07-05, by Chengsong
more done
2022-07-04, by Chengsong
more data
2022-07-04, by Chengsong
data
2022-07-04, by Chengsong
haha
2022-07-04, by Chengsong
more changes
2022-07-01, by Chengsong
hello
2022-06-29, by Chengsong
more
2022-06-28, by Chengsong
more
2022-06-26, by Chengsong
more changes
2022-06-24, by Chengsong
start of day
2022-06-24, by Chengsong
modified some proofs of s~>*
2022-06-23, by Chengsong
more deletion of bsimp related
2022-06-23, by Chengsong
bsimp def removed
2022-06-23, by Chengsong
before removing distinctWith
2022-06-23, by Chengsong
before alternating rewriting relation
2022-06-23, by Chengsong
beforeBig changes
2022-06-23, by Chengsong
more changes to blexersimp.thy
2022-06-23, by Chengsong
hello
2022-06-23, by Chengsong
thesis_thys
2022-06-23, by Chengsong
chapter3 finished
2022-06-14, by Chengsong
some comments implemented
2022-06-12, by Chengsong
more data
2022-06-09, by Chengsong
more
2022-06-09, by Chengsong
less
more
|
(0)
-120
tip