Variety of changes, preparing for separate repair code release#9

Merged

matthewsot merged 5 commits intomasterfrom matthew-v1.1-prepldi

May 7, 2021

+1,075-1,230

Commits on Apr 27, 2021

Variety of changes, preparing for separate repair code release
Matthew Sotoudeh
committed
Also include updated BMC code
Matthew Sotoudeh
committed

Commits on May 4, 2021

Test cases for the new layer methods
Matthew Sotoudeh
committed
Buildify
Matthew Sotoudeh
committed

Commits on May 7, 2021

Update README with other papers, tips
Matthew Sotoudeh
committed