| #
128c131a |
|
16-Oct-2017 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Another update for CHERI model.
|
| #
ba4e20e3 |
|
12-Oct-2017 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update for latest version of CHERI.
|
| #
d1d4f13e |
|
14-Jul-2016 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Add some basic step-tool support for CHERI.
The CHERI model is updated to the latest version.
|
| #
3c7aee48 |
|
09-May-2016 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update CHERI model.
|
| #
fdeae967 |
|
29-Apr-2016 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update for the latest version of L3.
Changes have been made when exporting operations of the form:
`f : args -> state -> value * state`
If the state is not changed then this is now exported as
`f : args -> state -> value`
If the state is changed but the `value` type is `unit` then it this is now exported as
`f : args -> state -> state`.
|
| #
96edb9f3 |
|
20-Nov-2015 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update for the latest version of L3, which has additional floating-point support.
Cover IEEE754:1985 behaviour for "abs" and "neg". Also adds support for "compare", "toInt" and "fromInt" at the machine level.
|
| #
3e5fe62c |
|
22-Oct-2015 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update CHERI model.
|
| #
f69520e1 |
|
16-Oct-2015 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update model for latest version of L3.
|
| #
1e722db3 |
|
11-Mar-2015 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update CHERI model.
|
| #
2cd4c16d |
|
20-Feb-2015 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update CHERI model.
|
| #
6a5443a1 |
|
14-Jan-2015 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update to CHERI model.
|
| #
c0318330 |
|
25-Nov-2014 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Add CHERI model under L3 examples.
CHERI is MIPS with capability extensions. See
http://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
|