Code

Overflow detection in simulation#777

Code

Merged

youben11 merged 5 commits intomainzama-ai/concrete:mainfrom feat/detect-overflow-simulationzama-ai/concrete:feat/detect-overflow-simulationCopy head branch name to clipboardMay 15, 2024

+741-37

Commits

Commits on May 15, 2024

• refactor(compiler, simu): rewrite add/mul to CAPI calls

  youben11

  committed
  b8822c8

• feat(compiler): warn when there is overflow in sim (native encoding)

  youben11

  committed
  95482bb

• feat(compiler/simu): add loc in overflow warnings

  youben11

  committed
  9aed30b

• test(compiler): overflow in simulation

  youben11

  committed
  83cf085

• feat(compiler/simu): support signed integers

  youben11

  committed
  463a1b3