Rob Dockins c382b59bed Bump crucible submodule to pull in crucible/what4 split refactor, ... and update macaw-symbolic and macax-x86-symbolic.		2018-05-15 15:58:14 -07:00
..
crucible@4deb95fa52	Bump crucible submodule to pull in crucible/what4 split refactor,	2018-05-15 15:58:14 -07:00
dwarf@9f9e04eddc	Move macaw stack.yaml to root for similiarity with other Galois packages.	2018-04-24 09:05:36 -07:00
elf-edit@81891986f3	Move macaw stack.yaml to root for similiarity with other Galois packages.	2018-04-24 09:05:36 -07:00
flexdis86@497854b1ee	Move macaw stack.yaml to root for similiarity with other Galois packages.	2018-04-24 09:05:36 -07:00
llvm-pretty@d2fb5fc1e6	Add crucible so we can build macaw-symbolic on travis.	2018-04-25 00:16:53 -07:00
parameterized-utils@3e6a0e8756	Move macaw stack.yaml to root for similiarity with other Galois packages.	2018-04-24 09:05:36 -07:00