Mercurial
Mercurial
>
hg
>
cst_tests
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
clean
default
tip
2020-05-27, by Chengsong
currnet code
2020-05-07, by Chengsong
before changes to bsimp2
2020-04-16, by Chengsong
vunsimp
2020-04-10, by Chengsong
nteresting
2020-03-04, by Chengsong
daily little report
2020-03-04, by Chengsong
changes
2020-03-04, by Chengsong
more changes
2020-03-03, by Chengsong
i
2020-03-03, by Chengsong
filled ders2
2020-03-02, by Chengsong
ders2
2020-03-02, by Chengsong
contains section finished
2020-03-02, by Chengsong
failsafe
2020-03-01, by Chengsong
contains
2020-02-28, by Chengsong
version without tree
2020-02-24, by Chengsong
version with tree
2020-02-24, by Chengsong
flow
2020-02-21, by Chengsong
v
2020-02-18, by Chengsong
geiwuhanshizhangnuannuanxing
2020-02-16, by Chengsong
backup
2020-02-16, by Chengsong
changes
2020-02-08, by Chengsong
i
2020-02-08, by Chengsong
madly
2020-02-08, by Chengsong
structuring text
2020-02-08, by Chengsong
test
2020-02-08, by Chengsong
forfear
2020-02-08, by Chengsong
added a bit?
2020-02-08, by Chengsong
afte
2020-02-06, by Chengsong
in case
2020-02-05, by Chengsong
version
2020-02-05, by Chengsong
safe
2020-02-05, by Chengsong
for fear
2020-02-05, by Chengsong
for fear
2020-02-05, by Chengsong
lualatex is probably the culprit
2020-02-05, by Chengsong
just incase
2020-02-05, by Chengsong
just incase
2020-02-05, by Chengsong
for secu
2020-02-05, by Chengsong
avoid work loss
2020-02-05, by Chengsong
test for talisker address change
2020-01-24, by Chengsong
added section
2020-01-24, by Chengsong
refined section a bit
2020-01-23, by Chengsong
f
2020-01-22, by Chengsong
format
2020-01-20, by Chengsong
updated
2020-01-17, by Christian Urban
changes
2020-01-16, by Chengsong
added my comments
2020-01-15, by Christian Urban
updated
2020-01-13, by Christian Urban
merged christian changes
2020-01-13, by Chengsong
hg
2020-01-12, by Chengsong
h
2020-01-11, by Chengsong
b
2020-01-11, by Chengsong
copied christian changes
2020-01-10, by Chengsong
remain only tex
2020-01-10, by Chengsong
forget
2020-01-10, by Chengsong
delete
2020-01-10, by Chengsong
removed sth
2020-01-10, by Chengsong
updte1
2020-01-10, by Chengsong
add
2020-01-09, by Chengsong
h
2020-01-09, by Chengsong
ders2
2019-11-27, by Chengsong
got it
2019-11-11, by Chengsong
deleted .DS_Store
2019-08-22, by Christian Urban
counterexample
2019-08-22, by Chengsong
label fix
2019-08-18, by Chengsong
changes to report
2019-08-18, by Chengsong
final changes
2019-07-25, by Chengsong
in case no wifi
2019-07-25, by Chengsong
proof-read
2019-07-25, by Christian Urban
updated
2019-07-24, by Christian Urban
addressed comments, did improvements from page 14 and on
2019-07-24, by Chengsong
updated and added comments
2019-07-23, by Christian Urban
addressed all comments.
2019-07-23, by Chengsong
works on the part that christian did not read
2019-07-22, by Chengsong
proof of big lemma
2019-07-22, by Chengsong
proof-read
2019-07-18, by Christian Urban
merged
2019-07-16, by Chengsong
added the cloudfare eg.
2019-07-16, by Chengsong
just a merge - no changes
2019-07-15, by Christian Urban
proof details
2019-07-13, by Chengsong
interesting?
2019-07-10, by Chengsong
new changes?
2019-07-08, by Chengsong
more proofreading
2019-07-08, by Christian Urban
tiny
2019-07-07, by Chengsong
more upd
2019-07-07, by Chengsong
anotehr update
2019-07-07, by Chengsong
good to proofread
2019-07-07, by Chengsong
moew changes
2019-07-07, by Chengsong
some changes
2019-07-07, by Chengsong
more proof-reading
2019-07-06, by Christian Urban
spellcheck
2019-07-06, by Christian Urban
hi finished
2019-07-06, by Chengsong
sorry not all done, need a few more mins for last few changes
2019-07-06, by Chengsong
changes1
2019-07-06, by Chengsong
proofread
2019-07-05, by Christian Urban
h
2019-07-05, by Chengsong
comprehension
2019-07-05, by Chengsong
some minor changes
2019-07-05, by Chengsong
minor changes
2019-07-05, by Chengsong
readable version
2019-07-05, by Chengsong
just in case of some accidents from erasing my work
2019-07-05, by Chengsong
added mkeps and pder, still have not proof read it
2019-07-04, by Chengsong
now will compile
2019-07-04, by Chengsong
still wont comiple hhh
2019-07-04, by Chengsong
still will not compile
2019-07-04, by Chengsong
will not compile, just text
2019-07-04, by Chengsong
proofread
2019-07-04, by Christian Urban
spell check
2019-07-04, by Christian Urban
another changes. have written more. but havent typed them. tomorrow will continue.
2019-07-03, by Chengsong
s?
2019-07-03, by Chengsong
s
2019-07-03, by Chengsong
example
2019-07-03, by Chengsong
proof reading
2019-07-03, by Christian Urban
changes
2019-07-02, by Chengsong
half easy changes
2019-07-02, by Chengsong
new changes
2019-07-02, by Chengsong
chages
2019-07-02, by Chengsong
psuedocode added
2019-07-01, by Chengsong
hope works
2019-06-30, by Chengsong
hope this works
2019-06-30, by Chengsong
resolved i guess?
2019-06-30, by Chengsong
made changes that are necessary for a successful push
2019-06-30, by Chengsong
changed file name to ninems
2019-06-30, by Chengsong
augmented the ecoop paper to make it more like a 9m report. still continuing to update.
2019-06-30, by Chengsong
created folder for 9mth report
2019-06-29, by Chengsong
footnote
2019-06-29, by Chengsong
initial version
2019-06-28, by Christian Urban
fixed latex bug
2019-06-26, by Christian Urban
easy changes, url to misc, author info format changing, mysterious bug on line 49
2019-06-26, by Chengsong
delete data unnecessary
2019-06-26, by Chengsong
now correct
2019-06-26, by Chengsong
added stackexchange url and contact details
2019-06-26, by Chengsong
another superflous file
2019-06-25, by Christian Urban
deleted further generated files (including pdf)
2019-06-25, by Christian Urban
deleted data-files and further unnecessary parts in data.sty
2019-06-25, by Christian Urban
hi
2019-06-25, by Chengsong
new version of slides
2019-05-08, by Chengsong
hello
2019-05-05, by Chengsong
the property
2019-04-13, by Chengsong
test of
2019-04-12, by Chengsong
removed C(c) The retrieve and code in the previous version is still not correct and will crash. no prob now.
2019-04-10, by Chengsong
The C(Char) construct is incompatible with the code and retrieve in Fahad's thesis.
2019-04-10, by Chengsong
exp and proof
2019-03-23, by Chengsong
augmented version of proof sketch
2019-03-22, by Chengsong
pf
2019-03-21, by Chengsong
found the difference: caused by flats
2019-03-16, by Chengsong
random test failed
2019-03-16, by Chengsong
correctness test with enumeration
2019-03-16, by Chengsong
:test whether bsimp(bders(r, s)) == ders_simp(r,s)
2019-03-15, by Chengsong
removing PRED
2019-03-15, by Chengsong
more comments
2019-03-13, by Chengsong
i
2019-03-13, by Chengsong
run
2019-03-13, by Chengsong
less
more
|
(0)
tip