30 Commits

Author	SHA1	Message	Date
Iavor Diatchki	1f2e80f1a5	Implement a couple of instructions	2017-12-18 16:53:27 -08:00
Joe Hendrix	209c3c1aba	Elf-load symbol table information support non-absolute addresses.	2017-12-11 15:14:22 -08:00
Joe Hendrix	0c9efc984c	Revise parameterized-utils list cons.	2017-12-08 11:43:56 -08:00
Joe Hendrix	b9eda0a9b9	Use more parameterized-utils features.	2017-12-07 00:24:04 -08:00
Joe Hendrix	32b53b96b1	Migrate floating point code to architecture specific backends. ... This should complete the transition so that all App values are total functions, and functions with side effects are architecture-specific.	2017-12-06 16:58:33 -08:00
Joe Hendrix	4d5b90e285	Begin cleaning up floating point and x86-specific functions.	2017-12-05 13:31:12 -08:00
Joe Hendrix	be8e0cff26	Fiz tuple field to actually take tuple as argument.	2017-12-01 14:46:46 -08:00
Joe Hendrix	478e7db31a	Refactor X86 semantics types; add tuples to Macaw.	2017-12-01 13:58:20 -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	e62b4e4e56	Add Show instance for MemRepr.	2017-11-20 15:05:13 -08:00
Joe Hendrix	9b2b95512d	Add support for memory "regions" to better support relocatable files.	2017-11-07 13:15:03 -08: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	ac0a59674a	Export simplification functions.	2017-10-25 15:43:54 -07:00
Joe Hendrix	bcea135f2c	Export additional types from discovery.	2017-10-23 14:59:37 -07:00
Joe Hendrix	f29ffca628	Merge branch 'master' of github.com:GaloisInc/macaw	2017-10-23 13:57:14 -07:00
Joe Hendrix	16693d4a63	Generalize disassembler so that it can be used with ST RealWorld.	2017-10-23 13:55:58 -07:00
Tristan Ravitch	537bcceafa	Add floating point negation to the App type	2017-10-18 13:41:12 -07:00
Tristan Ravitch	618857f21d	Add a constructor to the App type for floating point absolute value	2017-10-18 11:17:00 -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	c77d1ac421	Remove generic quot/rem ops, and BoolMux; Refactor macaw-symbolic.	2017-10-02 14:40:14 -07:00
Joe Hendrix	1cfe6cf08c	Update READMEs.	2017-09-27 16:12:44 -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