cst_tests: Changelog

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

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.

cst_tests