tree a21197eaa9c34930ede8d3342854c37f9eb8d02e
parent cdee051e2c6b8795d0b5d59aa95d61126e31b2b6
author Alastair Donaldson <afdx@google.com> 1572630601 +0000
committer GitHub <noreply@github.com> 1572630601 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJdvHBJCRBK7hj4Ov3rIwAAdHIIACUror+PzCVvgnLzXU4mLHXw
 MnpjTxr67LlLzMTirIcts4IEzI9d/Ks4V3cchHWZ44g3MOUZkHJ/hCdxg/j3dfij
 2p7fqXHWxOtw3ISJ9deDbDBwVHDYMva+3J0liImbWo84TVlooMjfYhpuSqmOSTJo
 VCfmk/RbzCg1Wp2hq8oPSncrsG8Nqo7u5Z9YKWA5m89LFfzOzVaeFwcBRD2Oofts
 ijMcPLJvYs/J/MSTA1S4oLkrKbz0eYC8yG+3rYleTjzkoYlVH583Dg0kBZgcfCK3
 NDpzbHD2/jWZLOIgzzvjNdi7dN0T/On+wuNl3pWrS2a2G6VAc8Eyb9ciEHfk72M=
 =g+p4
 -----END PGP SIGNATURE-----
 

spirv-fuzz: improvements to representation of data synonym facts (#3006)

This change fixes a bug in EquivalenceRelation, changes the interface
of EquivalenceRelation to avoid exposing (potentially
nondeterministic) unordered sets, and changes the interface of
FactManager to allow querying data synonyms directly. These interface
changes have required a lot of corresponding changes to client code
and tests.