GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-16 11:22:33 +03:00
Code Issues Projects Releases Wiki Activity
69ec23e96b
cryptol/lib
History
Brian Huffman 95cedc3135 Send symbolic typechecking goals involving != to the SMT solver. 
Fixes #528.
2018-07-18 18:35:50 -07:00
..
Cryptol.cry Add inequality constraints to types of fromThen and fromThenTo. 2018-07-11 12:58:49 -07:00
CryptolTC.z3 Send symbolic typechecking goals involving != to the SMT solver. 2018-07-18 18:35:50 -07:00