Yutetsu TAKATSUKASA 50df902b54 Fix incorrect bit-op-tree NOT optimization (#4832) (#4847) ... * Fix #4832. Bit-op-tree opt. should not touch a subtree under NOT in AND/OR tree.		2024-01-21 07:25:24 -05:00
..
t	Fix incorrect bit-op-tree NOT optimization (#4832) (#4847)	2024-01-21 07:25:24 -05:00
.gdbinit	Revert .gdbinit modified by accident. (#4330)	2023-06-30 16:57:31 -04:00
.gitignore	…
CMakeLists.txt	Copyright year update	2024-01-01 03:19:59 -05:00
Makefile	Copyright year update	2024-01-01 03:19:59 -05:00
Makefile_obj	Copyright year update	2024-01-01 03:19:59 -05:00
driver.pl	Tests: Use context coverage write	2024-01-20 11:19:42 -05:00
input.vc	…
input.xsim.vc	…