Check PR body for changelog convention

feat: add SMT-LIB overflow on addition for bitvectors `BitVec.(uadd_overflow, sadd_overflow, uadd_overflow_eq, sadd_overflow_eq)` and support theorems #4621

Sign in to view logs

Triggered via pull request January 31, 2025 15:13

synchronize #6628

opencompl:smtlib-overflow-defs

Status Success

Total duration 17s

Artifacts –

pr-body.yml

on: pull_request