5 commits

Author	SHA1	Message	Date
William Zhu	8666e9ae45	tests for mux_andnot	2025-03-27 15:13:57 -07:00
William Zhu	d493a55025	forgot to add some things to previous commit	2025-03-27 12:40:41 -07:00
William Zhu	3b8330c44f	reverted some extra unneccessary checks	2025-03-27 12:40:21 -07:00
William Zhu	a03553b54e	added some extra comments and checks	2025-03-27 12:36:15 -07:00
William Zhu	cc4c9c4eba	first tests for opt_expand	2025-03-27 12:31:37 -07:00