Code

20230906 fully rename assign early#25

Code

Merged

prozacchiwawa merged 6 commits intobaseChia-Network/clvm_tools_rs:basefrom 20230906-fully-rename-assign-earlyChia-Network/clvm_tools_rs:20230906-fully-rename-assign-earlyCopy head branch name to clipboardSep 12, 2023

+20-6

Commits

Commits on Sep 6, 2023

• Pull in full renaming for assign

  prozacchiwawa

  committed
  041c2d4

• fmt + clippy

  prozacchiwawa

  committed
  ae94b0a

• Merge from backing branch

  prozacchiwawa

  committed
  88dcfdf

• Also bug fix which ensures that inner desugars aren't captured by outer renaming

  prozacchiwawa

  committed
  ec1f932

Commits on Sep 7, 2023

• Remove spam

  prozacchiwawa

  committed
  290da3c

Commits on Sep 8, 2023

• Merge remote-tracking branch 'chia/base' into 20230906-fully-rename-assign-early

  prozacchiwawa

  committed
  46d62b1