search

mit-plv / bbv

Bedrock Bit Vector Library
MIT License
27 stars 23 forks source link

Export String in {Bin,Hex}Notation #20

Closed JasonGross closed 6 years ago

JasonGross commented 6 years ago

This is required for compatibility with https://github.com/coq/coq/pull/8064, where string notations no longer follow , but instead follow .

c.f. https://github.com/coq/coq/pull/8064#issuecomment-415493362