20 months ago |
Chengsong |
addresses Gerog "N_r meaning and relation with backtracking?" comment
|
changeset |
files
|
20 months ago |
Chengsong |
Addressed Gerog "can't understand 'erase messes with structure'" comment
|
changeset |
files
|
20 months ago |
Chengsong |
finished 4.3.2 section explaining why lemma 11 is too strong
|
changeset |
files
|
20 months ago |
Chengsong |
Fixed some annotated/unannotated a/r notation inconsistencies.
|
changeset |
files
|
20 months ago |
Chengsong |
reordered sections to make chapter 4 more coherent
|
changeset |
files
|
20 months ago |
Chengsong |
updated 4.2 diagram
|
changeset |
files
|
20 months ago |
Chengsong |
more
|
changeset |
files
|
20 months ago |
Chengsong |
more updates in section 4.2 and incorporating Christian comments
|
changeset |
files
|
20 months ago |
Chengsong |
more
|
changeset |
files
|
20 months ago |
Chengsong |
more
|
changeset |
files
|
20 months ago |
Chengsong |
more
|
changeset |
files
|
20 months ago |
Chengsong |
more
|
changeset |
files
|
21 months ago |
Chengsong |
new amend
|
changeset |
files
|
21 months ago |
Chengsong |
changes from Christian
|
changeset |
files
|
21 months ago |
Chengsong |
intro
|
changeset |
files
|
24 months ago |
Christian Urban |
added Asperti paper
|
changeset |
files
|
2023-02-23 |
Christian Urban |
updated
|
changeset |
files
|
2023-02-20 |
Christian Urban |
updated
|
changeset |
files
|
2023-02-16 |
Christian Urban |
updated
|
changeset |
files
|
2023-02-15 |
Christian Urban |
updated
|
changeset |
files
|
2022-12-30 |
Chengsong |
more proofreading done, last version before submission
|
changeset |
files
|
2022-12-30 |
Chengsong |
until chap 7
|
changeset |
files
|
2022-12-30 |
Chengsong |
comments till chap4
|
changeset |
files
|
2022-12-24 |
Chengsong |
more
|
changeset |
files
|
2022-12-23 |
Chengsong |
chap 1 all incorporated
|
changeset |
files
|
2022-12-20 |
Chengsong |
more
|
changeset |
files
|
2022-12-18 |
Chengsong |
more
|
changeset |
files
|
2022-12-18 |
Chengsong |
more, including link
|
changeset |
files
|
2022-12-17 |
Chengsong |
more
|
changeset |
files
|
2022-12-08 |
Chengsong |
more
|
changeset |
files
|
2022-12-05 |
Chengsong |
with Christian
|
changeset |
files
|
2022-12-01 |
Chengsong |
abstract comments incorporated
|
changeset |
files
|
2022-11-26 |
Chengsong |
ready to submit~~
|
changeset |
files
|
2022-11-22 |
Chengsong |
finished!
|
changeset |
files
|
2022-11-21 |
Chengsong |
finished!
|
changeset |
files
|
2022-11-17 |
Chengsong |
section reorganising, related work
|
changeset |
files
|
2022-11-12 |
Chengsong |
all comments incorporated!!+related work
|
changeset |
files
|
2022-11-12 |
Chengsong |
finished injchap2
|
changeset |
files
|
2022-11-11 |
Chengsong |
incorporated more comments, bib
|
changeset |
files
|
2022-11-08 |
Chengsong |
chap6
|
changeset |
files
|
2022-11-07 |
Chengsong |
chap6 almost done
|
changeset |
files
|
2022-11-06 |
Chengsong |
chap 5 finished
|
changeset |
files
|
2022-11-06 |
Chengsong |
chapter 5 finished!!
|
changeset |
files
|
2022-10-13 |
Christian Urban |
small polish
|
changeset |
files
|
2022-10-12 |
Christian Urban |
updated paper
|
changeset |
files
|
2022-10-12 |
Christian Urban |
updated paper for FoSSaCS
|
changeset |
files
|
2022-10-12 |
Chengsong |
reorder
|
changeset |
files
|
2022-10-12 |
Chengsong |
chap5
|
changeset |
files
|
2022-10-11 |
Chengsong |
chap6
|
changeset |
files
|
2022-10-03 |
Chengsong |
more
|
changeset |
files
|
2022-10-03 |
Chengsong |
data files
|
changeset |
files
|
2022-10-03 |
Chengsong |
chap1 totally done
|
changeset |
files
|
2022-10-01 |
Chengsong |
added related work chap
|
changeset |
files
|
2022-09-30 |
Chengsong |
chap1 almost done
|
changeset |
files
|
2022-09-29 |
Chengsong |
new
|
changeset |
files
|
2022-09-28 |
Chengsong |
more
|
changeset |
files
|
2022-09-25 |
Chengsong |
more
|
changeset |
files
|
2022-09-23 |
Chengsong |
more restructuring chap1
|
changeset |
files
|
2022-09-22 |
Chengsong |
chap1
|
changeset |
files
|
2022-09-21 |
Chengsong |
more
|
changeset |
files
|
2022-09-12 |
Chengsong |
chap4 comments done
|
changeset |
files
|
2022-09-10 |
Christian Urban |
updated paper
|
changeset |
files
|
2022-09-10 |
Christian Urban |
simplified the n-times case in decode_aux
|
changeset |
files
|
2022-09-05 |
Chengsong |
more bsimpidem
|
changeset |
files
|
2022-09-02 |
Chengsong |
more chap 56
|
changeset |
files
|
2022-09-02 |
Chengsong |
more
|
changeset |
files
|
2022-09-02 |
Chengsong |
more
|
changeset |
files
|
2022-09-02 |
Chengsong |
more chap5
|
changeset |
files
|
2022-09-01 |
Chengsong |
more
|
changeset |
files
|
2022-09-01 |
Chengsong |
more polishing integrated comments chap2
|
changeset |
files
|
2022-08-31 |
Chengsong |
more chap5 and chap6 bsimp_idem
|
changeset |
files
|
2022-08-31 |
Chengsong |
chap4 finished
|
changeset |
files
|
2022-08-30 |
Chengsong |
data
|
changeset |
files
|
2022-08-29 |
Chengsong |
bsimp idempotency
|
changeset |
files
|
2022-08-29 |
Chengsong |
more chap4
|
changeset |
files
|
2022-08-26 |
Chengsong |
chap4 more
|
changeset |
files
|
2022-08-23 |
Chengsong |
chap4 nub
|
changeset |
files
|
2022-08-23 |
Chengsong |
chap4
|
changeset |
files
|
2022-08-22 |
Chengsong |
chap3 done
|
changeset |
files
|
2022-08-20 |
Chengsong |
chap3 almost done
|
changeset |
files
|
2022-08-17 |
Chengsong |
halfway chap3
|
changeset |
files
|
2022-08-17 |
Chengsong |
more chap3
|
changeset |
files
|
2022-08-15 |
Christian Urban |
updated paper and literature
|
changeset |
files
|
2022-08-14 |
Chengsong |
thesis chap2
|
changeset |
files
|
2022-08-11 |
Chengsong |
thesis chap5
|
changeset |
files
|
2022-08-02 |
Chengsong |
more
|
changeset |
files
|
2022-07-21 |
Chengsong |
merge chritian changes
|
changeset |
files
|
2022-07-21 |
Chengsong |
chapter2 finished polishing
|
changeset |
files
|
2022-07-17 |
Christian Urban |
removed junk in BlexerSimp
|
changeset |
files
|
2022-07-17 |
Christian Urban |
added paper about counting automata
|
changeset |
files
|
2022-07-17 |
Christian Urban |
added paper
|
changeset |
files
|
2022-07-17 |
Christian Urban |
updated paper and corresponding theories
|
changeset |
files
|
2022-07-16 |
Chengsong |
more chapter2 modifications
|
changeset |
files
|
2022-07-14 |
Chengsong |
more updaates
|
changeset |
files
|
2022-07-13 |
Chengsong |
got Christian changes
|
changeset |
files
|
2022-07-13 |
Chengsong |
removed files that changed their names
|
changeset |
files
|