2022-11-17 Chengsong section reorganising, related work
2022-11-12 Chengsong all comments incorporated!!+related work
2022-11-12 Chengsong finished injchap2
2022-11-11 Chengsong incorporated more comments, bib
2022-11-08 Chengsong chap6
2022-11-07 Chengsong chap6 almost done
2022-11-06 Chengsong chap 5 finished
2022-11-06 Chengsong chapter 5 finished!!
2022-10-13 Christian Urban small polish
2022-10-12 Christian Urban updated paper
2022-10-12 Christian Urban updated paper for FoSSaCS
2022-10-12 Chengsong reorder
2022-10-12 Chengsong chap5
2022-10-11 Chengsong chap6
2022-10-03 Chengsong more
2022-10-03 Chengsong data files
2022-10-03 Chengsong chap1 totally done
2022-10-01 Chengsong added related work chap
2022-09-30 Chengsong chap1 almost done
2022-09-29 Chengsong new
2022-09-28 Chengsong more
2022-09-25 Chengsong more
2022-09-23 Chengsong more restructuring chap1
2022-09-22 Chengsong chap1
2022-09-21 Chengsong more
2022-09-12 Chengsong chap4 comments done
2022-09-10 Christian Urban updated paper
2022-09-10 Christian Urban simplified the n-times case in decode_aux
2022-09-05 Chengsong more bsimpidem
2022-09-02 Chengsong more chap 56
2022-09-02 Chengsong more
2022-09-02 Chengsong more
2022-09-02 Chengsong more chap5
2022-09-01 Chengsong more
2022-09-01 Chengsong more polishing integrated comments chap2
2022-08-31 Chengsong more chap5 and chap6 bsimp_idem
2022-08-31 Chengsong chap4 finished
2022-08-30 Chengsong data
2022-08-29 Chengsong bsimp idempotency
2022-08-29 Chengsong more chap4
2022-08-26 Chengsong chap4 more
2022-08-23 Chengsong chap4 nub
2022-08-23 Chengsong chap4
2022-08-22 Chengsong chap3 done
2022-08-20 Chengsong chap3 almost done
2022-08-17 Chengsong halfway chap3
2022-08-17 Chengsong more chap3
2022-08-15 Christian Urban updated paper and literature
2022-08-14 Chengsong thesis chap2
2022-08-11 Chengsong thesis chap5
2022-08-02 Chengsong more
2022-07-21 Chengsong merge chritian changes
2022-07-21 Chengsong chapter2 finished polishing
2022-07-17 Christian Urban removed junk in BlexerSimp
2022-07-17 Christian Urban added paper about counting automata
2022-07-17 Christian Urban added paper
2022-07-17 Christian Urban updated paper and corresponding theories
2022-07-16 Chengsong more chapter2 modifications
2022-07-14 Chengsong more updaates
2022-07-13 Chengsong got Christian changes
(0) -300 -100 -60 tip