| 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
|
| 2022-07-13 |
Chengsong |
more
|
changeset |
files
|
| 2022-07-09 |
Christian Urban |
updated paper and theories to include n-times
|
changeset |
files
|
| 2022-07-04 |
Chengsong |
more
|
changeset |
files
|
| 2022-07-04 |
Chengsong |
more done
|
changeset |
files
|
| 2022-07-04 |
Chengsong |
more data
|
changeset |
files
|
| 2022-07-04 |
Chengsong |
data
|
changeset |
files
|
| 2022-07-04 |
Chengsong |
haha
|
changeset |
files
|
| 2022-07-01 |
Chengsong |
more changes
|
changeset |
files
|
| 2022-06-29 |
Chengsong |
hello
|
changeset |
files
|
| 2022-06-28 |
Chengsong |
more
|
changeset |
files
|
| 2022-06-26 |
Chengsong |
more
|
changeset |
files
|
| 2022-06-24 |
Chengsong |
more changes
|
changeset |
files
|
| 2022-06-24 |
Chengsong |
start of day
|
changeset |
files
|
| 2022-06-23 |
Chengsong |
modified some proofs of s~>*
|
changeset |
files
|
| 2022-06-23 |
Chengsong |
more deletion of bsimp related
|
changeset |
files
|
| 2022-06-23 |
Chengsong |
bsimp def removed
|
changeset |
files
|
| 2022-06-23 |
Chengsong |
before removing distinctWith
|
changeset |
files
|
| 2022-06-23 |
Chengsong |
before alternating rewriting relation
|
changeset |
files
|
| 2022-06-23 |
Chengsong |
beforeBig changes
|
changeset |
files
|
| 2022-06-23 |
Chengsong |
more changes to blexersimp.thy
|
changeset |
files
|
| 2022-06-23 |
Chengsong |
hello
|
changeset |
files
|
| 2022-06-23 |
Chengsong |
thesis_thys
|
changeset |
files
|
| 2022-06-14 |
Chengsong |
chapter3 finished
|
changeset |
files
|
| 2022-06-12 |
Chengsong |
some comments implemented
|
changeset |
files
|
| 2022-06-09 |
Chengsong |
more data
|
changeset |
files
|
| 2022-06-09 |
Chengsong |
more
|
changeset |
files
|
| 2022-06-09 |
Chengsong |
intro and chap2
|
changeset |
files
|
| 2022-06-06 |
Chengsong |
more
|
changeset |
files
|
| 2022-06-06 |
Chengsong |
comments addressed all
|
changeset |
files
|
| 2022-06-06 |
Chengsong |
fixed plotting error 6.1
|
changeset |
files
|
| 2022-06-06 |
Chengsong |
more
|
changeset |
files
|
| 2022-06-06 |
Chengsong |
more
|
changeset |
files
|
| 2022-06-03 |
Chengsong |
restructured
|
changeset |
files
|
| 2022-05-31 |
Chengsong |
more
|
changeset |
files
|
| 2022-05-30 |
Chengsong |
all comments addressed
|
changeset |
files
|
| 2022-05-30 |
Chengsong |
more
|
changeset |
files
|
| 2022-05-30 |
Chengsong |
revised according to comments
|
changeset |
files
|
| 2022-05-28 |
Chengsong |
all chapters put in
|
changeset |
files
|
| 2022-05-28 |
Chengsong |
updated
|
changeset |
files
|
| 2022-05-28 |
Christian Urban |
fixed latex problems
|
changeset |
files
|
| 2022-05-27 |
Chengsong |
more data
|
changeset |
files
|
| 2022-05-27 |
Chengsong |
all the data
|
changeset |
files
|
| 2022-05-27 |
Chengsong |
datas
|
changeset |
files
|
| 2022-05-27 |
Chengsong |
data
|
changeset |
files
|
| 2022-05-27 |
Chengsong |
apters
|
changeset |
files
|
| 2022-05-27 |
Chengsong |
more
|
changeset |
files
|
| 2022-05-26 |
Chengsong |
more to thesis
|
changeset |
files
|
| 2022-05-20 |
Chengsong |
for plotting
|
changeset |
files
|
| 2022-05-20 |
Chengsong |
blexer2: modified for plotting
|
changeset |
files
|
| 2022-05-17 |
Chengsong |
a bit
|
changeset |
files
|
| 2022-05-16 |
Chengsong |
chapter2
|
changeset |
files
|
| 2022-05-09 |
Chengsong |
more isarfy
|
changeset |
files
|
| 2022-05-09 |
Chengsong |
rewrite rules modified slightly
|
changeset |
files
|
| 2022-05-09 |
Chengsong |
isarfied
|
changeset |
files
|
| 2022-05-08 |
Christian Urban |
updated
|
changeset |
files
|
| 2022-05-08 |
Christian Urban |
updated bder ASEQs case
|
changeset |
files
|
| 2022-05-08 |
Chengsong |
blexer2
|
changeset |
files
|
| 2022-05-08 |
Chengsong |
thesis section2.2
|
changeset |
files
|
| 2022-05-08 |
Chengsong |
thesis chapter 2 section 2.4 2.5
|
changeset |
files
|
| 2022-05-07 |
Chengsong |
thesis chapter2 section 2.4
|
changeset |
files
|
| 2022-05-08 |
Christian Urban |
added ASEQs version of Blexer
|
changeset |
files
|
| 2022-05-06 |
Chengsong |
new writing
|
changeset |
files
|
| 2022-05-03 |
Christian Urban |
fixed a small typo in the Papaer.thy
|
changeset |
files
|
| 2022-05-01 |
Chengsong |
hahah
|
changeset |
files
|
| 2022-05-01 |
Chengsong |
sad
|
changeset |
files
|
| 2022-05-01 |
Christian Urban |
updated the paper
|
changeset |
files
|
| 2022-05-01 |
Christian Urban |
fixed tiny typo in the paper
|
changeset |
files
|
| 2022-04-29 |
Christian Urban |
cleaned up
|
changeset |
files
|
| 2022-04-29 |
Christian Urban |
updated to include the paper
|
changeset |
files
|
| 2022-04-28 |
Christian Urban |
a fresh directory with cleaned up code
|
changeset |
files
|
| 2022-04-25 |
Chengsong |
blexer2
|
changeset |
files
|
| 2022-04-21 |
Chengsong |
done
|
changeset |
files
|
| 2022-04-19 |
Chengsong |
problem with erase
|
changeset |
files
|
| 2022-04-16 |
Chengsong |
all done!!!!
|
changeset |
files
|
| 2022-04-15 |
Chengsong |
almost there
|
changeset |
files
|
| 2022-04-15 |
Chengsong |
1sorry left
|
changeset |
files
|
| 2022-04-13 |
Chengsong |
more sorrys fileld
|
changeset |
files
|
| 2022-04-13 |
Chengsong |
again starClosedForms
|
changeset |
files
|
| 2022-04-13 |
Chengsong |
starclosed
|
changeset |
files
|
| 2022-04-12 |
Chengsong |
central lemma for seqclosedforms
|
changeset |
files
|
| 2022-04-09 |
Chengsong |
changeto sflat def
|
changeset |
files
|
| 2022-04-09 |
Chengsong |
some
|
changeset |
files
|
| 2022-04-08 |
Chengsong |
closedformseq
|
changeset |
files
|
| 2022-04-07 |
Chengsong |
christian's
|
changeset |
files
|
| 2022-04-07 |
Chengsong |
a few more
|
changeset |
files
|
| 2022-04-04 |
Chengsong |
hello
|
changeset |
files
|
| 2022-04-03 |
Chengsong |
fun
|
changeset |
files
|
| 2022-04-01 |
Chengsong |
out
|
changeset |
files
|
| 2022-04-01 |
Chengsong |
hello
|
changeset |
files
|
| 2022-03-30 |
Chengsong |
identities
|
changeset |
files
|
| 2022-03-30 |
Christian Urban |
made paper changes after ITP comments
|
changeset |
files
|
| 2022-03-29 |
Chengsong |
recent
|
changeset |
files
|
| 2022-03-28 |
Chengsong |
hi
|
changeset |
files
|
| 2022-03-27 |
Chengsong |
thesis
|
changeset |
files
|
| 2022-03-26 |
Chengsong |
nowworks?
|
changeset |
files
|
| 2022-03-26 |
Chengsong |
all electron pics removed
|
changeset |
files
|
| 2022-03-25 |
Chengsong |
all texrelated
|
changeset |
files
|
| 2022-03-24 |
Chengsong |
forget
|
changeset |
files
|
| 2022-03-24 |
Chengsong |
forget
|
changeset |
files
|
| 2022-03-24 |
Chengsong |
ha
|
changeset |
files
|
| 2022-03-23 |
Christian Urban |
updated
|
changeset |
files
|
| 2022-03-23 |
Christian Urban |
updated
|
changeset |
files
|
| 2022-03-22 |
Christian Urban |
updated
|
changeset |
files
|
| 2022-03-22 |
Christian Urban |
updated paper
|
changeset |
files
|
| 2022-03-22 |
Christian Urban |
updated paper
|
changeset |
files
|
| 2022-03-22 |
Christian Urban |
updated
|
changeset |
files
|
| 2022-03-21 |
Christian Urban |
updated paper
|
changeset |
files
|
| 2022-03-20 |
Chengsong |
head
|
changeset |
files
|
| 2022-03-20 |
Chengsong |
realPhdThesis
|
changeset |
files
|
| 2022-03-19 |
Christian Urban |
merged
|
changeset |
files
|
| 2022-03-19 |
Christian Urban |
isar proofs
|
changeset |
files
|
| 2022-03-19 |
Chengsong |
all
|
changeset |
files
|
| 2022-03-19 |
Christian Urban |
isarfied one proof
|
changeset |
files
|
| 2022-03-15 |
Chengsong |
finiteness
|
changeset |
files
|
| 2022-03-12 |
Chengsong |
haha
|
changeset |
files
|
| 2022-03-12 |
Chengsong |
more
|
changeset |
files
|
| 2022-03-11 |
Chengsong |
hi
|
changeset |
files
|
| 2022-03-11 |
Chengsong |
closedformbounds
|
changeset |
files
|
| 2022-03-10 |
Chengsong |
before repair
|
changeset |
files
|
| 2022-03-10 |
Chengsong |
closedforms
|
changeset |
files
|
| 2022-03-09 |
Chengsong |
restructured sizebound proof
|
changeset |
files
|
| 2022-03-08 |
Chengsong |
writeupforclosedforms
|
changeset |
files
|
| 2022-03-07 |
Chengsong |
some changes
|
changeset |
files
|
| 2022-03-05 |
Chengsong |
6ct
|
changeset |
files
|
| 2022-03-02 |
Chengsong |
bonestruct
|
changeset |
files
|
| 2022-03-02 |
Chengsong |
merged
|
changeset |
files
|
| 2022-03-02 |
Chengsong |
templateforPhd
|
changeset |
files
|
| 2022-03-02 |
Christian Urban |
merged (possibly destroyed things?)
|
changeset |
files
|
| 2022-03-02 |
Christian Urban |
updated
|
changeset |
files
|
| 2022-03-01 |
Chengsong |
hi
|
changeset |
files
|