Code

Fix dependencies bounded integers#808

Code

Open

W95Psp wants to merge 8 commits intomaincryspen/hax:mainfrom fix-dependencies-bounded-integerscryspen/hax:fix-dependencies-bounded-integersCopy head branch name to clipboard

Commits

Commits on Nov 28, 2024

• feat(libs): support neg on math ints

  W95Psp

  committed
  e35202f

  Copy full SHA for e35202f

• fix(bounded-integers): expose dependencies required for the macro

  W95Psp

  committed
  c6da3bd

  Copy full SHA for c6da3bd

• chore: update tests

  W95Psp

  committed
  ef35ae9

  Copy full SHA for ef35ae9

• feat: generate doc for hax-bounded-integers

  W95Psp

  committed
  5f628b6

  Copy full SHA for 5f628b6

• chore: dune fmt

  W95Psp

  committed
  c444331

  Copy full SHA for c444331

• chore(tests): update Cargo.lock

  W95Psp

  committed
  1cc270f

  Copy full SHA for 1cc270f

• chore: udpate test snapshots

  W95Psp

  committed
  e086d99

  Copy full SHA for e086d99

Commits on Jan 23, 2025

• Merge branch 'main' into fix-dependencies-bounded-integers

  W95Psp

  authored
  6f4fd06

  Copy full SHA for 6f4fd06