Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

Does Spear bit-blast all bit-vector arithmetic operators?

April 26, 2017arithmetic operators spear

0

Posted

Does Spear bit-blast all bit-vector arithmetic operators?

2 Answers

0

Posted

It tried hard not to. For every term, Spear tries to simplify it away as much as possible at several different levels of abstraction. If no simplification worked, the term is bit-blasted.

0

Posted

It tries hard not to. For every term, Spear tries to simplify it away as much as possible at several different levels of abstraction. If no simplification worked, the term is bit-blasted.