Code

affeq: Fix array OOB in invariant#1327

Code

Merged

michael-schwarz merged 4 commits intomastergoblint/analyzer:masterfrom affeq_witnessesgoblint/analyzer:affeq_witnessesCopy head branch name to clipboardJan 13, 2024

+40-10

Commits

Commits on Jan 12, 2024

• affeq: Fix array OOB in invariant

  michael-schwarz

  committed
  022a9bc

  Copy full SHA for 022a9bc

• Simplify

  michael-schwarz

  committed
  f99f320

  Copy full SHA for f99f320

• Remark on issue with fractional coefficients

  michael-schwarz

  committed
  ca18e35

  Copy full SHA for ca18e35

• Rm spurious parens

  Show description for a521bdf
  

  michael-schwarz

  and

  jerhard

  authored
  a521bdf

  Copy full SHA for a521bdf