Skip to content

Draft: Add definition taclets for binaryAnd, binaryOr, and binaryXOr - #3174

Draft
ChristianHein wants to merge 2 commits into
KeYProject:mainfrom
ChristianHein:hein/bitwiseOperatorDefinitions
Draft

Draft: Add definition taclets for binaryAnd, binaryOr, and binaryXOr#3174
ChristianHein wants to merge 2 commits into
KeYProject:mainfrom
ChristianHein:hein/bitwiseOperatorDefinitions

Add definition taclets for binaryAnd, binaryOr, binaryXOr

d607320
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs