GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-22 14:27:51 +03:00
Code Issues Projects Releases Wiki Activity
mctrace
macaw/macaw-aarch32-symbolic
History
Ryan Scott c3c5330f7f Don't use deprecated TypeInType extension 
As of GHC 8.6, `TypeInType` is simply an alias for `DataKinds` + `PolyKinds`.
And as of GHC 9.6, `TypeInType` is deprecated. Let's just remove our uses of
`TypeInType` to avoid deprecation warnings.
2023-08-21 08:16:10 -04:00
..
src/Data/Macaw/AArch32 Don't use deprecated TypeInType extension 2023-08-21 08:16:10 -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