Code

more principled generic printer#533

Code

Merged

W95Psp merged 22 commits intomaincryspen/hax:mainfrom rust-generic-printercryspen/hax:rust-generic-printerCopy head branch name to clipboardOct 22, 2024

+2,604-615

Commits

Commits on Sep 30, 2024

• feat(engine): introduce a new generic printer

  W95Psp

  committed
  7b8bafa

  Copy full SHA for 7b8bafa

• fix: rustc update minor changes

  

  Lucas Franceschino

  authored and

  W95Psp

  committed
  2ee810c

  Copy full SHA for 2ee810c

• fix: minor fixes after rebasing

  W95Psp

  committed
  c10e43f

  Copy full SHA for c10e43f

• refactor: rename Generic_printer to Deprecated_generic_printer

  W95Psp

  committed
  03a84bd

  Copy full SHA for 03a84bd

• refactor: rename New_generic_printer to Generic_printer

  W95Psp

  committed
  8033453

  Copy full SHA for 8033453

• refactor: inline github:W95psp/ocaml-sourcemaps in the repo

  W95Psp

  committed
  c972606

  Copy full SHA for c972606

Commits on Oct 2, 2024

• refactor(engine/ast): move witness on the RHS of the tuple

  W95Psp

  committed
  794be5b

  Copy full SHA for 794be5b

Commits on Oct 8, 2024

• misc: generic printer

  W95Psp

  committed
  06a0ded

  Copy full SHA for 06a0ded

• refactor(engine): rename pat'.PConstruct fields similarly to expr'.Construct

  Show description for bf6a12b
  W95Psp

  committed
  bf6a12b

  Copy full SHA for bf6a12b

Commits on Oct 21, 2024

• Updates based on Coq backend needs

  cmester0

  committed
  570822e

  Copy full SHA for 570822e

• Merge branch 'main' into rust-generic-printer

  W95Psp

  committed
  4b3caa4

  Copy full SHA for 4b3caa4

• fixup merge

  W95Psp

  committed
  0d9908e

  Copy full SHA for 0d9908e

• feat(gen-print): split expr::GlobalVar

  W95Psp

  committed
  d93c2f5

  Copy full SHA for d93c2f5

• feat(engine/ast): Impl: of_trait: global ident -> concrete

  W95Psp

  committed
  80a5566

  Copy full SHA for 80a5566

• dune fmt

  W95Psp

  committed
  8c6cb91

  Copy full SHA for 8c6cb91

• feat(gen-print): better ergnonmics for generics

  W95Psp

  committed
  7bd736c

  Copy full SHA for 7bd736c

• feat(gen-print): item'_Type_struct: tuple_struct arg

  W95Psp

  committed
  8c703a0

  Copy full SHA for 8c703a0

• feat(gen-print): rename variant to enum variant

  W95Psp

  committed
  2cf1d1a

  Copy full SHA for 2cf1d1a

• refactor(gen-print): doc, clean things up

  W95Psp

  committed
  632484b

  Copy full SHA for 632484b

Commits on Oct 22, 2024

• chore(engine): remove stale comment

  W95Psp

  committed
  4bac27e

  Copy full SHA for 4bac27e

• Merge branch 'main' into rust-generic-printer

  W95Psp

  committed
  94cc5d6

  Copy full SHA for 94cc5d6

• fix(sourcemaps): include ppx yojson primitives

  W95Psp

  committed
  e468f22

  Copy full SHA for e468f22