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.
(0) -10 -3 +3 +10 +30 +100 tip