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
|