Skip to content

determinism: Deterministic MonadGetUnique LlvmM

Rodrigo Mesquita requested to merge wip/romes/det-llvm into master

Update LlvmM to thread a unique deterministic supply (using UniqDSMT), and use it in the MonadGetUnique instance.

This makes uniques sampled from LlvmM deterministic, which guarantees
object determinism with -fllvm.

Depends on !12680 (merged) landing first.

Merge request reports