| #
01b1d2b9 |
|
10-Aug-2020 |
Matthew Brecknell <Matthew.Brecknell@data61.csiro.au> |
mc/graph: use python3 for decompile.py
Binaries named `python` are disappearing from Linux distros, so we
choose `python3` instead.
|
| #
e56ab5fa |
|
23-Jan-2017 |
Thomas Sewell <Thomas.Sewell@nicta.com.au> |
Drop 'use' from decompile.py.
This doesn't seem to work at the moment, probably as a result of
64584544a4b1 but unconfirmed. In any case, it also doesn't seem to
be necessary.
|
| #
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.
|
| #
4c70db97 |
|
15-Dec-2015 |
Ramana Kumar <ramana@member.fsf.org> |
make decompile.py python3 compatible
|
| #
08b750fd |
|
08-Sep-2015 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
decompile.py made executable
|
| #
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.
|