aboutsummaryrefslogtreecommitdiff
path: root/source/validate.h
AgeCommit message (Expand)Author
2018-04-20Fixes #1480. Validate group non-uniform scopes.Alan Baker
2018-03-23Add Vulkan validation rules for BuiltIn variablesAndrey Tuganov
2018-03-17Migrate to use unified grammar tablesLei Zhang
2018-02-05Add barrier instructions validation passAndrey Tuganov
2018-02-01Add adjacency validation passJeremy Hayes
2018-01-02Add ExtInst validation pass (GLSL only for now)Andrey Tuganov
2017-12-19validate & test of literal's upper bitsJesus Carabano
2017-12-15Add primitive instruction validation passJeremy Hayes
2017-12-13Add validation rules for atomic instructionsAndrey Tuganov
2017-12-05Add composite instruction validation passAndrey Tuganov
2017-11-23Add derivatives validation passAndrey 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-20Add validation pass for conversion instructionsAndrey Tuganov
2017-09-26Add bitwise operations validator passAndrey Tuganov
2017-09-20Add validate logicals pass to the validatorAndrey Tuganov
2017-09-05Add validation pass for arithmetic operationsAndrey Tuganov
2017-05-25CFA: Pull in CalculateDominatorsGreg Fischer
2017-05-09Stats analyzer uses validatorAndrey Tuganov
2017-05-08Inline: Create CFA classGreg Fischer
2017-03-17Validator dissallows unsupported Vulkan capabilityAndrey Tuganov
2017-02-28Issue 559: check type declaration uniquenessAndrey Tuganov
2017-02-28Add command line options struct for the validatorEhsan Nasiri
2017-01-18Validation for decoration rules. Fixes issue #499.Ehsan Nasiri
2017-01-13Introducing a new flow for running the Validator.Ehsan Nasiri
2016-11-08Adding validation for vector data rule.Ehsan Nasiri
2016-09-15Add a callback mechanism for communicating messages to callers.Lei Zhang
2016-09-02Relicense SPIRV-Tools under Apache 2.0David Neto
2016-09-02Kill the spvCheckReturn macro.Lei Zhang
2016-08-09Refactor Id -> InstructionUmar Arshad
2016-08-07Remove unnecessary headersUmar Arshad
2016-07-28Fix infinite loop in dominance calculation.David Neto
2016-07-26Check definitions appear in dominator of useUmar Arshad
2016-07-26Refactor IDs definition and use trackingUmar Arshad
2016-06-27Fix several violations of the style guideUmar Arshad
2016-06-24Use pseudo entry and pseudo exit blocks for dominance.David Neto
2016-06-22Validator structured flow checks: back-edge, constructsUmar Arshad
2016-06-08Split validate_types file into multiple classesUmar Arshad
2016-06-06Remove redundant in_block function from FunctionUmar Arshad
2016-06-02Control Flow Graph ValidationUmar Arshad
2016-04-29bitcast fixesFlorian Ziesche
2016-04-22Turn module_capabilities_ into a spv_capability_mask_t.Dejan Mircevski
2016-04-02Fix spelling mistakesEric Engestrom
2016-02-25Fix issues reported by cppcheck.Lei Zhang
2016-02-23Remove spv_validate_options_t and change tests accrodingly.Lei Zhang
2016-02-18Use unordered_map to store defs in UseDefTracker for fast lookup.Lei Zhang
2016-02-17Rearrange headersDavid Neto
2016-02-02Use AssemblyGrammar for capability validation.Dejan Mircevski
2016-01-29Fix validator mem overflow when tracking capabilitiesqining
2016-01-27Remove spvOpcodeIsObject().Dejan Mircevski
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 16:35:48 +0000