Hiroki Tokunaga

Missing conversion functions for types for the extraction plugin?

3

Hi. While I was viewing serlib's document, I noticed that functions for converting between types for the extraction plugin (e.g., [lang](https://coq.inria.fr/doc/V8.18+rc1/api/coq-core/Extraction_plugin/Table/index.html#type-lang)) and SExp were missing. Is it okay to send...

Hi. I'm using VsCoq, and it's pretty nice! However, I think it'd be great if VsCoq prints the next bullet on the completion of proof for a bullet. Currently, VsCoq...

Hello. Currently, hfmt supports GHC 8.0.2, 8.2.2, 8.4.4, and 8.6.3. However, these are too old. How about supporting 8.10.7, 9.2.2, and 9.4.1? [HIndent supports them](https://github.com/mihaimaruseac/hindent/pull/596), and stylish-haskell and hlint should...

chore: mark `ElfLoader::load` as unsafe

2

This method assumes that the memory is allocated by `ElfLoader::allocate`, but the compiler can't ensure it. Without it, the program may violate memory safety by e.g., modifying memory used by...

Hi. I tried to use `pipr` on my WSL, but couldn't because of `bwrap: Creating new namespace failed.` error. It doesn't seem that [WSL doesn't support `bwrap`](https://github.com/d3cod3/Mosaic/issues/57). While the bug...

Add a test OS

1

The code is taken from https://github.com/toku-sa-n/ramen/tree/00193f21cdb72f37e5b4059a1e47c9be88992f5c. It is GPL-licensed, but this revision does not include contributions from the other contributors except bots and me, and thus it does not violate...

Should RW1C bit fields have `set_xxx` and `clear_xxx` which do actually *set* and *clear* bits?

5

Currently, there are two methods for the RW1C bit: `clear_xxx` and `set_0_xxx`. The former sets the bit to *1*, the latter sets it to *0*. Originally, only the former existed,...