Daniel Matichuk 5b4d16dd8a generalize treatment for terminal statements in CFG slicing code (#278) ... * remove/generalize MacawBlockEnd from CFG slicing * expose functions in symbolic backend * hide bvLit from Backend import * add CI version to workflow		2022-04-20 10:08:15 -07:00
..
src/Data/Macaw/X86	generalize treatment for terminal statements in CFG slicing code (#278)	2022-04-20 10:08:15 -07:00
tests	Update with changes flowing from GaloicInc/crucible#945.	2022-01-24 16:24:07 -08:00
LICENSE	Add macaw-x86-symbolic	2018-01-02 22:50:23 -08:00
macaw-x86-symbolic.cabal	Drop support for GHC 8.6	2022-01-10 16:40:23 -05:00