4 Commits

Author	SHA1	Message	Date
Michael Goulet	d3e510eb9d	Don't ICE because recomputing overflow goals during find_best_leaf_obligation causes inference side-effects	2024-05-16 10:00:11 -04:00
Michael Goulet	3e03b1b190	Use a proof tree visitor to refine the Obligation for error reporting	2024-05-02 21:56:14 -04:00
lcnr	5ec9b8d778	distinguish recursion limit based overflow for diagnostics ... also change the number of allowed fixpoint steps to be fixed instead of using the `log` of the total recursion depth.	2024-02-29 10:14:02 +01:00
lcnr	0947070871	consistently use "next solver" instead of "new solver"	2023-12-14 15:22:37 +01:00