Code

Add int-simplification builtin#2840

Code

Draft

ehildenb wants to merge 3 commits intodevelopruntimeverification/k:developfrom int-simplificationruntimeverification/k:int-simplificationCopy head branch name to clipboard

+135

Commits

Commits on Aug 30, 2022

• k-distribution/builtins/int-simplification.md: initial version of generic INT-SIMPLIFICATION module

  ehildenb

  committed
  a6cdf9f

Commits on Nov 1, 2023

• Merge branch 'develop' into int-simplification

  Baltoli

  authored
  bbb4521

Commits on Feb 19, 2024

• Merge branch 'develop' into int-simplification

  Baltoli

  authored
  e0586d7