| #
09f0ac28 |
|
03-Jun-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix more in machine-code/instruction-set-models for tight equality
|
| #
a228d72a |
|
19-Oct-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix instruction-set-models/x86_64/x64_Lib.sml for terms not eqtype
|
| #
46d2ac66 |
|
26-Jun-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix Q.GENL to handle variables in same order as GENL.
Closes #428
|
| #
7e254797 |
|
03-Aug-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix some machine-code theories for pat_assum rename
|
| #
0c828183 |
|
14-Jan-2015 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
slightly improved support for SPEC_1
|
| #
6412de6d |
|
20-Feb-2014 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
minor tweak
|
| #
1b773328 |
|
19-Feb-2014 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
included missing open
|
| #
46ac2a2b |
|
18-Feb-2014 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
a few new exports
|
| #
303e22b6 |
|
10-Feb-2014 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
some bug fixes to x86-64 tools
|
| #
0e49bf8c |
|
09-Feb-2014 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
tweak to SPEC definition, minor improvements to x86-86 model
|
| #
a5883aa0 |
|
11-Jul-2013 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
minor clean up under examples/machine-code
|
| #
b43c1c74 |
|
28-Jun-2013 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
some x86_64 stack lemmas
|
| #
4f2e9309 |
|
10-May-2013 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
rearranging files in examples/machine-code to separate decompiler from ISA models
|