Christian Urban <urbanc@in.tum.de> [Wed, 15 Jan 2020 13:01:10 +0000] rev 106
added my comments
Christian Urban <urbanc@in.tum.de> [Mon, 13 Jan 2020 14:13:47 +0000] rev 105
updated
Chengsong [Mon, 13 Jan 2020 16:57:13 +0000] rev 104
merged christian changes
Chengsong [Sun, 12 Jan 2020 22:49:23 +0000] rev 103
hg
Chengsong [Sat, 11 Jan 2020 22:47:11 +0000] rev 102
h
Chengsong [Sat, 11 Jan 2020 22:17:27 +0000] rev 101
b
Chengsong [Fri, 10 Jan 2020 22:35:08 +0000] rev 100
copied christian changes
Chengsong [Fri, 10 Jan 2020 17:02:16 +0000] rev 99
remain only tex
Chengsong [Fri, 10 Jan 2020 17:01:21 +0000] rev 98
forget
Chengsong [Fri, 10 Jan 2020 16:59:08 +0000] rev 97
delete
Chengsong [Fri, 10 Jan 2020 16:16:59 +0000] rev 96
removed sth
Chengsong [Fri, 10 Jan 2020 13:03:37 +0000] rev 95
updte1
Chengsong [Thu, 09 Jan 2020 22:21:04 +0000] rev 94
add
Chengsong [Thu, 09 Jan 2020 22:20:09 +0000] rev 93
h
Chengsong [Wed, 27 Nov 2019 14:15:00 +0000] rev 92
ders2
Chengsong [Mon, 11 Nov 2019 17:37:24 +0000] rev 91
got it
Christian Urban <urbanc@in.tum.de> [Thu, 22 Aug 2019 12:44:48 +0200] rev 90
deleted .DS_Store
Chengsong [Thu, 22 Aug 2019 09:38:18 +0100] rev 89
counterexample
Chengsong [Sun, 18 Aug 2019 22:21:01 +0100] rev 88
label fix
Chengsong [Sun, 18 Aug 2019 22:19:46 +0100] rev 87
changes to report
Chengsong [Thu, 25 Jul 2019 21:02:06 +0100] rev 86
final changes
Chengsong [Thu, 25 Jul 2019 12:59:07 +0100] rev 85
in case no wifi
Christian Urban <urbanc@in.tum.de> [Thu, 25 Jul 2019 11:46:06 +0100] rev 84
proof-read
Christian Urban <urbanc@in.tum.de> [Wed, 24 Jul 2019 20:37:40 +0100] rev 83
updated
Chengsong [Wed, 24 Jul 2019 12:19:46 +0100] rev 82
addressed comments, did improvements from page 14 and on
Christian Urban <urbanc@in.tum.de> [Tue, 23 Jul 2019 21:54:13 +0100] rev 81
updated and added comments
Chengsong [Tue, 23 Jul 2019 09:26:22 +0100] rev 80
addressed all comments.
Chengsong [Mon, 22 Jul 2019 23:01:00 +0100] rev 79
works on the part that christian did not read
will continue tomorrow morning
Chengsong [Mon, 22 Jul 2019 22:30:47 +0100] rev 78
proof of big lemma
Christian Urban <urbanc@in.tum.de> [Thu, 18 Jul 2019 15:06:50 +0100] rev 77
proof-read
Chengsong [Tue, 16 Jul 2019 22:20:11 +0100] rev 76
merged
Chengsong [Tue, 16 Jul 2019 22:18:18 +0100] rev 75
added the cloudfare eg.
Christian Urban <urbanc@in.tum.de> [Mon, 15 Jul 2019 10:46:50 +0100] rev 74
just a merge - no changes
Chengsong [Sat, 13 Jul 2019 22:56:31 +0100] rev 73
proof details
Chengsong [Wed, 10 Jul 2019 23:16:14 +0100] rev 72
interesting?
Chengsong [Mon, 08 Jul 2019 21:21:54 +0100] rev 71
new changes?
Christian Urban <urbanc@in.tum.de> [Mon, 08 Jul 2019 11:10:32 +0100] rev 70
more proofreading
Chengsong [Sun, 07 Jul 2019 22:23:35 +0100] rev 69
tiny
Chengsong [Sun, 07 Jul 2019 22:22:18 +0100] rev 68
more upd
Chengsong [Sun, 07 Jul 2019 22:18:24 +0100] rev 67
anotehr update
Chengsong [Sun, 07 Jul 2019 22:09:24 +0100] rev 66
good to proofread
Chengsong [Sun, 07 Jul 2019 21:38:35 +0100] rev 65
moew changes
Chengsong [Sun, 07 Jul 2019 18:43:13 +0100] rev 64
some changes
Christian Urban <urbanc@in.tum.de> [Sat, 06 Jul 2019 23:34:27 +0100] rev 63
more proof-reading
Christian Urban <urbanc@in.tum.de> [Sat, 06 Jul 2019 21:09:45 +0100] rev 62
spellcheck
Chengsong [Sat, 06 Jul 2019 20:34:41 +0100] rev 61
hi finished
Chengsong [Sat, 06 Jul 2019 20:16:20 +0100] rev 60
sorry not all done, need a few more mins for last few changes
Chengsong [Sat, 06 Jul 2019 19:48:20 +0100] rev 59
changes1
Christian Urban <urbanc@in.tum.de> [Fri, 05 Jul 2019 23:46:25 +0100] rev 58
proofread
Chengsong [Fri, 05 Jul 2019 21:20:47 +0100] rev 57
h
Chengsong [Fri, 05 Jul 2019 21:11:21 +0100] rev 56
comprehension
Chengsong [Fri, 05 Jul 2019 21:00:40 +0100] rev 55
some minor changes
Chengsong [Fri, 05 Jul 2019 18:01:26 +0100] rev 54
minor changes
Chengsong [Fri, 05 Jul 2019 17:49:54 +0100] rev 53
readable version
Chengsong [Fri, 05 Jul 2019 16:54:25 +0100] rev 52
just in case of some accidents from erasing my work
Chengsong [Thu, 04 Jul 2019 23:39:49 +0100] rev 51
added mkeps and pder, still have not proof read it
Chengsong [Thu, 04 Jul 2019 23:27:32 +0100] rev 50
now will compile
Chengsong [Thu, 04 Jul 2019 23:20:00 +0100] rev 49
still wont comiple hhh
Chengsong [Thu, 04 Jul 2019 22:45:02 +0100] rev 48
still will not compile
Chengsong [Thu, 04 Jul 2019 22:28:09 +0100] rev 47
will not compile, just text
Christian Urban <urbanc@in.tum.de> [Thu, 04 Jul 2019 11:04:02 +0100] rev 46
proofread
Christian Urban <urbanc@in.tum.de> [Thu, 04 Jul 2019 10:19:35 +0100] rev 45
spell check
Chengsong [Wed, 03 Jul 2019 23:02:48 +0100] rev 44
another changes. have written more. but havent typed them. tomorrow will continue.
Chengsong [Wed, 03 Jul 2019 22:39:47 +0100] rev 43
s?
Chengsong [Wed, 03 Jul 2019 22:06:47 +0100] rev 42
s
Chengsong [Wed, 03 Jul 2019 20:46:03 +0100] rev 41
example
Christian Urban <urbanc@in.tum.de> [Wed, 03 Jul 2019 09:48:42 +0100] rev 40
proof reading
Chengsong [Tue, 02 Jul 2019 22:24:27 +0100] rev 39
changes
Chengsong [Tue, 02 Jul 2019 14:01:42 +0100] rev 38
half easy changes
Chengsong [Tue, 02 Jul 2019 11:22:39 +0100] rev 37
new changes
Chengsong [Tue, 02 Jul 2019 00:14:42 +0100] rev 36
chages
Chengsong [Mon, 01 Jul 2019 23:42:39 +0100] rev 35
psuedocode added
Chengsong [Sun, 30 Jun 2019 22:23:52 +0100] rev 34
hope works
Chengsong [Sun, 30 Jun 2019 20:07:54 +0100] rev 33
hope this works
Chengsong [Sun, 30 Jun 2019 20:05:49 +0100] rev 32
resolved i guess?
Chengsong [Sun, 30 Jun 2019 19:56:04 +0100] rev 31
made changes that are necessary for a successful push
Chengsong [Sun, 30 Jun 2019 19:54:04 +0100] rev 30
changed file name to ninems
Chengsong [Sun, 30 Jun 2019 19:47:18 +0100] rev 29
augmented the ecoop paper to make it more like a 9m report. still continuing to update.
todo: will add the psuedocode for the simplification function and then briefly talk about its slowness.
Chengsong [Sat, 29 Jun 2019 12:28:49 +0100] rev 28
created folder for 9mth report
Chengsong [Sat, 29 Jun 2019 12:15:17 +0100] rev 27
footnote
Christian Urban <urbanc@in.tum.de> [Fri, 28 Jun 2019 12:40:58 +0100] rev 26
initial version
Christian Urban <urbanc@in.tum.de> [Wed, 26 Jun 2019 21:40:33 +0100] rev 25
fixed latex bug
Chengsong [Wed, 26 Jun 2019 17:15:48 +0100] rev 24
easy changes, url to misc, author info format changing, mysterious bug on line 49
Chengsong [Wed, 26 Jun 2019 16:08:49 +0100] rev 23
delete data unnecessary
Chengsong [Wed, 26 Jun 2019 16:06:58 +0100] rev 22
now correct
Chengsong [Wed, 26 Jun 2019 12:44:08 +0100] rev 21
added stackexchange url and contact details
Christian Urban <urbanc@in.tum.de> [Tue, 25 Jun 2019 23:59:10 +0100] rev 20
another superflous file
Christian Urban <urbanc@in.tum.de> [Tue, 25 Jun 2019 23:38:02 +0100] rev 19
deleted further generated files (including pdf)
Christian Urban <urbanc@in.tum.de> [Tue, 25 Jun 2019 22:43:21 +0100] rev 18
deleted data-files and further unnecessary parts in data.sty
Chengsong [Tue, 25 Jun 2019 18:56:52 +0100] rev 17
hi
Chengsong [Wed, 08 May 2019 22:09:59 +0100] rev 16
new version of slides
Chengsong [Sun, 05 May 2019 22:02:29 +0100] rev 15
hello
Chengsong [Sat, 13 Apr 2019 16:18:23 +0100] rev 14
the property
retrieve ar v = retrieve (bsimp ar) (decode erase(bsimp(ar)) code(v)) if |- v : r
does not hold
Chengsong [Fri, 12 Apr 2019 19:26:13 +0100] rev 13
test of
retrieve r v = retrieve (bsimp r) (decode bsimp r code v)
Chengsong [Wed, 10 Apr 2019 17:06:24 +0100] rev 12
removed C(c) The retrieve and code in the previous version is still not correct and will crash. no prob now.
Chengsong [Wed, 10 Apr 2019 16:34:34 +0100] rev 11
The C(Char) construct is incompatible with the code and retrieve in Fahad's thesis.
This causes the exception.
Two ways of fixing this: delete C(C) construct (easy way around) or amend retrieve code etc.
since the C(C) construct is intended for decoding Pred, and we don't use pred now, we shall delete this.
This is the last veersion that contains C(CHAR)