Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Changelog for
simple-smt-0.5.3
0.5.3: Add 'zeroExtend' and 'signExtend' 0.5.2: Fix right shift 0.5.1: Add 'define' commands 0.5: Adds more bit-wise operations 0.4: Fixes definiiton of `geq`