GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-02 23:25:03 +03:00
Code Issues Projects Releases Wiki Activity
d377f38c9d
cryptol/lib
History
Brian Huffman 20b9b1c193 Rename prelude function width to length, and generalize its type. 
Fixes #550.
2018-10-10 16:21:38 -07:00
..
Cryptol.cry Rename prelude function width to length, and generalize its type. 2018-10-10 16:21:38 -07:00
CryptolTC.z3 Reformulate the property, so that Z3 can still find models. 2018-09-15 11:04:37 +03:00