| #
0e49bf8c |
|
09-Feb-2014 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
tweak to SPEC definition, minor improvements to x86-86 model
|
| #
e184cba8 |
|
23-Oct-2012 |
Magnus Myreen <magnus.myreen@gmail.com> |
64-bit x86 model made more user-mode-ish w.r.t. the stack (stack overflow detected by OS)
|
| #
6e5da1fa |
|
16-Mar-2011 |
Magnus Myreen <Magnus.Myreen@cl.cam.ac.uk> |
A few corrections.
|
| #
0c93e20a |
|
04-Nov-2010 |
Magnus Myreen <Magnus.Myreen@cl.cam.ac.uk> |
Fixed a few bugs and shortened a few proofs using
Anthony's bit-blasting tactic (blastLib.BBLAST_TAC).
|
| #
75f36ecb |
|
12-Oct-2010 |
Magnus Myreen <Magnus.Myreen@cl.cam.ac.uk> |
Minor tweaks.
|
| #
dcd67e90 |
|
08-Oct-2010 |
Magnus Myreen <Magnus.Myreen@cl.cam.ac.uk> |
A model of 64-bit x86 which supports data operations on 8-bit, 16-bit,
32-bit and 64-bit data. This is a only a first draft: there are
undoubtedly bugs lurking in how 16-bit operations perform
sign extension and how eflags are updated.
|