dry-analyzer icon indicating copy to clipboard operation
dry-analyzer copied to clipboard

Published 20 hours ago • verified publisher icon pirapira

Provide optimized arithmetics for multiplication

Open pirapira opened this issue 9 years ago • 0 comments

There is an optimized addition on abstract values Aadd' but it does not exist for

  • [ ] multiplications
  • [ ] signed division

pirapira avatar Sep 05 '16 16:09 pirapira