Translation of bitwise operators #3172
- Adds missing taclets for intermediate JavaDL functions
unsignedshiftrightJlong
,xorJlong
,orJlong
, andandJlong
. - Fixes a bug in the taclets which pull a bitwise negation out of a modality.
Artifacts
- 15. Jun 2023 14:57 (32187.67 kB large)
- 15. Jun 2023 14:44 (32182.39 kB large)
- 15. Jun 2023 13:42 (32253.14 kB large)