Ryan Scott 7e346081a5 Fix -Wtype-equality-requires-operators warnings ... GHC 9.4 adds `-Wtype-equality-requires-operators` to `-Wall`, which warns about certain uses of type equalities that are not forward-compatible with planned changes in GHC. See [this section](https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.4?version_id=b60e52482a666d25638d59cd7e86851ddf971dc1#-is-now-a-type-operator) of the GHC 9.4 Migration Guide. These warnings are easily fixed by enabling the `TypeOperators` extension.		2023-04-18 15:17:23 -04:00
..
src/Data/Macaw/AArch32	Fix -Wtype-equality-requires-operators warnings	2023-04-18 15:17:23 -04:00
tests	macaw-symbolic: Test both memory model configurations in test suites	2023-03-14 13:27:07 -04:00
CHANGELOG.md	Add a (dummy) symbolic backend for AArch32	2020-04-05 21:16:03 -07:00
LICENSE	Add a (dummy) symbolic backend for AArch32	2020-04-05 21:16:03 -07:00
macaw-aarch32-symbolic.cabal	aarch32: Implement support for conditional calls (#289)	2022-05-20 15:17:26 -07:00
Setup.hs	Add a (dummy) symbolic backend for AArch32	2020-04-05 21:16:03 -07:00