Herd7 throwing errors for ARM models

[ghows01]

Running any AArch64 configuration throws an abort. What could be the issue here?

[relokin]

Thanks for reporting this! We are aware of the problem and it seems to affect some browsers under some configurations. We are currently looking into this. In the mean time, can I please ask what browser you are using?

FWIW, when I looked into this it seemed that the problem was introduced with this change of js_of_ocaml, ocsigen/js_of_ocaml@29c693b. It's not clear what part of the code of herd7 causes the problem but one possible option is to pin js_of_ocaml to the immediate previous release 5.4.0. @maranget do you see any problem with this for now?

[ghows01]

Hi Nikos, Appreciate the response. I'm using Chrome. "Version 141.0.7390.123 (Official Build) (64-bit)"

…

-Ghows

On Mon, Oct 27, 2025 at 4:02 PM Nikos Nikoleris ***@***.***> wrote: *relokin* left a comment (herd/herdtools7#1528) <#1528 (comment)> Thanks for reporting this! We are aware of the problem and it seems to affect some browsers under some configurations. We are currently looking into this. In the mean time, can I please ask what browser you are using? FWIW, when I looked into this it seemed that the problem was introduced with this change of js_of_ocaml, ***@***.*** <ocsigen/js_of_ocaml@29c693b>. It's not clear what part of the code of herd7 causes the problem but one possible option is to pin js_of_ocaml to the immediate previous release 5.4.0. @maranget <https://github.com/maranget> do you see any problem with this for now? — Reply to this email directly, view it on GitHub <#1528 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/BZLPMRSMIAMG5H32JANP2ZD3ZZ27BAVCNFSM6AAAAACKLX5UUKVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZTINJTGMZDOOJQGQ> . You are receiving this because you authored the thread.Message ID: ***@***.***>

[relokin]

Thanks @ghows01

I've opened a PR #1529 that might provide a temporary workaround.

[ghows01]

Thanks for the temporary workaround!
In the meantime, based on your hint that this could be browser related, I tried different browsers and Opera works.

Chrome - Nogo
Edge - Nogo
Firefox - unresponsive
Opera - works **

[relokin]

Glad to hear that you found a browser that works for now, we'll try to apply some fix as soon as possible.

[relokin]

@ghows01 from the screenshot, it seems like you were trying to use https://developer.arm.com/herd7 . We have updated it and it should work. Please let us know if you run into any problems.

FWIW, I've also raised an issue with js_of_ocaml ocsigen/js_of_ocaml#2122