Intervals - #242

Merged

ryanmrichard merged 9 commits into

May 6, 2026

Commits on Apr 7, 2026

updates approximately equal
ryanmrichard
committed
ca391c9
missed file
ryanmrichard
committed
115ccd2

Commits on Apr 17, 2026

initial generalized interval changes
ryanmrichard
committed
89d55cb
close to working
ryanmrichard
committed
dbb8854
updates for general intervals
ryanmrichard
committed
11c3dc6

Commits on May 3, 2026

updates for partitioned affine
ryanmrichard
committed
4906b2c

Commits on May 6, 2026

tw works with intervals
ryanmrichard
committed
4cb3eed
adds exp/log wrappers
ryanmrichard
committed
bfc082c
fix failing ENABLE_SIGMA=false compilation
ryanmrichard
committed
86ce54e