2 Commits

Author	SHA1	Message	Date
Jakub Kuderski	b8fce5f9e6	spirv-lint: Add lint based on divergence analysis (#4488) ... This PR is a rebased version of #4479 by James Dong. --- The primary purpose of this PR is to add the code from my prototype as a PR, for licensing reasons. The commit history is messy, and the code is not especially clean. Fixes https://github.com/KhronosGroup/SPIRV-Tools/issues/3196.	2021-08-27 14:43:23 -04:00
dong-ja	706dc27a62	Add new target for spirv-lint (#4446) ... This PR adds a new executable spirv-lint with a simple "Hello, world!" program, along with its associated library and a dummy unit test. For now, only adds to CMake and Bazel; other build systems will be added in a future PR. Issue: #3196	2021-08-06 14:03:59 -04:00