| #
91b4b252 |
|
19-Mar-2020 |
Magnus Myreen <myreen@chalmers.se> |
Add lw to the list of non-call instructions
|
| #
79b55cd7 |
|
27-Feb-2019 |
Magnus Myreen <myreen@chalmers.se> |
Tweaks to RISC-V decompilation
|
| #
6099583f |
|
09-Feb-2019 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
Finish updating stack analysis
|
| #
4c53a161 |
|
07-Feb-2019 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
Progress on 64-bit support
|
| #
b353398b |
|
28-Jan-2019 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
Update to allow reading of elf.txt for RISC-V
|
| #
b28664c3 |
|
13-Jun-2018 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Add a selftest for the graph decompiler.
|
| #
320201b8 |
|
16-Aug-2016 |
Ramana Kumar <ramana@member.fsf.org> |
Correct apparent typo in file_readerLib.sml
|
| #
893e1146 |
|
02-Aug-2016 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Extend floating-point support within the ARMv7 model.
The model can be configured for VFPv2, VFPv3 or VFPv4.
Most VFP instructions are modelled now but some are still missing, i.e.:
• VCVT for fixed-point and half-precision.
• VSTM and VLDM.
|
| #
406d098c |
|
20-Jun-2016 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
Improve code for is_blank
|
| #
90893c6e |
|
19-Jun-2016 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
Make graph decompiler ignore blank lines in sigs file
|
| #
6501b3d5 |
|
10-Feb-2016 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
bug fix in graph decompiler (handle ... as input)
|
| #
49afc885 |
|
17-Dec-2015 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
clean up and minor updates
|
| #
99c19bff |
|
15-Dec-2015 |
Ramana Kumar <Ramana.Kumar@nicta.com.au> |
reorganisation in file_readerLib.sml to expose more functions
|
| #
472f1780 |
|
21-Aug-2015 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
public release of decompiler tool developed at NICTA
An earlier version of this tool was described in the following paper:
Thomas Sewell, Magnus O. Myreen and Gerwin Klein.
Translation validation for a verified OS kernel.
In Programming Language Design and Implementation (PLDI), 2013.
|