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
refinement-reopt
macaw/macaw-aarch32/src/Data/Macaw
History
Ryan Scott c1a1449ec2 Enable -Wno-orphans to fix warnings uncovered by GHC 9.8 
GHC 9.8 is better about reporting orphan type family instances, which are used
in various spots in Macaw. Enable `-Wno-orphans` to suppress these warnings.
2024-08-08 09:34:03 -04:00
..
ARM Enable -Wno-orphans to fix warnings uncovered by GHC 9.8 2024-08-08 09:34:03 -04:00
ARM.hs Add basic support for simulating PLT stubs and shared libraries 2023-02-23 17:16:12 -05:00