Dictionary translation changes for comparisons#1582

Merged

mergify[bot] merged 4 commits intomasterfrom cmp-lt

Feb 15, 2022

+59-13

Commits on Feb 15, 2022

Add lt field to Cmp dictionary.
Brian Huffman
committed
Fix bug in unitCmp that caused < to return incorrect results.
Brian Huffman
committed
Add le field to Cmp dictionary.
Brian Huffman
committed
Eta-contract some definitions in Cryptol.sawcore.
Brian Huffman
committed