Joe Hendrix
17c09c974f
Bump submodules; clarify stack offset abstract values
2019-07-01 16:35:47 -07:00
Joe Hendrix
c3f747aa86
Update dependencies/minor corrections.
2019-06-05 09:02:25 -04:00
Joe Hendrix
41a75597a0
Submodule/stack updates.
2019-05-28 14:25:50 -07:00
Joe Hendrix
15676a2e45
Bump versions; Update macaw-symbol for conditional write.
2019-04-17 21:36:49 -07:00
Joe Hendrix
809e6e8ce2
Bump submodules.
2019-04-03 16:42:03 -07:00
Joe Hendrix
fd397a80d8
Update dependencies
2019-03-22 09:41:29 -07:00
Kevin Quick
228b0085d6
Update macaw-loader and semmc submodule versions.
2019-02-18 15:02:08 -08:00
Kevin Quick
101a638add
Eliminate duplication in submodules.
2019-02-18 11:42:24 -08:00
Tristan Ravitch
b0de116aa8
Update submodules
...
Includes a minor breaking change from macaw
2019-01-22 21:37:39 -08:00
Tristan Ravitch
fa8a9c5403
Update to the latest macaw
...
This includes a minor change: a new required field for the blocks returned by
the machine-specific disassembler. The information was already readily
available in this backend.
2019-01-10 22:26:36 -08:00
Tristan Ravitch
cfcc1fc0d4
Update to the latest macaw-symbolic
...
There was some API churn, mostly a few renames and new modules.
2019-01-10 18:23:19 -08:00
Luke Maurer
aaa7a6cf85
Add new parameter to CrucGen monad
2019-01-03 12:13:55 -08:00
Luke Maurer
dbce1b1265
Refactor to use AnyPPC
2018-12-21 11:47:40 -08:00
Luke Maurer
b5a75832a3
Adapt to and re-export new AnyPPC arch constructor
2018-12-20 16:43:46 -08:00
Kevin Quick
88b14c15fa
update submodules
2018-12-14 14:41:26 -08:00
Tristan Ravitch
95091a5fb3
Submodule updates
2018-11-27 13:57:36 -08:00
Tristan Ravitch
c0df904033
Submodule updates
...
The code already depended on these, but the submodules were a bit out of date
2018-11-09 23:43:31 -08:00
Tristan Ravitch
ff79eba6aa
ppc: Use the new HasTOC class
...
This avoids a hard dependency on the exact format of ArchBinaryData for PowerPC
2018-10-30 11:01:46 -07:00
Tristan Ravitch
ebcbbe6c5c
Remove the BinaryAddrWidth type family
2018-10-30 10:34:56 -07:00
Kevin Quick
d05deabef2
Added macaw-loader submodule.
2018-10-29 15:54:25 -07:00
Tristan Ravitch
f1ac01edd9
Update to the latest macaw
2018-10-23 11:49:23 -07:00
Tristan Ravitch
9605843388
Update submodules
...
The code was updated to deal with the latest changes to crucible (the addition
of the floating point unit type parameter), but the submodules for this repo
were not.
2018-08-21 18:30:52 -07:00
Tristan Ravitch
f7b87224a4
Update to the latest macaw
...
In macaw core, the type of the arch-specific 'disassemble' function changed to
no longer take a Memory, and to pass the maximum offset as an Int instead of a
MemWord. It also removed the jump table entry size (which is no longer
required).
The removal of the Memory parameter required a bit of a change in how the
instruction parsers are structured, but it isn't a huge change (the "memory
contents after an address" can be computed from a MemSegmentOff, too).
2018-08-16 10:26:55 -07:00
Tristan Ravitch
70f4943ba1
Update to the latest semmc
2018-08-14 16:17:51 -07:00
Kevin Quick
c10f18de6b
Submodule update for crucible, dismantle, macaw, and semmc.
2018-08-10 15:51:09 -07:00
Tristan Ravitch
981b775c7c
Update submodules
2018-07-24 16:57:36 -07:00
Tristan Ravitch
eee1f4d7a0
Update the semmc submodule
...
This has some new semantics, including for the TD/TDI instructions, which fix
the tests.
2018-07-03 20:13:35 -07:00
Luke Maurer
b70231334a
Merge branch 'df'
2018-07-03 14:27:01 -07:00
Luke Maurer
2a6686375f
Update semmc
2018-07-03 12:24:34 -07:00
Luke Maurer
40bc26f21f
Update semmc
2018-07-03 12:24:34 -07:00
Luke Maurer
f6e58bbd47
Support defined functions in TH
2018-07-03 12:23:36 -07:00
Tristan Ravitch
a8caa0985d
Submodule updates
2018-07-02 20:54:53 -07:00
Daniel Wagner
082e024b55
bump deps
2018-06-11 13:13:11 -04:00
Daniel Wagner
989eb30a85
bump macaw dep
2018-06-01 15:35:41 -04:00
Ben Selfridge
6a5524e464
Fixed macaw-arm bound variable for UF bug
2018-06-01 10:23:34 -07:00
Ben Selfridge
2427ddf048
fixed stack and used Data.Functor.Product instead of hand-rolled type
2018-05-24 14:09:49 -07:00
Tristan Ravitch
4ca53dfb5c
Submodule updates
...
The code was already updated, but there were some missing submodule updates
2018-05-21 17:53:10 -07:00
Kevin Quick
4a3688cad1
Anoter semmc submodule reference update.
2018-05-17 15:08:06 -07:00
Ben Selfridge
157e6825a5
update latest crucible and semmc
2018-05-10 13:05:55 -07:00
Tristan Ravitch
4bed676ca2
Update to the latest macaw
2018-04-24 10:55:07 -07:00
Tristan Ravitch
7e129f1ce1
Update the macaw submodule
...
This completes handling of the new archstate statement
2018-04-02 09:18:46 -07:00
Tristan Ravitch
b7c3118070
Update the calls to asAtomicStateUpdate
...
The type of the instruction address changed
2018-03-30 10:52:58 -07:00
Tristan Ravitch
f959773cbd
Emit the new 'ArchState' macaw statement
...
This change is in the core generator monad and applied in the PowerPC backend.
This change includes some macaw updates (which required a new elf-edit version).
2018-03-29 18:06:26 -07:00
Tristan Ravitch
1ebf0cabb7
Submodule updates
...
These updates include a new version of cabal required to build macaw-symbolic.
macaw-symbolic is also now added to the cabal.project file.
2018-03-29 09:57:17 -07:00
Tristan Ravitch
d00e1fc7c9
Update the macaw submodule
2018-03-28 17:00:57 -07:00
Tristan Ravitch
43babd43cf
Add macaw-x86 to the cabal.project file
2018-03-28 17:00:38 -07:00
Tristan Ravitch
d3a97edb4b
ppc: Implement identifyReturn
2018-03-27 18:19:36 -07:00
Kevin Quick
19abbf8620
Update macaw submodule reference.
2018-03-27 10:58:27 -07:00
Kevin Quick
0e36353f63
Update dismantle submodule reference.
2018-03-15 17:41:28 -07:00
Kevin Quick
0942725e07
Update semmc submodule reference.
2018-03-11 10:54:10 -07:00
