Code

Generalize bounded ints#723

Code

Merged

github-merge-queue[bot] merged 4 commits intomaincryspen/hax:mainfrom generalize-bounded-intscryspen/hax:generalize-bounded-intsCopy head branch name to clipboardJun 24, 2024

+344-142

Commits

Commits on Jun 24, 2024

• chore(bounded-ints): refresh snapshot

  

  Lucas Franceschino

  authored and

  W95Psp

  committed
  0e16b67

  Copy full SHA for 0e16b67

• feat(bounded-ints): add refinement_int macro

  

  Lucas Franceschino

  authored and

  W95Psp

  committed
  fcb88bf

  Copy full SHA for fcb88bf

• feat(bounded-ints): add AddAssign and SubAssign

  

  Lucas Franceschino

  authored and

  W95Psp

  committed
  ebd667a

  Copy full SHA for ebd667a

• chore(bounded-ints): refresh snapshot

  

  Lucas Franceschino

  authored and

  W95Psp

  committed
  cf6012d

  Copy full SHA for cf6012d