Skip to content
Back to pull request #4193

feat: simprocs for reducing x >>> i and x <<< i where i is a bittvector literal #1679

Sign in to view logs

feat: simprocs for reducing x >>> i and x <<< i where i is a bittvector literal

feat: simprocs for reducing x >>> i and x <<< i where i is a bittvector literal #1679

check-prelude

check-prelude
succeeded May 16, 2024 in 5s