Code

Reduction Rule#995

Code

Merged

ice1000 merged 30 commits intomainaya-prover/aya-dev:mainfrom fn-shapeaya-prover/aya-dev:fn-shapeCopy head branch name to clipboardDec 13, 2023

+755-203

Commits

Commits on Dec 11, 2023

• shape: shaped term for +

  HoshinoTented

  committed
  8925122

• core: improve

  

  ice1000

  authored and

  HoshinoTented

  committed
  438a4f2

• shape: remove restriction

  HoshinoTented

  committed
  edd0a9d

• shape: incomplete ShapedFnCall

  HoshinoTented

  committed
  9c972a9

• shape: more complete ShapeFnCall

  HoshinoTented

  committed
  dab588e

• shape: TermComparator

  HoshinoTented

  committed
  d4d59c2

• shape: fix Pat for ShapedFnCall

  HoshinoTented

  committed
  ba793c7

• shape: misc

  HoshinoTented

  committed
  103add1

• misc: manual for Term

  HoshinoTented

  committed
  e88d542

• shape: impl serde

  HoshinoTented

  committed
  9dffdd6

• misc: revert naive deletion

  HoshinoTented

  committed
  a213178

• shape: complete serde

  HoshinoTented

  committed
  88b8b9e

• misc: rename

  HoshinoTented

  committed
  c29ee8f

• shape: revert naive deletion again

  HoshinoTented

  committed
  9b8dbab

• misc: useful function for Arg

  HoshinoTented

  committed
  726e771

• shape: unifying ConCall and IntegerTerm

  HoshinoTented

  committed
  24c5c98

• shape: adapting ConCallLike and ReduceRule

  HoshinoTented

  committed
  8138c27

• shape: serde

  HoshinoTented

  committed
  85146dc

• shape: fixes some tests

  HoshinoTented

  committed
  28bcc63

• misc: document

  HoshinoTented

  committed
  24a7ed9

• fn-shape: adapting

  HoshinoTented

  committed
  2b9ba41

• fn-shape: don't use NAT

  HoshinoTented

  committed
  0b4846a

• fn-shape: IntegerOpsTerm is not Term

  HoshinoTented

  committed
  03321b8

• fn-shape: better interface

  HoshinoTented

  committed
  4b250c8

• fn-shape: better name

  HoshinoTented

  committed
  3968376

• fn-shape: so is IntegerTerm

  HoshinoTented

  committed
  4e1d5c4

Commits on Dec 12, 2023

• misc: code review

  Show description for bcba9b4
  

  ice1000

  and

  HoshinoTented

  committed
  bcba9b4

• misc: todo

  HoshinoTented

  committed
  41f14d2

• misc: more code review

  Show description for 6fb5542
  

  ice1000

  and

  HoshinoTented

  committed
  6fb5542

Commits on Dec 13, 2023

• misc: I want to eat lamb

  Show description for 9a364e9
  

  ice1000

  and

  HoshinoTented

  committed
  9a364e9