Antony Vennard

I'm a little late replying to any of these issues, but: 1) will be application-dependent, depending on whether the secret is supposed to be recovered at some point or not....

Discovered this issue building https://github.com/ankitects/anki on my Fedora 36 system. The command I invoked was: ``` bazel build --sandbox_writable_path="$HOME/.ccache" --config opt wheels ``` and ccache complains it cannot locate gcc...

Hello, I was a bit behind thanks to life things. I checked the model on some arm64 boards and M1s in the M1 thread and missed this new one: https://github.com/model-checking/kani/issues/1167#issuecomment-1190515961...

Ok, I'll have a go. Would definitely be good to get some reviews though, I'm learning about CBMC on the fly.

I have the same problem but for the architectures I use. I have `aarch64-unknown-linux-gnu` and `powerpc64le-unknown-linux-gnu` that I use frequently. I'm going to say that `aarch64-*` support is going to...

Hello again, nice to see some work for the M1 :) Summer here so I am slow. I extracted out what cbmc does to test C bitfield width (and learned...

I'm not worried about the char type but the wchar_t one. According to that doc, wchar_t should be an unsigned half word or word. Linux distros are following this. I...

See also #23

Hello, thanks for the bug report and the file, we'll look into what is going on.

Hi, thanks for moving the issue here. Can you please send the output of `uname -m` (so we know what machine you are running on)? In the mytest directory can...