|
Name |
|
Date |
Size |
#Lines |
LOC |
| .. | | 16-Feb-2021 | - |
| docs/ | H | 03-May-2022 | - | 117 | 114 |
| gen/ | H | 16-Feb-2021 | - | 77,797 | 73,507 |
| instruction_definitions/ | H | 16-Feb-2021 | - | 3,266 | 3,259 |
| testdata/ | H | 16-Feb-2021 | - | 8,815 | 8,553 |
| unreviewed/ | H | 16-Feb-2021 | - | 832 | 689 |
| BUILD.gn | H A D | 16-Feb-2021 | 1.7 KiB | 61 | 56 |
| OWNERS | H A D | 16-Feb-2021 | 118 | 7 | 6 |
| PRESUBMIT.py | H A D | 16-Feb-2021 | 4.7 KiB | 121 | 85 |
| README | H A D | 16-Feb-2021 | 284 | 9 | 6 |
| avx1_3op_simd_or_memory_others_proof.py | H A D | 16-Feb-2021 | 1.9 KiB | 51 | 32 |
| avx1_xmm_memory_3op_fp_scalars_proof.py | H A D | 16-Feb-2021 | 1.2 KiB | 40 | 23 |
| avx1_xmm_memory_3op_pb_proof.py | H A D | 16-Feb-2021 | 1.2 KiB | 36 | 20 |
| avx1_xmm_memory_3op_pi_proof.py | H A D | 16-Feb-2021 | 1.3 KiB | 37 | 21 |
| avx1_xmm_ymm_memory_3op_pd_proof.py | H A D | 16-Feb-2021 | 1.2 KiB | 36 | 20 |
| avx1_xmm_ymm_memory_3op_ps_proof.py | H A D | 16-Feb-2021 | 1.2 KiB | 36 | 20 |
| avx1_xmm_ymm_memory_moves.py | H A D | 16-Feb-2021 | 2.5 KiB | 59 | 45 |
| avx2_0f_6x_0f_7x_proof.py | H A D | 16-Feb-2021 | 3.7 KiB | 88 | 75 |
| avx2_additions_proof.py | H A D | 16-Feb-2021 | 3.4 KiB | 76 | 63 |
| bitmap.h | H A D | 16-Feb-2021 | 2.6 KiB | 70 | 45 |
| bsr_bsf_proof.py | H A D | 16-Feb-2021 | 1.2 KiB | 34 | 16 |
| build.scons | H A D | 16-Feb-2021 | 20.7 KiB | 578 | 492 |
| byte_machines.py | H A D | 16-Feb-2021 | 4.5 KiB | 219 | 169 |
| check_decoder.py | H A D | 16-Feb-2021 | 5.6 KiB | 211 | 145 |
| check_dis_section.py | H A D | 16-Feb-2021 | 1.8 KiB | 65 | 38 |
| check_trie.py | H A D | 16-Feb-2021 | 1.3 KiB | 48 | 31 |
| cmpxchg16_proof.py | H A D | 16-Feb-2021 | 1 KiB | 29 | 15 |
| codegen.py | H A D | 16-Feb-2021 | 4.5 KiB | 154 | 115 |
| crc32_16_to_32_proof.py | H A D | 16-Feb-2021 | 1 KiB | 33 | 21 |
| decoder.h | H A D | 16-Feb-2021 | 6.8 KiB | 195 | 107 |
| decoder_internal.h | H A D | 16-Feb-2021 | 3.8 KiB | 98 | 69 |
| decoder_x86_32.rl | H A D | 16-Feb-2021 | 4.2 KiB | 129 | 112 |
| decoder_x86_64.rl | H A D | 16-Feb-2021 | 5.9 KiB | 171 | 153 |
| decoding.h | H A D | 16-Feb-2021 | 6.9 KiB | 255 | 113 |
| def_format.py | H A D | 16-Feb-2021 | 15.6 KiB | 367 | 115 |
| dfa_parser.py | H A D | 16-Feb-2021 | 5.5 KiB | 176 | 102 |
| dfa_traversal.py | H A D | 16-Feb-2021 | 3.4 KiB | 112 | 77 |
| dfa_validate_32.c | H A D | 16-Feb-2021 | 13.6 KiB | 378 | 257 |
| dfa_validate_64.c | H A D | 16-Feb-2021 | 11.4 KiB | 318 | 203 |
| dfa_validate_common.c | H A D | 16-Feb-2021 | 10.7 KiB | 293 | 173 |
| dfa_validate_common.h | H A D | 16-Feb-2021 | 3.1 KiB | 83 | 37 |
| dll_utils.c | H A D | 16-Feb-2021 | 2.9 KiB | 105 | 67 |
| final_avx1_instrs_proof.py | H A D | 16-Feb-2021 | 5.5 KiB | 136 | 104 |
| fma_proof.py | H A D | 16-Feb-2021 | 4.1 KiB | 85 | 73 |
| gen_dfa.py | H A D | 16-Feb-2021 | 48.9 KiB | 1,509 | 1,137 |
| gen_dfa_test.py | H A D | 16-Feb-2021 | 17.2 KiB | 637 | 512 |
| gen_trie_from_dfa.py | H A D | 16-Feb-2021 | 9.1 KiB | 264 | 183 |
| jecxz_proof.py | H A D | 16-Feb-2021 | 765 | 30 | 18 |
| movbe_proof.py | H A D | 16-Feb-2021 | 1.3 KiB | 38 | 17 |
| nacl_unsupported_proof.py | H A D | 16-Feb-2021 | 530 | 19 | 10 |
| objdump_parser.py | H A D | 16-Feb-2021 | 2 KiB | 72 | 41 |
| parse_instruction.rl | H A D | 16-Feb-2021 | 30.6 KiB | 895 | 793 |
| proof_tools.py | H A D | 16-Feb-2021 | 16 KiB | 439 | 346 |
| proof_tools_templates.py | H A D | 16-Feb-2021 | 4.7 KiB | 135 | 105 |
| proof_tools_test.py | H A D | 16-Feb-2021 | 4.9 KiB | 140 | 115 |
| remaining_avx2_promotions_proof.py | H A D | 16-Feb-2021 | 6.4 KiB | 131 | 108 |
| remaining_nonspecial_avx1_proof.py | H A D | 16-Feb-2021 | 9.3 KiB | 214 | 167 |
| run_rdfa_validator_tests.py | H A D | 16-Feb-2021 | 5.7 KiB | 209 | 146 |
| shld_shrd_proof.py | H A D | 16-Feb-2021 | 1.3 KiB | 38 | 19 |
| spec.py | H A D | 16-Feb-2021 | 42.8 KiB | 1,632 | 1,318 |
| spec_val.py | H A D | 16-Feb-2021 | 4.8 KiB | 151 | 111 |
| spec_val_test.py | H A D | 16-Feb-2021 | 1,019 | 45 | 26 |
| test_format.py | H A D | 16-Feb-2021 | 5.5 KiB | 218 | 164 |
| trie.py | H A D | 16-Feb-2021 | 12 KiB | 344 | 257 |
| trie_test.py | H A D | 16-Feb-2021 | 3.6 KiB | 94 | 65 |
| validator.h | H A D | 16-Feb-2021 | 8.9 KiB | 216 | 98 |
| validator.py | H A D | 16-Feb-2021 | 9.6 KiB | 341 | 254 |
| validator_benchmark.cc | H A D | 16-Feb-2021 | 2.5 KiB | 95 | 72 |
| validator_features_all.c | H A D | 16-Feb-2021 | 2.3 KiB | 70 | 52 |
| validator_features_validator.c | H A D | 16-Feb-2021 | 1.9 KiB | 53 | 44 |
| validator_internal.h | H A D | 16-Feb-2021 | 10.9 KiB | 270 | 177 |
| validator_x86_32.rl | H A D | 16-Feb-2021 | 9.6 KiB | 260 | 230 |
| validator_x86_64.rl | H A D | 16-Feb-2021 | 52.5 KiB | 1,314 | 1,229 |
| vbroadcast_proof.py | H A D | 16-Feb-2021 | 1.1 KiB | 32 | 19 |
| verify_regular_instructions.py | H A D | 16-Feb-2021 | 10.1 KiB | 326 | 236 |
| verify_superinstructions.py | H A D | 16-Feb-2021 | 7 KiB | 205 | 153 |
| verify_validators_dfa.py | H A D | 16-Feb-2021 | 10.9 KiB | 281 | 214 |
| vmovd_proof.py | H A D | 16-Feb-2021 | 1.4 KiB | 44 | 30 |
| vpminsd_avx2_proof.py | H A D | 16-Feb-2021 | 756 | 24 | 14 |
| vzero_proof.py | H A D | 16-Feb-2021 | 849 | 24 | 10 |
| xadd16_proof.py | H A D | 16-Feb-2021 | 1 KiB | 29 | 15 |
README
1This directory contains new ragel-based validator.
2
3Currently it's not used in productions can only be tested using
4scripts from this directory.
5
6The plan is to incorporate tests from other directories to make
7sure it's production-quality before we will add it to sel_ldr and
8Chrome.
9