4 Commits

Author	SHA1	Message	Date
Zachary Snow	52197df325	add bugpoint mode ... This mode reduces the size of test cases that encounter conversion errors or produce incorrect output. The logic developed slowly over the past three years. It is in a state that I find useful when fielding bug reports, but has some room for improvement in terms of constraints and filtering.	2024-06-19 23:06:34 -04:00
Zachary Snow	911243dac4	add --top for filtering uninstantiated modules	2023-06-18 22:36:43 -04:00
Zachary Snow	51c90baf5e	support for loading from library directories	2023-06-13 22:53:36 -04:00
Zachary Snow	a129e3bc68	add test suite documentation	2023-05-30 22:36:54 -04:00