20 months ago Chengsong intro
22 months ago Christian Urban added Asperti paper
23 months ago Christian Urban updated
23 months ago Christian Urban updated
23 months ago Christian Urban updated
23 months ago 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
(0) -300 -100 -60 tip