28 Commits

Author	SHA1	Message	Date
Joe Hendrix	478e7db31a	Refactor X86 semantics types; add tuples to Macaw.	2017-12-01 13:58:20 -08:00
Joe Hendrix	e0417a09a1	Merge branch 'master' of github.com:GaloisInc/macaw	2017-11-22 14:08:49 -08:00
Joe Hendrix	2bd710b49d	Move global function argument analysis to Macaw; Syscall changes ... We also moved the syscall interface to be X86 specific to be compat with earlier changes.	2017-11-22 14:07:55 -08:00
Joe Hendrix	4377e8c46e	Update for language-c >= 0.6 compat.	2017-11-21 09:59:30 -08:00
Ben Selfridge	a10edcf56a	added Cabal to stack.yaml dependencies	2017-11-09 16:13:05 -08:00
Ben Selfridge	bf0b6813d2	add cabal-doctest to stack.yaml	2017-11-09 16:02:34 -08:00
Ben Selfridge	9caacd01ef	added needed submodules	2017-11-09 15:00:23 -08:00
Ben Selfridge	b19c7e3ab6	deleted badly added submodules	2017-11-09 14:59:01 -08:00
Ben Selfridge	c39ac71631	still fixing travis	2017-11-09 10:59:47 -08:00
Ben Selfridge	4467a29728	Moved .travis.yml up to macaw root, testing travis-ci again	2017-11-08 14:26:22 -08:00
Ben Selfridge	afeb8f77c9	New Travis script	2017-11-08 12:05:28 -08:00
Ben Selfridge	ff7bff7108	Added submodules to macaw/x86/tests.	2017-11-07 14:40:49 -08:00
Joe Hendrix	9b2b95512d	Add support for memory "regions" to better support relocatable files.	2017-11-07 13:15:03 -08:00
Ben Selfridge	580cb634cd	Fixed macaw-x86 test suite, all tests seem to pass fine.	2017-11-01 15:56:54 -07:00
Joe Hendrix	b99927f3b0	Fix issue in architecture-specific statement addresses.	2017-10-31 12:00:09 -07:00
Joe Hendrix	8e9b453189	Simplify demand computation.	2017-10-27 16:24:16 -07:00
Joe Hendrix	f7503f12a5	Generalize ArchStmt.	2017-10-27 15:57:36 -07:00
Joe Hendrix	4c67e08e21	Generalize semantics of architecture-specific term statement. ... This also makes some small changes/improvments to the rewriter and removes redundent argument from x86-backend.	2017-10-27 09:26:26 -07:00
Joe Hendrix	16693d4a63	Generalize disassembler so that it can be used with ST RealWorld.	2017-10-23 13:55:58 -07:00
Joe Hendrix	5eaf2605ed	Add support for adc/sbb.	2017-10-17 11:50:23 -07:00
Joe Hendrix	135add62ae	Minor refactorings so ARM disassembler doesn't need MemSegmentOff.	2017-10-12 23:34:39 -07:00
Joe Hendrix	c95d3e7d0f	Cleanups to Macaw.	2017-10-10 11:38:28 -07:00
Joe Hendrix	b17122e4c5	Fix macaw-symbolic compile error; add additional operands.	2017-10-06 14:35:22 -07:00
Joe Hendrix	dd7c817702	Modify BVTestBit to require arguments have same width.	2017-10-06 11:22:55 -07:00
Joe Hendrix	1ebc6f247b	Make X86Stmt more generic to reuse code in reopt.	2017-10-02 17:02:00 -07: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	4dcb26ebee	Add x86 specific code.	2017-09-27 15:54:43 -07:00