Timestamp:
May 20, 2025, 12:22:33 AM (4 months ago)
Author:
Fangren Yu <f37yu@…>
Branches:
master
Children:
4791307
Parents:
206f4cf
Message:

add a paragraph to explain an optimization for resolving unbound
assertions

(No files)

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