aboutsummaryrefslogtreecommitdiff
path: root/source/val
AgeCommit message (Expand)Author
2018-04-17Fixes #1483. Validating Vulkan 1.1 barrier execution scopesAlan Baker
2018-04-05Fix major bug in validate_builtinsAndrey Tuganov
2018-04-05Execution mode/model available in validation stateAndrey Tuganov
2018-03-23Add Vulkan validation rules for BuiltIn variablesAndrey Tuganov
2018-03-22Fixes compile errors generated with -WpedanticEleni Maria Stea
2018-03-07AMD_gpu_shader_half_float enables float16Andrey Tuganov
2018-03-05Support SPV_GOOGLE_decorate_string and SPV_GOOGLE_hlsl_functionality1David Neto
2018-02-07Add Vulkan-specific validation rules for atomicsAndrey Tuganov
2018-02-05Add barrier instructions validation passAndrey Tuganov
2017-12-14Refactor include of latest spir-v header versionsAndrey Tuganov
2017-11-30Fix validation of group ops in SPV_AMD_shader_ballotDavid Neto
2017-11-27Fix windows build.Diego Novillo
2017-11-27Re-format source tree - NFC.Diego Novillo
2017-11-23Add validation checks for Execution ModelAndrey Tuganov
2017-11-22Validator pass for image instructionsAndrey Tuganov
2017-11-08Re-format files in source, source/opt, source/util, source/val and tools.Diego Novillo
2017-10-28Add option to relax validation of store types.Steven Perron
2017-10-25Turn all function static non-POD variables into global POD variablesLei Zhang
2017-10-20Add validation pass for conversion instructionsAndrey Tuganov
2017-10-12Validator checks OpReturn called from void funcAndrey Tuganov
2017-09-26Add remaining opcodes to arithmetics validationAndrey Tuganov
2017-09-08Add new checks to validate arithmetics passAndrey Tuganov
2017-09-07validator: OpModuleProcessed allowed in layout section 7cDavid Neto
2017-09-05Add validation pass for arithmetic operationsAndrey Tuganov
2017-06-30Added compression tool tools/spirv-markv. Work in progress.Andrey Tuganov
2017-06-28Don't do hash lookup twice in FindDefChris Forbes
2017-05-25CFA: Move TraversalRoots and ComputeAugmentedCFG into CFAGreg Fischer
2017-05-15Add SPIR-V 1.2 support, for OpenCL 2.2David Neto
2017-05-09Stats analyzer aggregates OpConstant usageAndrey Tuganov
2017-05-09Stats analyzer uses validatorAndrey Tuganov
2017-05-08Inline: Create CFA classGreg Fischer
2017-04-07Support SPV_KHR_storage_buffer_storage_classDavid Neto
2017-04-07Validator support for Variable Pointer extension.Ehsan Nasiri
2017-03-14Validator checks if operands require extensionAndrey Tuganov
2017-03-09Validator parses and registers OpExtensionAndrey Tuganov
2017-03-01Allow using FPRoundingMode when see VK_KHR_16bit_storageLei Zhang
2017-02-28Issue 559: check type declaration uniquenessAndrey Tuganov
2017-02-28Refactored validation_state, added new typesAndrey Tuganov
2017-02-28Add command line options struct for the validatorEhsan Nasiri
2017-02-27Validation of type decls for SPV_KHR_16bit_storageDavid Neto
2017-02-27Add a Feature struct to validation state.David Neto
2017-02-10Check strict domination of merge blockDavid Neto
2017-01-19Check BuiltIn Decoration rules.Ehsan Nasiri
2017-01-18Validation for decoration rules. Fixes issue #499.Ehsan Nasiri
2017-01-16Adding decoration class and tests.Ehsan Nasiri
2017-01-13Validation of OpEntryPoint usage.Ehsan Nasiri
2017-01-06Fixes bug #517.Ehsan Nasiri
2016-12-23Validation code for control flow nesting depth.Ehsan Nasiri
2016-12-07Validation for struct nesting depth.Ehsan Nasiri
2016-12-01Validate the number of global and local variables.Ehsan Nasiri