Fix for ARMv8 decoder.

Add some whitespace to signature files.

Minor update to some L3 models.

Update for latest L3.

Removes some unnecessary bracketing.

Update for latest version of L3.

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.)

Minor change to generated SML code for ARMv8.

Update the ARMv8 model and tools.

Some basic functions have been inlined.

Update L3 examples.

Most changes relate to Poly/ML moving to fixed-width integers.

Update model for latest version of L3.

Update SML files generated by L3.

The BitsN library has been sped up by removing word size checks.

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.

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.

Update for ARMv8 model and tools.

Contains some fixes for the decoder.

There is now support for assemble code syntax.