Wed, 26 Jun 2019 12:44:08 +0100 added stackexchange url and contact details
Chengsong [Wed, 26 Jun 2019 12:44:08 +0100] rev 21
added stackexchange url and contact details
Tue, 25 Jun 2019 23:59:10 +0100 another superflous file
Christian Urban <urbanc@in.tum.de> [Tue, 25 Jun 2019 23:59:10 +0100] rev 20
another superflous file
Tue, 25 Jun 2019 23:38:02 +0100 deleted further generated files (including pdf)
Christian Urban <urbanc@in.tum.de> [Tue, 25 Jun 2019 23:38:02 +0100] rev 19
deleted further generated files (including pdf)
Tue, 25 Jun 2019 22:43:21 +0100 deleted data-files and further unnecessary parts in data.sty
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
Tue, 25 Jun 2019 18:56:52 +0100 hi
Chengsong [Tue, 25 Jun 2019 18:56:52 +0100] rev 17
hi
Wed, 08 May 2019 22:09:59 +0100 new version of slides
Chengsong [Wed, 08 May 2019 22:09:59 +0100] rev 16
new version of slides
Sun, 05 May 2019 22:02:29 +0100 hello
Chengsong [Sun, 05 May 2019 22:02:29 +0100] rev 15
hello
Sat, 13 Apr 2019 16:18:23 +0100 the property
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
Fri, 12 Apr 2019 19:26:13 +0100 test of
Chengsong [Fri, 12 Apr 2019 19:26:13 +0100] rev 13
test of retrieve r v = retrieve (bsimp r) (decode bsimp r code v)
Wed, 10 Apr 2019 17:06:24 +0100 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 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.
Wed, 10 Apr 2019 16:34:34 +0100 The C(Char) construct is incompatible with the code and retrieve in Fahad's thesis.
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)
Sat, 23 Mar 2019 11:53:09 +0000 exp and proof
Chengsong [Sat, 23 Mar 2019 11:53:09 +0000] rev 10
exp and proof
Fri, 22 Mar 2019 12:53:56 +0000 augmented version of proof sketch
Chengsong [Fri, 22 Mar 2019 12:53:56 +0000] rev 9
augmented version of proof sketch
Thu, 21 Mar 2019 13:26:07 +0000 pf
Chengsong [Thu, 21 Mar 2019 13:26:07 +0000] rev 8
pf
(0) -14 +14 +100 tip