Jason Gross

Fix #2040 (I hope) Still TODO: add a test-case for this based on from_bytes assembly

This causes from_bytes to fail to equivalence check

I want to be able to handle the output of gcc/clang on our C code. Right now, I have added support for parsing the assembly output. Equivalence checking is still...

[DOCS] DISABLE_AUTOUPDATER env documentation refers to undocumented or non-existent setting

2

### Documentation Type Incorrect/outdated documentation ### Documentation Location https://docs.claude.com/en/docs/claude-code/settings#available-settings ### Section/Topic Environment variables / Available settings ### Current Documentation Variable | Purpose -- | -- DISABLE_AUTOUPDATER | Set to 1 ...

Version constraints on rocq-hierarchy-builder.1.9.1 are incorrect for Coq 8.19

1

Running in mathcomp/mathcomp:1.19.0-coq-8.19: ``` 2025-11-03T21:28:39.9925517Z #=== ERROR while compiling rocq-hierarchy-builder.1.9.1 =======================# 2025-11-03T21:28:39.9926455Z # context 2.3.0 | linux/x86_64 | ocaml-option-flambda.1 ocaml-variants.4.14.2+options | https://coq.inria.fr/opam/released#2025-08-14 12:33 2025-11-03T21:28:39.9927343Z # path ~/.opam/4.14.2+flambda/.opam-switch/build/rocq-hierarchy-builder.1.9.1 2025-11-03T21:28:39.9928106Z # command...

In docker image mathcomp/mathcomp:2.3.0-coq-8.20 ``` 2025-11-03T21:31:38.4296460Z #=== ERROR while compiling coq-mathcomp-algebra-tactics.1.2.4 =================# 2025-11-03T21:31:38.4297723Z # context 2.3.0 | linux/x86_64 | ocaml-option-flambda.1 ocaml-variants.4.14.2+options | https://coq.inria.fr/opam/released#2025-08-14 12:33 2025-11-03T21:31:38.4298795Z # path ~/.opam/4.14.2+flambda/.opam-switch/build/coq-mathcomp-algebra-tactics.1.2.4 2025-11-03T21:31:38.4299424Z #...

To avoid issues like #3335

Would it be possible to have a (README-documented) setting that causes the dependency graph to use complete kernel names for everything?

The example from the README: ```python from schwab_api import generate_totp symantec_id, totp_secret = generate_totp() print("Your symantec ID is: " + symantec_id) print("Your TOTP secret is: " + totp_secret) ``` gives:...