20 months ago Chengsong more
21 months ago Chengsong new amend
21 months ago Chengsong changes from Christian
21 months ago Chengsong intro
24 months ago Christian Urban added Asperti paper
2023-02-23 Christian Urban updated
2023-02-20 Christian Urban updated
2023-02-16 Christian Urban updated
2023-02-15 Christian Urban updated
2022-12-30 Chengsong more proofreading done, last version before submission
2022-12-30 Chengsong until chap 7
2022-12-30 Chengsong comments till chap4
2022-12-24 Chengsong more
2022-12-23 Chengsong chap 1 all incorporated
2022-12-20 Chengsong more
2022-12-18 Chengsong more
2022-12-18 Chengsong more, including link
2022-12-17 Chengsong more
2022-12-08 Chengsong more
2022-12-05 Chengsong with Christian
2022-12-01 Chengsong abstract comments incorporated
2022-11-26 Chengsong ready to submit~~
2022-11-22 Chengsong finished!
2022-11-21 Chengsong finished!
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
2022-07-13 Chengsong removed files that changed their names
2022-07-13 Chengsong more
2022-07-09 Christian Urban updated paper and theories to include n-times
2022-07-04 Chengsong more
2022-07-04 Chengsong more done
2022-07-04 Chengsong more data
2022-07-04 Chengsong data
2022-07-04 Chengsong haha
2022-07-01 Chengsong more changes
2022-06-29 Chengsong hello
2022-06-28 Chengsong more
2022-06-26 Chengsong more
2022-06-24 Chengsong more changes
2022-06-24 Chengsong start of day
2022-06-23 Chengsong modified some proofs of s~>*
2022-06-23 Chengsong more deletion of bsimp related
2022-06-23 Chengsong bsimp def removed
2022-06-23 Chengsong before removing distinctWith
2022-06-23 Chengsong before alternating rewriting relation
2022-06-23 Chengsong beforeBig changes
2022-06-23 Chengsong more changes to blexersimp.thy
2022-06-23 Chengsong hello
2022-06-23 Chengsong thesis_thys
2022-06-14 Chengsong chapter3 finished
2022-06-12 Chengsong some comments implemented
2022-06-09 Chengsong more data
2022-06-09 Chengsong more
2022-06-09 Chengsong intro and chap2
(0) -112 tip