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)