aboutsummaryrefslogtreecommitdiff
path: root/source/val/validation_state.h
AgeCommit message (Expand)Author
2021-06-10spirv-val: Vulkan Storage Class for Execution Model (#4212)sfricke-samsung
2021-01-27Validate SPV_KHR_workgroup_memory_explicit_layout (#4128)Caio Marcelo de Oliveira Filho
2020-10-08Update val to handle reversed instruction sections. (#3887)dan sinclair
2020-09-02spirv-val: Add Vulkan VUID labels to BuiltIn (#3756)sfricke-samsung
2019-09-27Refactor the InstructionPass (#2924)alan-baker
2019-09-13SPIRV-Tools support for SPIR-V 1.5 (#2865)alan-baker
2019-09-09Don't register duplicate decoration in validator. (#2841)Steven Perron
2019-07-08Validate usage of 8- and 16-bit types with only storage capabilities (#2704)alan-baker
2019-06-17Disallow stores to UBOs (#2651)alan-baker
2019-05-21Validate OpenCL environment rules for OpTypeImage (#2606)Kévin Petit
2019-05-13Make pointers to isomorphic type interchangeable with option. (#2570)Steven Perron
2019-05-07Support SPIR-V 1.4 (#2550)David Neto
2019-03-19Convert sampled consumers to being Instructions instead of IDs (#2464)Ryan Harrison
2019-02-25Add validation for SPV_NV_cooperative_matrix (#2404)Jeff Bolz
2019-02-25Validate: (data) Block can't appear within a Block (#2410)Sarah
2019-01-28Validate NonWritable decoration (#2263)David Neto
2019-01-14Enforce rules for OpTypeRuntimeArray on Vulkan (#2191)Ryan Harrison
2019-01-14Removing unused const version of id_decorations (#2283)Ryan Harrison
2019-01-08Permit UConvert spec-constant op for SPV_AMD_gpu_shader_int16 (#2264)David Neto
2019-01-07SPV_EXT_physical_storage_buffer (#2267)Jeff Bolz
2018-12-05Check for recursion in Vulkan and WebGPU entry points (#2161)Ryan Harrison
2018-12-05Check that if A calls B, B is defined before A for WebGPU (#2169)Ryan Harrison
2018-12-05Loosen binding and descriptor check (#2167)alan-baker
2018-12-03[val] Fixup id name output (#2158)dan sinclair
2018-11-30Clean uses of EvalInt32IfConst (#2145)alan-baker
2018-11-16Validator: Support VK_EXT_scalar_block_layoutDavid Neto
2018-10-19Add validaton for SPV_KHR_8bit_storage + convert to/from floats. (#1990)Neil Henning
2018-10-03Change handling of unknown extentions in validtor. (#1951)Steven Perron
2018-08-31Remove struct member offset monotonicity checkAlan Baker
2018-08-07Refactor where opcodes are validatedAlan Baker
2018-08-03Cleanup includes. (#1795)dan sinclair
2018-08-03Rewrite include guards (#1793)dan sinclair
2018-08-02Remove ValidateInstructionAndUpdateValidationState (#1784)dan sinclair
2018-08-01 Remove instruction_counter from ValidationState. (#1781)dan sinclair
2018-08-01Remove diag() overloads. (#1776)dan sinclair
2018-08-01Remove std::deque in favour of std::vector. (#1755)dan sinclair
2018-07-31Change ValidationState::diag to accept an Instruction. (#1749)dan sinclair
2018-07-31Make sure all instructions are in the ordered list.Dan Sinclair
2018-07-11Enforce block layout rules even when relaxedDavid Neto
2018-07-10Vulkan permits non-monotonic offsets for block membersDavid Neto
2018-07-10Convert validation to use libspriv::Instruction where possible. (#1663)dan sinclair
2018-07-09Move the validation code into the val:: namespace (#1682)dan sinclair
2018-07-07Change libspirv to spvtools namespace (#1678)dan sinclair
2018-07-03Support SPV_KHR_8bit_storageDavid Neto
2018-06-21Add a WIP WebGPU environment. It disallows OpUndefCorentin Wallez
2018-06-19[val] Add extra context to error messages. (#1600)dan sinclair
2018-06-13Validate static uses of interfacesAlan Baker
2018-05-23Validate presence of OpMemoryModel.dan sinclair
2018-04-17Fixes #1483. Validating Vulkan 1.1 barrier execution scopesAlan Baker
2018-04-05Fix major bug in validate_builtinsAndrey Tuganov
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-29 13:41:07 +0000