7 commits

Author	SHA1	Message	Date
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)