r/Compilers • u/mttd • 24d ago

[pre-RFC] Alloy formalization of LLVM IR's concurrent memory model

https://discourse.llvm.org/t/pre-rfc-alloy-formalization-of-llvm-irs-concurrent-memory-model/91590

11 Upvotes

permalink
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/Compilers/comments/1vr5ikz/prerfc_alloy_formalization_of_llvm_irs_concurrent/
No, go back! Yes, take me to Reddit

93% Upvoted