100644 blob 6b4ac284c0e748c9b586d012df87ff917abcd579	BUILD.gn
100644 blob 45581d905c3dbe1e828979d46ce919b353bb9571	OWNERS
100644 blob a1cd9880eef38d7753421d988e0fe7199275807c	PRESUBMIT.py
100644 blob ee38fc6b86663d2d706ca78d69f09e40b9f9aa29	README
100644 blob 96d96bf5169d83a3f9610f13f3959e3060f231bb	avx1_3op_simd_or_memory_others_proof.py
100644 blob fb478972655b37f26dedc3a62f7715ebd69f1106	avx1_xmm_memory_3op_fp_scalars_proof.py
100644 blob 69f194cb994719e01c91b88723522b8d634e755a	avx1_xmm_memory_3op_pb_proof.py
100644 blob 767058e00c95f9570155e19f2b15e4b26e740a5d	avx1_xmm_memory_3op_pi_proof.py
100644 blob 2042d88fe1e8ac283bbc5c5196f94303ed44624b	avx1_xmm_ymm_memory_3op_pd_proof.py
100644 blob 5f28fa55ca405e7df7be8ec0c13fa24430a91bea	avx1_xmm_ymm_memory_3op_ps_proof.py
100644 blob 82981bdba40dc679d9299b1d8a30eca082d69f1a	avx1_xmm_ymm_memory_moves.py
100644 blob 9567d8d5d998ab66fec44d11ae44b7ce8a4e2cf2	avx2_0f_6x_0f_7x_proof.py
100644 blob 39a5e80f8ee0c4bf97c606538138f9d9687b8c78	avx2_additions_proof.py
100644 blob dec2a0d2cb282b194f48330826f40ae94733f307	bitmap.h
100644 blob d8e64e9a8b4328864932be4b01a5d5b4b45165ed	bsr_bsf_proof.py
100644 blob dee21dcb797c8b2fc49537f56a09b380cf94eb2d	build.scons
100644 blob 05bc04f2e1f652c4d1b9153640d3db6e96fd15ec	byte_machines.py
100644 blob 4342b3d3f698d9a5238863935daf28ac0d258657	check_decoder.py
100644 blob f5183fc829b6c1bdb1d34405133e57b5b3c2f373	check_dis_section.py
100644 blob e475f7ba394f14430bb66e4f300352773f02ae6e	check_trie.py
100644 blob 509086c4210a44852e50540980b6034cd857234a	cmpxchg16_proof.py
100644 blob f325e54f5223bb1ecee343d20edd92196dbaf8cc	codegen.py
100644 blob f4be3b73b4f44c2add9fbe98398cb32760bcbf65	crc32_16_to_32_proof.py
100644 blob 10a71aa521e7aeee52e1ee45cb9cdbb5cf132061	decoder.h
100644 blob 8360d6482dfdd9b30631c8ae0fc30b3ae372ca19	decoder_internal.h
100644 blob 15a86af262647e2c9b4c8c675f2cc28d81cb0354	decoder_x86_32.rl
100644 blob f36dd6d44b354ecf989abbf6600f6e089ded576d	decoder_x86_64.rl
100644 blob 64087b76218836c4061ce324110060e77543ab05	decoding.h
100644 blob 86621eadd7a90fed84b678df05675d37750f50b1	def_format.py
100644 blob cebc318cd6694c1648c769d26c4dddea23056c80	dfa_parser.py
100644 blob 2b647bb1f17346096ff44d4f148aa0e81e0f17cc	dfa_traversal.py
100644 blob 9e049e8af1a9a67d0cd16b5c3bb907f61eb981a4	dfa_validate_32.c
100644 blob fc2406e382eab23201bab3b6bc2af1664c3c6a89	dfa_validate_64.c
100644 blob ec77cad4fa59e9c739c848ed86f82237649dd25b	dfa_validate_common.c
100644 blob b17469f5bc21fc3c5e9a2d273fb2c36453fb0150	dfa_validate_common.h
100644 blob 6e5ce78b28bc6a9073ec6ef1c1664ddd8e140040	dfa_validator_x86_32.gyp
100644 blob 94f097d997bd72497f7342aa84eb5808cc9a9b96	dfa_validator_x86_64.gyp
100644 blob 8a05a9930a70237e3fe66aeb5c21a1f4abb48d68	dll_utils.c
040000 tree 64ced19c73181fb381c04cfaad7efa7719467d0d	docs
100644 blob 1fd2fffe3b5e32a2fe4eb514497c3fd763f8eac6	final_avx1_instrs_proof.py
100644 blob 5b282e3cdf92aafac21803d4553dce0ad4527b01	fma_proof.py
040000 tree 8dafa659a89b1aaa7b275f5d1ef83f0421030697	gen
100644 blob 7a7192638bd9f5df68af905c98021dad4db603d9	gen_dfa.py
100644 blob b23da2b26ebe07f9faec622f186f990ec76669a1	gen_dfa_test.py
100644 blob 6742eff210aea563aebb77d98f0ab28ac5f4afc2	gen_trie_from_dfa.py
040000 tree 2fc8db40b6b37f3625fbe889e4d1824760e7dceb	instruction_definitions
100644 blob b4c6be46772321cf41b4371d5b6cfae1f2921482	jecxz_proof.py
100644 blob f82bed42c3cbfe3130184e2647250bdcc88fa0ce	movbe_proof.py
100644 blob 708f4634e2934daa989b0fc2074ff7eff3fbf105	nacl_unsupported_proof.py
100644 blob c3257f7b26a3a495261c93becd82fe9291762bdf	objdump_parser.py
100644 blob aceec67a0b3baac1b86ac145d94b8f5f674b39d5	parse_instruction.rl
100644 blob a354db94692aef07512f2d12526053eb7bff4b3e	proof_tools.py
100644 blob 8e5fbcaf11e399f90135638ddd79671f59decb63	proof_tools_templates.py
100644 blob 73cae1370875545babf1d800f2de581f86445122	proof_tools_test.py
100644 blob 03f853dde6719dc5efff33857929b6fdb6f68749	rdfa_validator.gyp
100644 blob 0b939ec3c73ee99abf38be90a668517db425acfd	remaining_avx2_promotions_proof.py
100644 blob 0e7db72c0524ac1da4d1f48fa07e343204735257	remaining_nonspecial_avx1_proof.py
100644 blob 1aca93148917b09257d39f16eff3dcd00ea376b1	run_rdfa_validator_tests.py
100644 blob fa390b6671440fdfe23f3b8ed9cd80735917792a	shld_shrd_proof.py
100644 blob aacc7c08101584feb7399b7e838806b875d262f9	spec.py
100644 blob a88bf300e32997b29a515fd0fa311aebe1d73fd7	spec_val.py
100644 blob 0b0bc0721be826c58b5d98555cfedbcda223596a	spec_val_test.py
100644 blob 97ba607944026356f46c75e5f48e403c9d04d259	test_format.py
040000 tree d397e890706625250243951cfcb2ab9027ab4ae0	testdata
100644 blob 5af9591788e85ce4eeac201b73216098ef8fe0b3	trie.py
100644 blob d356028a1d23727819e8b944349fe8854b9a9ae6	trie_test.py
040000 tree 8abbda04963daa7a903bdabff0c5772b2f58a329	unreviewed
100644 blob 30029a68abe4ce7c1e36fc88709f8dbba07d9ce0	validator.h
100644 blob 0bf0363f8330b57cdab5d40697423d6783bede69	validator.py
100644 blob 8d71bcf5bf5779baf96bc29b4b778fe4af265d5d	validator_benchmark.cc
100644 blob da8315cabc7602c0c7081cdb725be96c44d4367d	validator_features_all.c
100644 blob 39f2872f18d8c45599c371d344c44af7c3ff1d43	validator_features_validator.c
100644 blob eeb95baff716f55ba9d13716fbedd9f4133dd04b	validator_internal.h
100644 blob c55269d0f6fc539c42f111a9fb14d8f28a198899	validator_x86_32.rl
100644 blob 765fd5135515cf51db1e594d846e650624459628	validator_x86_64.rl
100644 blob 4a7e990bc97b50db139b5442187c973377e9fbb9	vbroadcast_proof.py
100644 blob b676dc61fc118665d4bd6b0f8c9158f6d0a9e7cc	verify_regular_instructions.py
100755 blob f037ef7ef59abb33b58a3f32aa22d98524a77bf2	verify_superinstructions.py
100755 blob 8c52348d32247ebab46a476d1a75ab1913b6fead	verify_validators_dfa.py
100644 blob fb190d963388004eea42f02f7572c6fbb7b5d4c7	vmovd_proof.py
100644 blob 97752b6a1399ecdac0537c980cb5cbd4bab8a007	vpminsd_avx2_proof.py
100644 blob bfdf4fa3413f7bc25b68ac9381820f9f1957c33b	vzero_proof.py
100644 blob da2abb3117d9546e295997cae46984b4f6b89706	xadd16_proof.py