• Home
  • History
  • Annotate
Name Date Size #Lines LOC

..16-Feb-2021-

docs/H03-May-2022-117114

gen/H16-Feb-2021-77,79773,507

instruction_definitions/H16-Feb-2021-3,2663,259

testdata/H16-Feb-2021-8,8158,553

unreviewed/H16-Feb-2021-832689

BUILD.gnH A D16-Feb-20211.7 KiB6156

OWNERSH A D16-Feb-2021118 76

PRESUBMIT.pyH A D16-Feb-20214.7 KiB12185

READMEH A D16-Feb-2021284 96

avx1_3op_simd_or_memory_others_proof.pyH A D16-Feb-20211.9 KiB5132

avx1_xmm_memory_3op_fp_scalars_proof.pyH A D16-Feb-20211.2 KiB4023

avx1_xmm_memory_3op_pb_proof.pyH A D16-Feb-20211.2 KiB3620

avx1_xmm_memory_3op_pi_proof.pyH A D16-Feb-20211.3 KiB3721

avx1_xmm_ymm_memory_3op_pd_proof.pyH A D16-Feb-20211.2 KiB3620

avx1_xmm_ymm_memory_3op_ps_proof.pyH A D16-Feb-20211.2 KiB3620

avx1_xmm_ymm_memory_moves.pyH A D16-Feb-20212.5 KiB5945

avx2_0f_6x_0f_7x_proof.pyH A D16-Feb-20213.7 KiB8875

avx2_additions_proof.pyH A D16-Feb-20213.4 KiB7663

bitmap.hH A D16-Feb-20212.6 KiB7045

bsr_bsf_proof.pyH A D16-Feb-20211.2 KiB3416

build.sconsH A D16-Feb-202120.7 KiB578492

byte_machines.pyH A D16-Feb-20214.5 KiB219169

check_decoder.pyH A D16-Feb-20215.6 KiB211145

check_dis_section.pyH A D16-Feb-20211.8 KiB6538

check_trie.pyH A D16-Feb-20211.3 KiB4831

cmpxchg16_proof.pyH A D16-Feb-20211 KiB2915

codegen.pyH A D16-Feb-20214.5 KiB154115

crc32_16_to_32_proof.pyH A D16-Feb-20211 KiB3321

decoder.hH A D16-Feb-20216.8 KiB195107

decoder_internal.hH A D16-Feb-20213.8 KiB9869

decoder_x86_32.rlH A D16-Feb-20214.2 KiB129112

decoder_x86_64.rlH A D16-Feb-20215.9 KiB171153

decoding.hH A D16-Feb-20216.9 KiB255113

def_format.pyH A D16-Feb-202115.6 KiB367115

dfa_parser.pyH A D16-Feb-20215.5 KiB176102

dfa_traversal.pyH A D16-Feb-20213.4 KiB11277

dfa_validate_32.cH A D16-Feb-202113.6 KiB378257

dfa_validate_64.cH A D16-Feb-202111.4 KiB318203

dfa_validate_common.cH A D16-Feb-202110.7 KiB293173

dfa_validate_common.hH A D16-Feb-20213.1 KiB8337

dll_utils.cH A D16-Feb-20212.9 KiB10567

final_avx1_instrs_proof.pyH A D16-Feb-20215.5 KiB136104

fma_proof.pyH A D16-Feb-20214.1 KiB8573

gen_dfa.pyH A D16-Feb-202148.9 KiB1,5091,137

gen_dfa_test.pyH A D16-Feb-202117.2 KiB637512

gen_trie_from_dfa.pyH A D16-Feb-20219.1 KiB264183

jecxz_proof.pyH A D16-Feb-2021765 3018

movbe_proof.pyH A D16-Feb-20211.3 KiB3817

nacl_unsupported_proof.pyH A D16-Feb-2021530 1910

objdump_parser.pyH A D16-Feb-20212 KiB7241

parse_instruction.rlH A D16-Feb-202130.6 KiB895793

proof_tools.pyH A D16-Feb-202116 KiB439346

proof_tools_templates.pyH A D16-Feb-20214.7 KiB135105

proof_tools_test.pyH A D16-Feb-20214.9 KiB140115

remaining_avx2_promotions_proof.pyH A D16-Feb-20216.4 KiB131108

remaining_nonspecial_avx1_proof.pyH A D16-Feb-20219.3 KiB214167

run_rdfa_validator_tests.pyH A D16-Feb-20215.7 KiB209146

shld_shrd_proof.pyH A D16-Feb-20211.3 KiB3819

spec.pyH A D16-Feb-202142.8 KiB1,6321,318

spec_val.pyH A D16-Feb-20214.8 KiB151111

spec_val_test.pyH A D16-Feb-20211,019 4526

test_format.pyH A D16-Feb-20215.5 KiB218164

trie.pyH A D16-Feb-202112 KiB344257

trie_test.pyH A D16-Feb-20213.6 KiB9465

validator.hH A D16-Feb-20218.9 KiB21698

validator.pyH A D16-Feb-20219.6 KiB341254

validator_benchmark.ccH A D16-Feb-20212.5 KiB9572

validator_features_all.cH A D16-Feb-20212.3 KiB7052

validator_features_validator.cH A D16-Feb-20211.9 KiB5344

validator_internal.hH A D16-Feb-202110.9 KiB270177

validator_x86_32.rlH A D16-Feb-20219.6 KiB260230

validator_x86_64.rlH A D16-Feb-202152.5 KiB1,3141,229

vbroadcast_proof.pyH A D16-Feb-20211.1 KiB3219

verify_regular_instructions.pyH A D16-Feb-202110.1 KiB326236

verify_superinstructions.pyH A D16-Feb-20217 KiB205153

verify_validators_dfa.pyH A D16-Feb-202110.9 KiB281214

vmovd_proof.pyH A D16-Feb-20211.4 KiB4430

vpminsd_avx2_proof.pyH A D16-Feb-2021756 2414

vzero_proof.pyH A D16-Feb-2021849 2410

xadd16_proof.pyH A D16-Feb-20211 KiB2915

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