Code

Refactor RewriteBitwiseOps#677

Code

Open

shaobo-he wants to merge 3 commits intodevelopsmackers/smack:developfrom refactor-rewrite-bitwise-opsmackers/smack:refactor-rewrite-bitwise-opCopy head branch name to clipboard

+274-113

Commits

Commits on Jan 16, 2021

• Refactor RewriteBitwiseOps

  Show description for e6d8696
  shaobo-he

  committed
  e6d8696

  Copy full SHA for e6d8696

Commits on Jan 17, 2021

• Copy ``dbg'' metadata

  shaobo-he

  committed
  d0c238e

  Copy full SHA for d0c238e

Commits on Jan 20, 2021

• Renamed a function

  shaobo-he

  committed
  18e5388

  Copy full SHA for 18e5388