Code

Generic integer semantics#51

Code

Open

qaco wants to merge 5 commits intoopencompl:mainopencompl/xdsl-smt:mainfrom qaco:general_int_semanticsqaco/xdsl-smt:general_int_semanticsCopy head branch name to clipboard

+594-116

Commits

Commits on Dec 12, 2024

• Parametric int semantics

  qaco

  committed
  a506334

  Copy full SHA for a506334

Commits on Dec 16, 2024

• First pass on reviews

  qaco

  committed
  847e122

  Copy full SHA for 847e122

• Simple equality in the refinement

  qaco

  committed
  eac26c9

  Copy full SHA for eac26c9

• Make pyright happy

  qaco

  committed
  b609f81

  Copy full SHA for b609f81

• Hide unused return values

  qaco

  committed
  455f697

  Copy full SHA for 455f697