#
1d944f12 |
|
11-Oct-2017 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Fix for ARMv8 decoder.
|
#
3a981fec |
|
21-Sep-2017 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Add some whitespace to signature files.
|
#
27d6cfb0 |
|
27-Jun-2017 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Minor update to some L3 models.
|
#
d34415b5 |
|
02-May-2017 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update for latest L3. Removes some unnecessary bracketing.
|
#
4b08982c |
|
03-Apr-2017 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update for latest version of L3.
|
#
832f0b8a |
|
06-Feb-2017 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Minor change to the ARMv8 encoder. For example, the instruction ADD x1, x2, #0 now encodes as 0x91000041 instead of 0x91400041. (The semantics is the same for both.)
|
#
6f6e3ce6 |
|
24-Jun-2016 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Minor change to generated SML code for ARMv8.
|
#
36614167 |
|
19-May-2016 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update the ARMv8 model and tools. Some basic functions have been inlined.
|
#
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.
|
#
f69520e1 |
|
16-Oct-2015 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update model for latest version of L3.
|
#
8f1ae54e |
|
15-Jul-2015 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update SML files generated by L3. The BitsN library has been sped up by removing word size checks.
|
#
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.
|
#
06401b70 |
|
18-Nov-2014 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Update for L3 machine-code examples. Some minor changes come from using the latest version of L3 when generating SML code. The ARMv8 model gains a function for encoding instructions (in the logic). The step tools are updated to support the NOP instruction.
|
#
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.
|