7 Commits

Author	SHA1	Message	Date
lcnr	0edb22cdbf	cleanup proof tree implementation and add cache	2025-08-29 09:35:37 +02:00
Michael Goulet	216cdb7b22	Eagerly unify coroutine witness in old solver	2025-07-17 17:42:28 +00:00
Boxy	c31794d6d3	confusings	2025-04-29 18:55:21 +01:00
Michael Goulet	67df5b9cfa	Collect and resolve ambiguous obligations from normalizing in writeback	2025-04-22 16:50:38 +00:00
lcnr	d6fd45c2e3	impossible obligations check fast path	2024-10-10 06:09:50 -04:00
Michael Goulet	db638ab968	Rename a bunch of things	2024-06-21 12:32:05 -04:00
Michael Goulet	7d2be888b6	Fix impl for SolverDelegate	2024-06-18 11:04:01 -04:00