Alastair Donaldson 1fc7a9ec77 spirv-fuzz: Arbitrary variable facts (#3165) ... This change adds a new kind of fact to the fact manager, which records when a variable (or pointer parameter) refers to an arbitrary value, so that anything can be stored to it, without affecting the observable behaviour of the module, and nothing can be guaranteed about values loaded from it. Donated modules are the current source of such variables, and other transformations, such as outlining, have been adapted to propagate these facts appropriately.		2020-01-30 11:25:29 +00:00
..
spirvfuzz_protobufs.h	Add library for spirv-fuzz (#2618)	2019-05-27 14:34:55 +01:00
spvtoolsfuzz.proto	spirv-fuzz: Arbitrary variable facts (#3165)	2020-01-30 11:25:29 +00:00