fix: Tactic failure on synthesizing placeholder #139

Merged

aniva merged 10 commits from bug/tactic-failure-placeholder into dev

2024-12-11 01:13:15 -08:00

Author	SHA1	Message	Date
Leni Aniva	4217dbcf80	Merge branch 'dev' into bug/tactic-failure-placeholder	2024-12-11 01:08:44 -08:00
Leni Aniva	aa122b2bb9	doc: Update rationale link	2024-12-11 00:24:56 -08:00
Leni Aniva	58956d33fe	doc: Update behaviour rationale	2024-12-11 00:21:26 -08:00
Leni Aniva	cb87fcd9dd	fix: Insert `mvarDeps`	2024-12-11 00:16:52 -08:00
Leni Aniva	e0e5c9ec68	chore: Code cleanup	2024-12-10 23:51:47 -08:00
Leni Aniva	755ba13c1b	fix: Set `synthesizeSyntheticMVarsNoPostponing`	2024-12-10 23:48:46 -08:00
Leni Aniva	1d10cd2b20	fix: Collect errored mvars by iterating errorInfo	2024-12-10 23:16:33 -08:00
Leni Aniva	d040d2006c	fix: Do not guard mvar errors in other tactics	2024-12-09 17:58:08 -08:00
Leni Aniva	47d26badc8	feat: Capture mvar errors	2024-12-09 17:30:33 -08:00
Leni Aniva	7fc2bd0d0f	test: Tactic failure on synthesizing placeholder	2024-12-09 08:15:01 -08:00