| #
4b08982c |
|
03-Apr-2017 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update for latest version of L3.
|
| #
d7726677 |
|
15-Feb-2016 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update L3 examples.
Most changes relate to Poly/ML moving to fixed-width integers.
|
| #
86b39f92 |
|
13-Jan-2015 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update ARMv8 model.
The encoder now explicitly defines an encoding function for bit-mask values. This avoids the use of a reverse look up function (implemented with sptress). Thanks to Shaked Flur for implementing the encoding algorithm.
|
| #
07f50b7b |
|
13-Oct-2014 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update for ARMv8 model and tools.
Contains some fixes for the decoder.
There is now support for assemble code syntax.
|