Langston Barrett ecb2a3650c symbolic: Remove redundant unwrapping/rewrapping of register struct ... There was a lot of redundant unwrapping and re-wrapping of the assignment of `TypeRepr`s to the architecture register context into and out of a `StructRepr`. Remove this. Also, add an hlint configuration file to help avoid this in the future, and a Github Actions workflow to enforce this in CI.		2024-09-11 16:26:10 -07:00
..
workflows	symbolic: Remove redundant unwrapping/rewrapping of register struct	2024-09-11 16:26:10 -07:00
ci.sh	Update to follow changes in What4. Nat is no longer a base type (#190)	2021-02-19 15:44:56 -08:00