Tristan Ravitch c825332f39 Update/ghc 8.8 (#112) ... Updates for GHC 8.8 The two main classes of update are related to MonadFail and type alias expansion. The MonadFail updates introduce explicit MonadFail instances and backward-compatible `fail` implementations under `Monad` for older GHC versions. The type alias expansion rules changed in GHC 8.8 in a way that breaks the `Simple Lens` idiom; instead, we have to use `Lens'`. Lens started supporting this alias in version 3.8, which was released in 2013. This change includes necessary submodule updates, as well as the update for the split of what4 into its own repository.		2020-03-03 13:28:26 -08:00
..
src/Data/Macaw	Update/ghc 8.8 (#112)	2020-03-03 13:28:26 -08:00
support	Add x86-support to travis	2019-03-26 08:21:01 -07:00
tests	Add testcase for non-zero index jumptable.	2019-12-04 14:31:45 -08:00
x86_tests	Segment register updates; stack offset calculation.	2019-09-20 13:58:05 -07:00
.gitignore	Add x86 specific code.	2017-09-27 15:54:43 -07:00
LICENSE	Update license information.	2017-09-27 15:59:06 -07:00
macaw-x86.cabal	Semantics for MULX from BMI2 and all of ADX	2019-12-19 10:43:54 -05:00