Code

Fix dependencies bounded integers#808

Code

Open

W95Psp wants to merge 7 commits intomainhacspec/hax:mainfrom fix-dependencies-bounded-integershacspec/hax:fix-dependencies-bounded-integersCopy head branch name to clipboard

+80-5

Commits

Commits on Nov 28, 2024

• feat(libs): support neg on math ints

  W95Psp

  committed
  e35202f

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

  W95Psp

  committed
  c6da3bd

• chore: update tests

  W95Psp

  committed
  ef35ae9

• feat: generate doc for hax-bounded-integers

  W95Psp

  committed
  5f628b6

• chore: dune fmt

  W95Psp

  committed
  c444331

• chore(tests): update Cargo.lock

  W95Psp

  committed
  1cc270f

• chore: udpate test snapshots

  W95Psp

  committed
  e086d99