Share bodies instead of copying them#9

Open

AlexandreTunstall wants to merge 17 commits intomasterfrom

feature/sharing

Commits on Apr 24, 2022

Share bodies instead of copying them
AlexandreTunstall
committed

Commits on Apr 27, 2022

Avoid duplicate arguments when sharing
AlexandreTunstall
committed

Commits on Apr 28, 2022

Commits on Apr 29, 2022

Add missing Branch3P/Dead interaction
AlexandreTunstall
committed

Commits on May 2, 2022

Switch to a faster book-keeping strategy
AlexandreTunstall
committed

Commits on May 9, 2022

Revert "Switch to a faster book-keeping strategy"
AlexandreTunstall
committed

Commits on Jun 23, 2022

Avoid propagating branches through expressions
AlexandreTunstall
committed

Commits on Jun 25, 2022

Commits on Jun 27, 2022