search

GaloisInc / cryptol

Cryptol: The Language of Cryptography
https://galoisinc.github.io/cryptol/master/RefMan.html
BSD 3-Clause "New" or "Revised" License
1.14k stars 126 forks source link

Remove bitvectors width from the value tag. #1751

Closed yav closed 2 months ago

yav commented 2 months ago

Fixes #1740. We can do this because the values (WordVal) already has its width, so we don't need to store it again.