GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-17 04:44:39 +03:00
Code Issues Projects Releases Wiki Activity
4f1a743585
cryptol/lib
History
Brian Huffman ab000984d2 Remove redundant prelude functions not, extend, and extendSigned. 
These were recently moved here from Cryptol::Extras. They are duplicates
of existing functions `complement`, `zext`, and `sext`.

See #427.
2018-05-24 14:41:09 -07:00
..
Cryptol.cry Remove redundant prelude functions not, extend, and extendSigned. 2018-05-24 14:41:09 -07:00
CryptolTC.z3 Switch to infix syntax for blocks and padding operators. 2017-09-28 10:26:31 -07:00