Deterministic Simulation Testing in Celld

How celld controls time and execution order to find bugs with deterministic simulation testing, explained through interactive diagrams, pseudocode, and a race it discovered.