| #
f5a54149 |
|
20-Nov-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fixes arising from 3383b4b and 2d8bef7
|
| #
0b47709e |
|
26-May-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix l3-machine-code/cheri for tight equality
|
| #
82b36cd1 |
|
24-May-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Put examples/l3-machine-code/cheri into -t3 build sequence
If it's in examples it should get checked or deleted.
The selftest just loads the stepLib and doesn't attempt to exercise
its functionality.
|
| #
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.
|
| #
e5fc0f36 |
|
11-Sep-2017 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Improving naming of bit-vector signed division constants.
This renaming introduces incompatibilities:
• words$word_sdiv -> words$word_quot (this is proved to be related to int_quot for a non-zero divisor).
• words$word_srem -> words$word_rem (this is proved to be related to int_rem for a non-zero divisor).
• integer_word$word_sdiv (this is a new constant defined directly in terms of int_div).
• words$word_smod -> integer_word$word_smod (this is now defined directly in terms of int_mod).
|
| #
4b08982c |
|
03-Apr-2017 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update for latest version of L3.
|
| #
3d3e969f |
|
14-Jul-2016 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Avoid pre-condition `s.currentInst = NONE`.
|
| #
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.
|