Artiweb > Pull Request #3172

Translation of bitwise operators #3172

Github

Description
  • Adds missing taclets for intermediate JavaDL functions unsignedshiftrightJlong, xorJlong, orJlong, and andJlong.
  • Fixes a bug in the taclets which pull a bitwise negation out of a modality.

Artifacts