Yutetsu TAKATSUKASA 26b7452178 Fix #3445 of BitOpTreeOpt (#3453) ... * Tests: Check BitOpTree statistics in t_const_opt. * Tests: Add a test to reproduce #3445 * Fix #3445. Don't forget LSB of frozen node in BitOpTreeOpt. * Apply suggestions from code review Co-authored-by: Geza Lore <gezalore@gmail.com>		2022-05-30 19:33:06 +09:00
..
t	Fix #3445 of BitOpTreeOpt (#3453)	2022-05-30 19:33:06 +09:00
.gdbinit	…
.gitignore	Ignore some files generated by modelsim (#2669)	2020-12-05 21:55:56 -05:00
CMakeLists.txt	Copyright year update.	2022-01-01 08:26:40 -05:00
Makefile	Copyright year update.	2022-01-01 08:26:40 -05:00
Makefile_obj	Implement 'forceable' attribute	2022-01-16 15:31:37 +00:00
driver.pl	Perform VCD tracing in parallel when using --threads (#3449)	2022-05-29 19:08:39 +01:00
input.vc	…
input.xsim.vc	…