Closed seanlatias closed 5 years ago
Link to the tutorial. http://heterocl.csl.cornell.edu/doc/tutorials/tutorial_02_imperative.html#bit-operations
This PR also fixes a bug when applying a GetBit operation with other expressions. Previously, this operation will be simplified to false, which is incorrect.
Link to the tutorial. http://heterocl.csl.cornell.edu/doc/tutorials/tutorial_02_imperative.html#bit-operations
This PR also fixes a bug when applying a GetBit operation with other expressions. Previously, this operation will be simplified to false, which is incorrect.