tree c1f60330a470a231954d63c2d130fafb4f8e32c4
parent 208d3132e6e8facd91aa7706e4f57bdcd7ce1ec9
author Alastair Donaldson <afdx@google.com> 1560264968 +0100
committer GitHub <noreply@github.com> 1560264968 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJc/8EICRBK7hj4Ov3rIwAAdHIIADMPSGbaGpFY45AHqjvBOOiR
 XYM5/1d0kIxVso+sYGuGFmtvvoi1PgzvhbecicVsI+Bel1K9WQGNxM6SjckVn745
 bt4H3TagJBj5K9JV49z3oTsBFwnF5nTjTPkJYMHt+l8nFFM8P7g1JH/HwyoRWWs8
 TBJQF5YZB2Jk36S+yV2nAHGYgxQI3bemiW1icGeqoWeM2cqwtA9B5o0FmcpOnZKg
 NPx+TgwqHopiNPuStommZ6JXkU47sOzJncAgTvkuOzUe0mks3iloosb7+r4qEt0U
 KmZFolAbkG6GG7+uWN3ht3e5d+q6tuaKvSW+imNGEwEvkhk2YXo8ZgobNn6RuX4=
 =bvj8
 -----END PGP SIGNATURE-----
 

Add constant == uniform facts. (#2660)

Adds a new (and first) kind of fact to the fact manager, which is that
a specific uniform value is guaranteed to be equal to a specific
constant.  The point of this is that such information (if known to be
true by some external source) can be used by spirv-fuzz to transform
the module in interesting ways that a static compiler cannot reverse
via compile-time analysis.

This change introduces protobuf messages for the fact, and adds
capabilities to the fact manager to store this kind of fact and
provide information about it.