Fix Coq translator for globals that are not applied#1749

Merged

eddywestbrook merged 2 commits intomasterfrom saw-core-coq/unapplied-def

Oct 6, 2022

+67-78

Commits on Oct 6, 2022

fixed issue #1748 by having the translation of constants use the translation for SAW core identifiers when those constants have identifiers as names; also did some refactoring and updates to the do…
Eddy Westbrook
committed
Merge branch 'master' into saw-core-coq/unapplied-def
Eddy Westbrook
authored