Skip to content

Use 2's complement when computing the relative discriminant to avoid signed to unsigned overflow failures#995

Merged
zhassan-aws merged 3 commits into
model-checking:mainfrom
zhassan-aws:iss356
Apr 1, 2022
Merged

Use 2's complement when computing the relative discriminant to avoid signed to unsigned overflow failures#995
zhassan-aws merged 3 commits into
model-checking:mainfrom
zhassan-aws:iss356

Merge branch 'main' into iss356

12e542a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs