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.