commit | 09c5021edf1bfb11ed1542c570f752ad4193804e | [log] [tgz] |
---|---|---|
author | Trevor Hansen <trev_abroad@yahoo.com> | Tue May 10 13:14:39 2022 |
committer | Trevor Hansen <trev_abroad@yahoo.com> | Fri May 13 04:31:20 2022 |
tree | 3dcaf242e4e6e0adac1c5614ddb2580c6a5e7051 | |
parent | 0e4ac06234cf0b08ba5df84385336bd919052f13 [diff] |
enable speculative simplifications on bvnot