Merge remote-tracking branch 'origin/partial_eval' into scala-generic

tests/aslt/cntlm-readme.md

@@ -6,3 +6,7 @@ to generate cntlm-ops.txt:
 ```bash
 cat cntlm-isns.txt | cut -d' ' -f1 | xargs printf '0x%s\n'
 ```
+to generate cntlm-vec-ops.txt:
+```bash
+grep 'v[0-9]\.' cntlm-isns.txt | cut -d' ' -f1 | xargs printf '0x%s\n'
+```

tests/aslt/cntlm-vec-ops.txt

@@ -0,0 +1,88 @@
+0x0e011800
+0x0e040ea8
+0x0e211c00
+0x0ea00800
+0x0ea00801
+0x0ea03020
+0x0ea18508
+0x0ea48400
+0x0f000420
+0x0f000428
+0x0f07e7c1
+0x0f20a402
+0x0f20a423
+0x2e200800
+0x2e200820
+0x2e211c00
+0x2f000400
+0x2f03d7e0
+0x2f044400
+0x2f280400
+0x2f280424
+0x2f300423
+0x2f300446
+0x2f380422
+0x2f380445
+0x4cdf0860
+0x4cdf8000
+0x4cdf8800
+0x4d408660
+0x4e031c40
+0x4e040ea0
+0x4e051ce0
+0x4e052042
+0x4e071c00
+0x4e071cc0
+0x4e080401
+0x4e091ca0
+0x4e0b1c80
+0x4e0d1c40
+0x4e0f1c60
+0x4e211ca1
+0x4e61d800
+0x4e61d821
+0x4e61d842
+0x4e61d863
+0x4ea11c23
+0x4ea28400
+0x4ee08484
+0x4ee08c00
+0x4ee28420
+0x4f000400
+0x4f000401
+0x4f000404
+0x4f0004e6
+0x4f01e6c0
+0x4f02e780
+0x4f20a400
+0x4f20a401
+0x4f20a421
+0x5ef1b820
+0x5ef1b880
+0x6e030460
+0x6e0304c0
+0x6e050440
+0x6e0504a0
+0x6e070420
+0x6e090480
+0x6e090680
+0x6e0b0460
+0x6e0b0660
+0x6e0d0440
+0x6e0d0640
+0x6e0f0420
+0x6e0f0620
+0x6e110600
+0x6e1304e0
+0x6e1504c0
+0x6e1704a0
+0x6e190480
+0x6e1b0460
+0x6e1d0440
+0x6e1f0420
+0x6e200800
+0x6e205800
+0x6e211c00
+0x6ea68c00
+0x6ee08421
+0x6f000400