<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> this contains quite a few surprising instances of things that are currently UB. And as expected the list of wording changes is rather large... All of this brings back a thought that keeps popping up in my head: I've been wondering if it's possible to codify the standard in sth like datalog... You'd be able to query it for things you're not sure about, paper authors and committee could test if their expectations are consistent etc.</p>
