| #
df21fde4 |
|
25-Mar-2019 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
Make decompile_test fail if there is some failure
|
| #
2e0e4438 |
|
10-Mar-2019 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
Adjust graph decompiler for term not eq type
|
| #
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
|
| #
fe0f5f45 |
|
13-Jan-2019 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
Add test script and fix a few bugs
|
| #
d085dbc8 |
|
09-Jan-2019 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
Progress on graph decompiler update
|
| #
b28664c3 |
|
13-Jun-2018 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Add a selftest for the graph decompiler.
|
| #
de536727 |
|
24-Mar-2016 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
Fix a few bugs in graph decompiler
|
| #
8acd051f |
|
04-Mar-2016 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
Fix export bug in graph decompiler
|
| #
b8fc537d |
|
04-Feb-2016 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
export all function definitions
|
| #
e050a833 |
|
04-Feb-2016 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
replace SKIP_TAGs with jumps to empty functions
This is in response to a feature request from Thomas Sewell.
|
| #
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.
|