11 commits

Author	SHA1	Message	Date
Tavo Annus	3825d8bd0f	Increase search depth to account for more granual steps	2024-06-22 15:06:07 +03:00
Tavo Annus	a3315fe028	Remove remove not-very-helpful optimizations	2024-06-22 10:17:33 +03:00
Tavo Annus	c87609fef1	Add tactic for associated item constants	2024-06-18 22:08:44 +03:00
Tavo Annus	0f6842700f	Fix data_constructor ignoring generics for struct	2024-05-25 13:09:26 +03:00
Tavo Annus	ab18604309	Make term search fuel configurable	2024-05-08 19:46:33 +03:00
Tavo Annus	9e1adc76e5	Use unit of work as fuel instead of time	2024-05-07 22:13:27 +03:00
Tavo Annus	d253617bba	Add time based fuel to term search	2024-05-06 22:13:09 +03:00
Tavo Annus	c3ab435b54	Collapse term search exprs before Cartesian product to avoid OOM	2024-05-06 20:29:34 +03:00
Tavo Annus	be6f8e2648	Add make_tuple tactic	2024-02-26 20:17:09 +02:00
Tavo Annus	8bd30e9b3f	Improve generics handling in term search	2024-02-26 20:17:09 +02:00
Tavo Annus	125791386d	Cleanup term search related changes	2024-02-11 14:35:54 +02:00

Renamed from crates/hir/src/term_search/mod.rs (Browse further)