Files
rose-ash/hosts/ocaml
giles edf3354050 CEK loop: use local int ref instead of Atomic for step counter
Atomic.fetch_and_add on every CEK step added unnecessary overhead.
The step counter is per-invocation (not shared across threads), so
a plain int ref with incr is sufficient and faster.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-03-29 20:04:05 +00:00
..