On 8/4/23 03:29, Xiao Zeng wrote:
On Thu, Aug 03, 2023 at 01:20:00 AM Jeff Law <jeffreya...@gmail.com> wrote:
In the wrong two optimization modes, I only considered the
case of satisfying the ELSE branch, but in fact, like the correct
two optimization modes, I should consider the case of satisfying
both the THAN and ELSE branches.
It happens -- we all make mistakes. FWIW I didn't spot it during the
review either.
By the way, I was assigned other tasks during the week and
didn't have time to reply to emails, sorry.
No worries. I'm trying to keep this moving because we have multiple
submissions from different authors in this space as well as bits
internal to Ventana. That's a recipe for a messy integration phase if
it's not well managed.
It's also something I kept meaning to resolve and your submission just
gave me the proper motivation to move zicond forward. The target
specific bits you did lined up perfectly with the community feedback on
the original VRULL implementation as well as the direction Ventana had
taken on our internal tree.
Jeff