CodeQL

feat(model): allow {0,1} bounds for binaries in add_variables #1904

Sign in to view logs

Triggered via pull request June 19, 2026 10:34

synchronize #778

feat/binary-bounds-in-add-variables

Status Success

Total duration 51s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze