diff options
| author | Thomas Bauereiss | 2018-07-10 22:39:23 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-07-11 00:19:52 +0100 |
| commit | 63fccf3902edbeb7816e6c419b0cbdcfea423cb9 (patch) | |
| tree | c10957296f68b25720d10bc9f78d580db9efb10a /lib | |
| parent | 5b9a669cb26d4d2fcee44f17f0328ba7035d2812 (diff) | |
Update CHERI code extraction from Isabelle
Also use zero-initialised memory. Apparently some tests access unitialised
memory, and the default behaviour of the Lem shallow embedding is to fail in
this case.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions