Search for uninterpreted names in both Cryptol and SAWCore naming environments#1657

Merged

mergify[bot] merged 4 commits intomasterfrom sb/unint-all

May 11, 2022

+35-23

Commits on May 5, 2022

Commits on May 10, 2022

Merge branch 'master' into sb/unint-all
chameco
authored

Commits on May 11, 2022

Add a test
chameco
committed