Valentin Robert
Valentin Robert
As was pointed out by @tomsmeding here: https://github.com/GaloisInc/llvm-pretty/issues/135#issuecomment-2227477305 we cannot use 32-bit (8 characters) "float" constants in LLVM IR. Instead, we must embed the 32-bit float as 64-bit double constants...
I'm currently debugging a problem with my emulator where it appears we don't pop the same value from the stack. This is in general not super practical to debug as...
In the "Rendering" section, it is written: > At the very beginning of Mode 3, rendering is paused for SCX % 8 dots while the same number of pixels are...
I couldn't find this information in the docs, and ended up looking it up elsewhere. It turns out, 1 is $8000 unsigned, and 0 is $9000 signed.
Following the merge of #1219 , it would be nice to scatter the termination module, in such a way that one could require some termination measures without having to include...
We have been playing with @Alasdair 's upcoming (#1219) feature for selecting a smaller set of modules to extract to Lean. Unfortunately, we have run into some issues with how...
I was running build-bom in an automated fashion over a large set of compilation tasks, and programmatically fetching all bitcode files produced this way. Surprisingly, some ".bc" files had incorrect...
I was trying to use build-bom on a fairly simple Rust-driven clang invocation, and it was failing with what seemed like weird messages: ``` clang-18: error: unknown argument: '-cc1' clang-18:...
It'd be nice to not have to guess. The other bits' descriptions mention what 0 and 1 correspond to in general.
In some application, for some reasons, it would make my life much easier if I could get the keys in a JSON file in the order they appeared. I found...