[PATCH] D65718: [LangRef] Document forward-progress requirement

[Ralf via Phabricator via llvm-commits]

RalfJung added a comment.

No happens-before rule is needed for sequential programs. The compiled program must exhibit all observable events in the same order as the source program.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D65718/new/

https://reviews.llvm.org/D65718