Allow pruning borrowcheck fact base when calculating aliases#80

Merged

willcrichton merged 3 commits intowillcrichton:masterfrom brownsys:upstream-update

Aug 31, 2023

+29-2

Commits on Jul 18, 2023

Configurable alias analysis
JustusAdam
committed

Commits on Aug 30, 2023

Merge remote-tracking branch 'fork/master' into upstream-update
JustusAdam
committed

Commits on Aug 31, 2023

Move polonius engine import
JustusAdam
committed