Code

Always use image functions for QPs#834

Code

Merged

marcoeilers merged 11 commits intomasterviperproject/silicon:masterfrom meilers_qp_receiver_checkviperproject/silicon:meilers_qp_receiver_checkCopy head branch name to clipboardMay 5, 2024

+24-23

Commits

Commits on Apr 23, 2024

• Adding missing condition

  marcoeilers

  committed
  21f7eb4

• Emitting missing definitions for new quantified chunk inverse functions

  marcoeilers

  committed
  79a485e

Commits on Apr 24, 2024

• Added test in silver

  marcoeilers

  committed
  00bd0d6

• Undid accidental change

  marcoeilers

  committed
  8be227b

• Merge branch 'master' into meilers_qp_receiver_check

  marcoeilers

  authored
  f1e6c0e

Commits on Apr 26, 2024

• Trying to get rid of unsound assumption that all references map to some receiver

  marcoeilers

  committed
  8d1ad0f

Commits on May 4, 2024

• Undoing unnecessary change

  marcoeilers

  committed
  320842b

• Adding missing assumptions about inverse functions for transferred chunks

  marcoeilers

  committed
  7d9bccf

• Including image functions in quasihavoc encoding

  marcoeilers

  committed
  429ddbd

• Removed outdated comment

  marcoeilers

  authored
  6776366

• Merge branch 'master' into meilers_qp_receiver_check

  marcoeilers

  authored
  64d7c6c