Code

Extensional array equality bug fix#1028

Code

Merged

daniel-larraz merged 1 commit intokind2-mc:developkind2-mc/kind2:developfrom lorchrob:extensional-array-equality-fixlorchrob/kind2:extensional-array-equality-fixCopy head branch name to clipboardNov 3, 2023

+23-1

Commits

Commits on Nov 3, 2023

• Detect extensional array equality in complex/nested types

  lorchrob

  committed
  c710480