Code

Created rewrite tactic#746

Code

Merged

gares merged 8 commits intoLPCIC:masterLPCIC/coq-elpi:masterfrom patrick-nicodemus:rewritepatrick-nicodemus/coq-elpi:rewriteCopy head branch name to clipboardJan 23, 2025

Commits

Commits on Jan 19, 2025

• Created rewrite tactic

  patrick-nicodemus

  committed
  e00ff5b

  Copy full SHA for e00ff5b

• Update rewrite.v

  patrick-nicodemus

  authored
  a04f24a

  Copy full SHA for a04f24a

• minor change

  patrick-nicodemus

  committed
  041fcf4

  Copy full SHA for 041fcf4

• some more tests

  patrick-nicodemus

  committed
  f6ff17b

  Copy full SHA for f6ff17b

• Updated notations

  patrick-nicodemus

  committed
  9ef2af9

  Copy full SHA for 9ef2af9

• Fixes in response to Enrico's comments.

  patrick-nicodemus

  committed
  0873629

  Copy full SHA for 0873629

Commits on Jan 21, 2025

• Strong and weak forms of rewrite

  patrick-nicodemus

  committed
  ea72a39

  Copy full SHA for ea72a39

• Fixed suggestions

  patrick-nicodemus

  committed
  c3df3b1

  Copy full SHA for c3df3b1