| #
260f6144 |
|
05-May-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix examples/machine-code/hoare-triple for tight equality
|
| #
0c828183 |
|
14-Jan-2015 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
slightly improved support for SPEC_1
|
| #
5ed9ffb9 |
|
10-Jul-2014 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
SPEC_1 defined, req step to have been made
|
| #
0e49bf8c |
|
09-Feb-2014 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
tweak to SPEC definition, minor improvements to x86-86 model
|
| #
44dc16f2 |
|
18-Oct-2013 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Support for generating TEMPORAL triples.
Currently works for ARM, M0 and MIPS models. Yet to update the x86-64 model.
|
| #
983023c9 |
|
11-Oct-2013 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
missing prelude for temporal
|
| #
bb760afc |
|
11-Oct-2013 |
Magnus Myreen <magnus.myreen@cl.cam.ac.uk> |
temporal version of mc Hoare triple
|