Skip to content
Backport

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

Sign in to view logs

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

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

Triggered via pull request February 5, 2025 10:09
@hargoniXhargoniX
closed #6628
Status Success
Total duration 14s
Artifacts –

backport.yml

on: pull_request_target
Backport
4s
Backport
Fit to window
Zoom out
Zoom in