Code

feat(hax-lib): intro. hax feature#983

Code

Merged

W95Psp merged 19 commits intomainhacspec/hax:mainfrom dummy-libhacspec/hax:dummy-libCopy head branch name to clipboardNov 13, 2024

+665-340

Commits

Commits on Oct 10, 2024

• refactor: move hax-lib-macros to hax-lib/macros

  W95Psp

  committed
  0ab5ebc

• feat(hax-lib): intro. hax feature

  W95Psp

  committed
  c4791b5

• fix: examples and tests: never use hax-lib-macros, use hax-lib instead

  W95Psp

  committed
  7e0d95f

Commits on Nov 7, 2024

• Merge branch 'main' into dummy-lib

  karthikbhargavan

  authored
  cdf31c0

• actually disable macros with cfg

  franziskuskiefer

  committed
  2abfd04

• use hax config across the workspace

  franziskuskiefer

  committed
  89537c7

• dummy implementation for more hax-lib functions

  karthikbhargavan

  committed
  250ce4e

• undoing config to test CI

  karthikbhargavan

  committed
  fd12d35

• restored cargo config

  karthikbhargavan

  committed
  c14d5ea

Commits on Nov 12, 2024

• feat(jq): add jq filters file generally useful for working and debugging Json THIR

  Show description for 0932d6c
  W95Psp

  committed
  0932d6c

• fix(engine/names): name extraction now discards macros

  W95Psp

  committed
  7bd7d75

• fix: fmt

  W95Psp

  committed
  3841edc

• fix: get rid entirely of the feature hax in favor of cfg(hax)

  W95Psp

  committed
  842f054

• fix: bad logic in matches, we want to negate the matches

  W95Psp

  committed
  1b3ef89

• feat(hax-lib/macros): add dummy int!

  W95Psp

  committed
  d37c423

• revert error message if using unsafe_expr in non-hax contextes

  W95Psp

  committed
  40d14c0

• feat(hax-lib/macros): add dummy impl_fn_decoration!, trait_fn_decoration and loop_invariant

  W95Psp

  committed
  cbc84ca

Commits on Nov 13, 2024

• fix: revert cfg: we don't want to filter things out

  W95Psp

  committed
  ef6607f

• Merge branch 'main' into dummy-lib

  W95Psp

  committed
  d76b7e0