Commits on Oct 27, 2024

1. feat: add BitVec.[zero_ushiftRight|zero_sshiftRight|zero_mul] and cle… …

   …an up BVDecide
   
   - Fix names
   
     shiftLeft_zero_eq -> shiftLeft_zero
     ushiftRight_zero_eq -> ushiftRight_zero
   
   - Remove duplicate prefixes
   
     BitVec.mul_zero -> mul_zero
     BitVec.mul_add  -> mul_add
   
   - Adapt BVDecide/Normalize/BitVec by reusing the following functions
   
     zero_add | add_zero
     and_self
     mul_zero | zero_mul
     shiftLeft_zero | zero_shiftLeft
     sshiftRight_zero | zero_sshiftRight
     ushiftRight_zero | zero_ushiftRight

   

   tobiasgrosser committed Oct 27, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 4cff110
   • Browse repository at this point

   Copy the full SHA

   4cff110 View commit details

   Browse the repository at this point in the history