Update CHANGES
diff --git a/CHANGES b/CHANGES
index 3c81249..4d9194d 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,7 +1,91 @@
Revision history for SPIRV-Tools
-v2020.6 2020-09-24
- - Start SPIRV-Tools v2020.6
+v2020.6-dev 2020-12-02
+ - General
+ CMake: Add SPIRV_TOOLS_BUILD_STATIC flag (#3910)
+ - Disassembler
+ Add some context comments to disassembly. (#3847)
+ - Optimizer
+ - Handle 8-bit index in elim dead member (#4043)
+ - Add texel buffer out-of-bounds checking instrumentation (#4038)
+ - Update MeshShadingNV dependencies (and land Ray tracing updates) (#4028)
+ - Fix buffer oob instrumentation for matrix refs (#4025)
+ - Fix SSA re-writing in the presence of variable pointers. (#4010)
+ - Add support to prevent functions from being inlined if they have
+ DontInline flag (#3858)
+ - Add SPV_EXT_shader_image_int64 (#3852)
+ - Support SPV_KHR_fragment_shading_rate (#3943)
+ - Fix use-after-move in val/validate.cpp (#3848)
+ - Debug Info
+ - properly preserve DebugValue indexes operand (#4022)
+ - Add DebugValue for invisible store in single_store_elim (#4002)
+ - Propagate OpLine to all applied instructions in spirv-opt (#3951)
+ - Add DebugValue for DebugDecl invisible to value assignment (#3973)
+ - Add DebugValue for function param regardless of scope (#3923)
+ - Debug info preservation in convert-local-access-chains pass (#3835)
+ - Debug info preservation in redundancy-elimination pass (#3839)
+ - Debug info preservation in if-conversion pass (#3861)
+ - Validator
+ - Add validation support for the ray tracing built-in variables (#4041)
+ - Use less stack space when validating Vulkan builtins (#4019)
+ - Fix SPV_KHR_fragment_shading_rate VUID label (#4014)
+ - Label Layer and ViewportIndex VUIDs (#4013)
+ - Allow the ViewportIndex and Layer built-ins on SPIR-V 1.5 (#3986)
+ - Fix validation of OpPhi instructions (#3919)
+ - Fuzz
+ - Fix facts arising from CompositeConstruct (#4034)
+ - Do not flatten conditionals that create synonyms (#4030)
+ - Add support for reining in rogue fuzzer passes (#3987)
+ - Fix assertion failure in FuzzerPassAddCompositeExtract (#3995)
+ - Fix invalid equation facts (#4009)
+ - Fix bugs in TransformationFlattenConditionalBranch (#4006)
+ - Fix bug related to transformation applicability (#3990)
+ - Add expand vector reduction transformation (#3869)
+ - Add FuzzerPassAddCompositeExtract (#3904)
+ - Fix mismatch with shrinker step limit (#3985)
+ - Fix off-by-one error in replayer (#3982)
+ - Get order right for OpSelect arguments (#3974)
+ - Do not add synonym-creating loops in dead blocks (#3975)
+ - Skip OpTypeSampledImage when propagating up (#3976)
+ - Pass OpUndef in function call if needed (#3978)
+ - Fix off-by-one in TransformationCompositeConstruct (#3979)
+ - Tolerate absent ids in data synonym fact management (#3966)
+ - Fix to id availability (#3971)
+ - Fix operand types (#3962)
+ - Don't flatten conditional if condition is irrelevant (#3944)
+ - Do not produce OpPhis of type OpTypeSampledImage (#3964)
+ - Restrict fuzzer pass to reachable blocks (#3970)
+ - Handle more types when extending OpPhi instructions (#3969)
+ - Skip early terminator wrappers when merging returns (#3968)
+ - Avoid irrelevant constants in synonym-creating loops (#3967)
+ - Skip dead blocks in FuzzerPassAddOpPhiSynonyms (#3965)
+ - Avoid the type manager when looking for struct types (#3963)
+ - Fix to TransformationDuplicateRegionWithSelection (#3941)
+ - Skip OpFunction when replacing irrelevant ids (#3932)
+ - Use component-wise selectors when flattening conditional branches (#3921)
+ - Avoid void struct member when outlining functions (#3936)
+ - Do not allow Block-decorated structs when adding parameters (#3931)
+ - Fix to operand id type (#3937)
+ - Handle dead blocks in TransformationEquationInstruction (#3933)
+ - Do not allow sampled image load when flattening conditionals (#3930)
+ - Take care of OpPhi instructions when inlining (#3939)
+ - Fix to TransformationInlineFunction (#3913)
+ - Wrap early terminators before merging returns (#3925)
+ - Lower probability of adding bit instruction synonyms (#3917)
+ - Fix handling of OpPhi in FlattenConditionalBranch (#3916)
+ - Avoid creating blocks without parents (#3908)
+ - Do not allow creation of constants of block-decorated structs (#3903)
+ - Fixes related to irrelevant ids (#3901)
+ - Fix to transformation that adds a synonym via a loop (#3898)
+ - Fix to duplicate region with selection (#3896)
+ - Do not expose synonym facts for non-existent ids (#3891)
+ - Do not add synonyms involving irrelevant ids (#3890)
+ - Do not replace irrelevant ids that are not in blocks (#3892)
+ - Wrap OpKill and similar in function calls (#3884)
+ - Integrate spirv-reduce with shrinker (#3849)
+ - Report fresh ids in transformations (#3856)
+ - Support OpNot bit instruction case (#3841)
+ - Return IR and transformation context after replay (#3846)
v2020.5 2020-09-22
- General