Code

Refactor of clauses#662

Code

Merged

W95Psp merged 5 commits intomainhacspec/hax:mainfrom clauses-661hacspec/hax:clauses-661Copy head branch name to clipboardMay 15, 2024

+171-154

Commits

Commits on May 15, 2024

• refactor(exporter): split new into multiple modules

  W95Psp

  committed
  364d2a4

• fix(exporter): cargo doc: enable --document-private-items

  W95Psp

  committed
  153c496

• feat(exporter): introduce PredicateId

  W95Psp

  committed
  a9e63c3

• feat(exporter): drop clause ids, use PredicateId both on Predicates and Clauses

  Show description for ade0cfe
  W95Psp

  committed
  ade0cfe

• chore: refresh test snapshots

  W95Psp

  committed
  e259b17