159 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Ben Selfridge	c6c1556da2	still fixing travis	2017-11-09 14:00:13 -08:00
Ben Selfridge	f05f94ecf2	stillfixingtravis	2017-11-09 13:51:55 -08:00
Ben Selfridge	51eb17604c	s t i l l f i x i n g t r a v i s	2017-11-09 13:38:53 -08:00
Ben Selfridge	d2453521da	sTiLl FiXiNg TrAvIs	2017-11-09 13:29:55 -08:00
Ben Selfridge	b2a23dc958	still fixing travissssss	2017-11-09 13:23:02 -08:00
Ben Selfridge	2f71dcffaa	still fixing travis	2017-11-09 12:59:59 -08:00
Ben Selfridge	5180555701	still fixing travis	2017-11-09 12:35:46 -08:00
Ben Selfridge	39bc901e35	still fixing travis	2017-11-09 12:19:23 -08:00
Ben Selfridge	c39ac71631	still fixing travis	2017-11-09 10:59:47 -08:00
Ben Selfridge	9980986069	still fixing travis	2017-11-08 16:31:23 -08:00
Ben Selfridge	9fffce06e8	still fixing travis	2017-11-08 16:19:37 -08:00
Ben Selfridge	c9c911ca7e	Still trying to get travis ci working	2017-11-08 16:10:55 -08:00
Ben Selfridge	2b3547fd18	trying to fix travis-ci	2017-11-08 14:34:15 -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	a3eb8f6d14	Empty commit; testing travis-ci	2017-11-08 14:19:49 -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	f34642e398	Fix macaw-symbolic to work with macaw-base changes.	2017-10-27 16:40:21 -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	3f9e470b84	Fix macaw-symbolic compile error.	2017-10-17 14:09:48 -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	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	4dcb26ebee	Add x86 specific code.	2017-09-27 15:54:43 -07:00
Joe Hendrix	0242a88fa6	Rename macaw to macaw-base and move directory.	2017-09-27 15:41:37 -07:00
Joe Hendrix	7a31a65e1d	Fix macaw-symbolic to support generalized ArchFn.	2017-09-27 14:38:36 -07:00
Joe Hendrix	950f0285ae	Eliminate custom traverals of App in favor of parameterized-utils traversals.	2017-09-27 14:32:48 -07:00
Joe Hendrix	8a70d9aee4	Generalize ArchFn result type.	2017-09-27 13:49:58 -07:00
Joe Hendrix	5617cd1429	Start implementing macaw-symbolic.	2017-09-26 13:26:57 -07:00
Joe Hendrix	bc885fd292	Migrate architecture-specific translation functions.	2017-09-25 15:50:16 -07:00
Joe Hendrix	2c229bcaac	Migrate Syscall to Architecture-specific statement.	2017-09-12 23:56:47 -07:00
Joe Hendrix	00a087b294	Introduce ArchTermStmt.	2017-09-12 15:58:38 -07:00
Ben Selfridge	f869aba9bb	Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw	2017-09-12 13:08:51 -07:00