HomeIsabelle/Phabricator

transfer rule for bit operation

Authored by florian.haftmann.

Description

transfer rule for bit operation

Details

Committed
florian.haftmannDec 1 2019, 9:01 AM
Parents
rISABELLE410935efbf5c: characterization of singleton bit operation
Branches
Unknown
Tags
Unknown