Ryan Scott 2f2ba118bd macaw-semmc: Avoid arithmetic overflow from negative shift amounts ... While pre-9.0 versions of GHC would silently turn negative right shifts into left shifts, GHC 9.0 will throw an `arithmetic overflow` exception instead. This patch makes this behavior explicit in `macaw-semmc` to allow the code to work on GHC 9.0. Fixes #212.		2022-01-10 16:40:23 -05:00
..
TH	Support building with GHC 9.0	2022-01-10 16:40:23 -05:00
Generator.hs	Remove the nested mux match rule from macaw core	2020-04-08 19:46:32 -07:00
Operands.hs	Warning cleanup	2021-07-15 21:22:57 -07:00
Simplify.hs	macaw-semmc: Avoid arithmetic overflow from negative shift amounts	2022-01-10 16:40:23 -05:00
TH.hs	Update to follow changes in What4. Nat is no longer a base type (#190)	2021-02-19 15:44:56 -08:00
Translations.hs	WIP Debugging rewriting rules	2020-04-08 00:04:51 -07:00