Mingcong Han

I'm using AMD GPU. Some of my codes have bugs. And if I kill the process, the GPU is not available. And the output of rocm-smi is: ``` ======================= ROCm...

Currently, we detect the overflow by checking if the latest counter is less than before: ``` let (c00, c01, c10, c11) = ( c00_u8.cast::(), c01_u8.cast::(), c10_u8.cast::(), c11_u8.cast::(), ); (c10 <...

Currently, we allow the lint `clippy::indexing_slicing` which is not recommended. Instead, we should use safe method for indexing.

### Description ```python import claripy b = claripy.BoolS("b") expr = claripy.If(b, claripy.BVV(2, 32), claripy.BVV(3, 32)) new_expr = expr.replace(b, claripy.BoolV(True)) ``` Error: ``` @staticmethod 41 def _check_replaceability(old, new): ---> 42 if...

### Describe the feature you'd like: An issue might be fixed by a PR without being mentioned by the PR. If the assignee has the authority to close the issue...