aboutsummaryrefslogtreecommitdiff
path: root/source/val
AgeCommit message (Expand)Author
2016-11-28Checks that result IDs are within the ID bound specified in the SPIR-V headerEhsan Nasiri
2016-11-24Validation for OpSampledImage instruction.Ehsan Nasiri
2016-11-16Adding validation code for OpTypeStruct.Ehsan Nasiri
2016-11-08Rename validation source files to comply with Google style guide.Lei Zhang
2016-10-04Fix compilation errors when building inside ChromiumCorentin Wallez
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-01Refactor CapabilitySet into templated class EnumSetDavid Neto
2016-08-30Handle capabilities larger than value 63David Neto
2016-08-30Add libspirv::CapabilitySetDavid Neto
2016-08-12OpUndef can appear in type declaration sectionUmar Arshad
2016-08-10Change the interfaces of in-memory representation to use pointers.Lei Zhang
2016-08-09Removed dead code/const_casts/listsUmar Arshad
2016-08-09Refactor Id -> InstructionUmar Arshad
2016-08-07Remove unnecessary headersUmar Arshad
2016-08-06Remove needless copies. Delete copy constructor.Umar Arshad
2016-08-05Hide implementations of BasicBlock::dominates,postdominatesDavid Neto
2016-08-05Track a construct by its entry block.David Neto
2016-08-05Validator cfg fixesDavid Neto
2016-08-05Add BasicBlock methods: dominates postdominatesDavid Neto
2016-08-05Rename a variable so it's consistent with specDavid Neto
2016-07-28Fix infinite loop in dominance calculation.David Neto
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-10Use SPIR-V headers from the KhronosGroup/SPIRV-Headers repo.Lei Zhang
2016-06-10Refactor depth first traversal to be more genericUmar Arshad
2016-06-09Fix diagnostic message for layout errorsUmar Arshad
2016-06-08Split validate_types file into multiple classesUmar Arshad