11 Commits

Author	SHA1	Message	Date
Joe Hendrix	494f6c176d	Updates to Macaw.	2018-06-06 11:48:45 -07:00
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
Rob Dockins	4a4b9d7a8a	Minor update to track crucible API	2018-03-15 17:21:42 -07:00
Iavor Diatchki	86c730043e	Cleanup pointer manipulation operations.	2018-02-09 11:41:39 -08:00
Iavor Diatchki	561d211972	Get started on integrating the LLVM memory model.	2018-02-06 16:47:13 -08:00
Joe Hendrix	f6699b1b57	Port to use crucible syntax extensions.	2018-01-09 10:40:14 -08:00
Joe Hendrix	deab99869d	Update for parameterized-utils compat.	2018-01-02 17:31:42 -08:00
Joe Hendrix	478e7db31a	Refactor X86 semantics types; add tuples to Macaw.	2017-12-01 13:58:20 -08:00
Joe Hendrix	c77d1ac421	Remove generic quot/rem ops, and BoolMux; Refactor macaw-symbolic.	2017-10-02 14:40:14 -07:00
Joe Hendrix	7c33bf82e4	Update license information.	2017-09-27 15:59:06 -07:00
Joe Hendrix	0242a88fa6	Rename macaw to macaw-base and move directory.	2017-09-27 15:41:37 -07:00