mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-10-03 17:07:41 +03:00
4f2cf7d5fa
This is a bit of an overkill, as clearly 0 doesn't need it, but it ensures maximum compatibility with the old behavior. |
||
---|---|---|
.. | ||
Cryptol | ||
Array.cry | ||
Cryptol.cry | ||
CryptolTC.z3 | ||
Float.cry | ||
PrimeEC.cry | ||
SuiteB.cry |