aboutsummaryrefslogtreecommitdiff
path: root/source/val/function.cpp
AgeCommit message (Expand)Author
2020-07-15Fix reachability in the validator (#3541)alan-baker
2019-11-27Validate nested constructs (#3068)alan-baker
2019-07-23Fix block depth rule priority (#2755)alan-baker
2019-06-03Add validation for SPV_EXT_fragment_shader_interlock (#2650)Jeff Bolz
2019-03-08Implement WebGPU specific CFG validation (#2386)Ryan Harrison
2018-08-03Cleanup includes. (#1795)dan sinclair
2018-08-01Remove using std::<foo> statements. (#1756)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-03-22Fixes compile errors generated with -WpedanticEleni Maria Stea
2018-02-05Add barrier instructions validation passAndrey Tuganov
2017-11-27Re-format source tree - NFC.Diego Novillo
2017-11-23Add validation checks for Execution ModelAndrey Tuganov
2017-11-08Re-format files in source, source/opt, source/util, source/val and tools.Diego Novillo
2017-05-25CFA: Move TraversalRoots and ComputeAugmentedCFG into CFAGreg Fischer
2017-05-08Inline: Create CFA classGreg Fischer
2017-01-06Fixes bug #517.Ehsan Nasiri
2016-12-23Validation code for control flow nesting depth.Ehsan Nasiri
2016-11-08Rename validation source files to comply with Google style guide.Lei Zhang