Timestamp:
Jul 31, 2023, 11:25:51 AM (3 years ago)
Author:
Andrew Beach <ajbeach@…>
Branches:
master, stuck-waitfor-destruct
Children:
f496046
Parents:
e0332dd3
Message:

Added invariant to check that referenced declarations are in scope. This one took a while, I don't remember why forall pointer decay is involved.

(No files)

Note: See TracChangeset for help on using the changeset viewer.