124 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Tristan Ravitch	20e5b5f00d	Add some type instance declarations for ppc32 and ppc64	2017-10-02 13:35:04 -07:00
Ben Selfridge	0526c6ae21	merging	2017-10-02 12:55:52 -07:00
Ben Selfridge	6f0d49f76e	Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw-semmc	2017-10-02 12:54:43 -07:00
Tristan Ravitch	90a9c5ff65	Generalize the architecture info def ... Now we can use the same infrastructure for PPC32 and PPC64. There might be some rough edges, but we can work around those with type functions. This change also adds an implementation for the preserved registers across system calls for macaw.	2017-10-02 11:44:46 -07:00
Ben Selfridge	136d772abf	merging some things	2017-10-02 11:23:08 -07:00
Tristan Ravitch	4d9c7cd028	Split up the functions that will comprise ppc_linux_info	2017-10-02 11:19:34 -07:00
Ben Selfridge	677ba803b3	Added a couple things	2017-10-02 11:10:00 -07:00
Tristan Ravitch	1f1a6d8561	Abstract the stubs to work for ppc32 and ppc64	2017-10-02 10:59:40 -07:00
Tristan Ravitch	61218ca31d	Add stubs for most of the architecture info functions	2017-10-02 10:54:10 -07:00
Tristan Ravitch	45f08a2036	Fill in the endianness of the arch info	2017-10-02 10:37:44 -07:00
Tristan Ravitch	7f1e2b1ede	Add a cabal.project file for cabal new-build	2017-10-02 10:33:05 -07:00
Tristan Ravitch	c997e2dada	Use explicit exports for PPCReg	2017-10-02 10:32:58 -07:00
Tristan Ravitch	6b967e1e8a	Fill out the fields of ppc_linux_info	2017-10-02 10:32:05 -07:00
Tristan Ravitch	cdd9647db9	Simplify some helpers in macaw-ppc ... Use the MonadState combinators and a lift instead of explicitly wrapping monadic actions.	2017-10-02 10:27:12 -07:00
Tristan Ravitch	202a95b959	Re-use the PPC arch tag (specifically, PPC64) from semmc-ppc	2017-10-02 10:26:51 -07:00
Tristan Ravitch	8820b01805	Depend on semmc/semmc-ppc and enable warnings	2017-10-02 10:26:39 -07:00
Tristan Ravitch	07ff647dcf	Add some missing instances for PPCReg	2017-10-02 09:40:17 -07:00
Tristan Ravitch	8bea5edb17	Update semmc again	2017-10-02 09:22:47 -07:00
Tristan Ravitch	8e981b94bd	Update the macaw and semmc submodules ... The semmc submodule seemed to point to a non-existent commit.	2017-10-02 09:19:15 -07:00
Tristan Ravitch	b298b26355	Remove the macaw submodule (it moved)	2017-10-02 09:16:22 -07:00
Ben Selfridge	7a443bfe99	added a few more functions for PPCGenerator	2017-09-29 17:35:29 -07:00
Ben Selfridge	b234b673f9	Added addStmt to PPCGenerator monad	2017-09-29 15:37:41 -07:00
Ben Selfridge	65a7e8c17c	second commit	2017-09-29 09:37:45 -07:00
Ben Selfridge	bf9b320e38	first commit	2017-08-28 15:48:55 -07:00