Backport

feat: Confluent simp-set for left shift by BitVec.twoPow #15281

Sign in to view logs

Summary
Jobs
- Backport
Run details
- Usage
- Workflow file

Triggered via pull request December 2, 2025 12:25

bollu

closed #6782

Status Skipped

Total duration –

Artifacts –

backport.yml

on: pull_request_target