Tim Hutt

Ah it's because I have `.python-version` that contains `3.12.4`, and that version of Python was released after the version of Rye I'm using. I think this could be improved in...

Presumably this issue also exists for `vxsat`? I think we should also fix the duplicate read_csr and write_csr clauses at the same time.

> Also this whole check is only a performance optimisation. Maybe it's better just to remove it (it probably doesn't make too much difference because it's all xlenbits so GMP...

I think this was implemented in 81917bc9fa90fb129fe8b3c6c4523dc81a1356e3. But really you should just use `+`. Implicit string concatenation is a misfeature. ``` reference = ( "https://pylint.pycqa.org/en/latest/user_guide/configuration/all-options.html" + "#string-checker" ) ```

I think it's [this](https://github.com/pylint-dev/pylint/blob/866e8ad19d12a06234efe90cd75b292c4956e052/pylint/checkers/strings.py#L876C1-L878) condition that needs to change. ``` if not ( isinstance(elt, nodes.Const) and elt.pytype() in _AST_NODE_STR_TYPES ): continue ``` Unfortunately this is likely to be very difficult...

> This would lose both the existence of the hint instructions and that they explicitly have no visible architectural effects, both of which are pretty clear in the prose spec....

Actually I think the current CHERI spec uses different instructions for "capability add" so it may only be an issue for CHERIoT 1.0.

I'll make an issue in the CHERI spec.