3 Commits

Author	SHA1	Message	Date
Michael Goulet	2eb7d69309	Resolve vars when reporting WF error	2023-06-23 16:26:22 +00:00
Michael Goulet	f12695b53b	Don't emit same goal as input during wf obligations	2023-06-23 16:23:27 +00:00
Michael Goulet	0dbaae4165	Make alias bounds sound in the new solver	2023-05-09 20:37:50 +00:00