Add some SSE (streaming SIMD extensions) instructions to the x86-64 model.

Support x86 "bit test" instructions.

Adds BT, BTS, BTR and BTC.

Minor improvements to x86 model and tools.

The parser now checks for inconsistent use of byte registers.

Minor update to x86 model.

Remove reference to old BadMemAccess x86 exception.

Support a few more instruction in the x86-64 model.

Now covers IDIV, IMUL and multi-byte NOPs.

Update for latest L3.

Removes some unnecessary bracketing.

Update for latest version of L3.

Fix for x86 model.

The RAX and RDX were swapped in the dividend.

Add SETcc instruction to x86-64 model.

Adapt x64 encoder to avoid use of ARB.

Update x86 model to cover CLC, SMC and STC instructions.

Minor updates for the x64 model.

• The decoder has been tweaked (mainly for use under SML). Previously it would succeed in decoding an instruction even if there were too few bytes.

• x64DisassembleLib has been removed. The function x64_disassemble has been implemented in x64AssemblerLib.

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.

Simplify the x86-64 model under L3 examples.

The instruction cache has been removed, together with the CPUID instruction. Also, the memory now has type ``: word64 -> word8`` instead of ``: word64 -> word8 option``.

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.

Tweak to x86-64 instruction encoder.

Update for x86-64 model and tools.

- x64Theory now includes an instruction encoder.
- The functions in x64_stepLib have been renamed, e.g. x64_step is now x64_step_hex.

Update for x86-64 instruction parsing and printing.

The relative offsets for CALL, LOOP and JMP instructions are adjusted with respect to the length of the opcode.

Merge "_,_" instances in patterns.

Add support for x86-64 assembly code.

Based on NASM syntax, as opposed to AT&T (which is the default for gas).