mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-08-17 09:50:35 +03:00
Currently, this primitive (like the other Array primitives) has no computational interpretation, and is only used for stating specifications that are used in SAW. As such, there are no changes to the interpreter. |
||
---|---|---|
.. | ||
Cryptol | ||
Array.cry | ||
Cryptol.cry | ||
CryptolTC.z3 | ||
Float.cry | ||
PrimeEC.cry | ||
SuiteB.cry |