Code

Harmonize integer div/mod semantics#230

Code

Merged

s0mark merged 2 commits intoftsrg:xcfa-refactorftsrg/theta:xcfa-refactorfrom s0mark:xcfa-intmodfixs0mark/theta:xcfa-intmodfixCopy head branch name to clipboardOct 23, 2023

+80-20

Commits

Commits on Oct 21, 2023

• adjusted integer division to solver semantics

  s0mark

  committed
  ebbb6bf

Commits on Oct 22, 2023

• added conversion of C integer division and modulo

  s0mark

  committed
  be73b18