Update CHANGES

CHANGES

@@ -1,7 +1,10 @@
 Revision history for SPIRV-Tools
 
-v2018.5-dev 2018-07-08
+v2018.5-dev 2018-09-07
  - General:
+   - Support SPV_KHR_vulkan_memory_model
+   - Update Dim capabilities, to match SPIR-V 1.3 Rev 4
+   - Automated build bots no run tests for the VS2013 case
    - Support Chromium GN build
    - Use Kokoro bots:
      - Disable Travis-CI bots
@@ -11,26 +14,48 @@ v2018.5-dev 2018-07-08
    - Fixes for ClangTidy, and whitespace (passes 'git cl presumit --all -uf')
    - Fix unused param compile warnings/errors when Effcee not present
    - Avoid including time headers when timer functionality is disabled
+   - Avoid too-stringent warnings flags for Clang on Windows
+   - Internal refactoring
+   - Add hooks for automated fuzzing
+   - Add testing of command line executables
    - #1688: Use binary mode on stdin; fixes "spirv-dis <foo.spv" on Windows
  - Optimizer
+   - The optimizer validates the module before it begins
    - Add API to register passes by string name
    - Fold a vector shuffle feeding a vector shuffle
    - Add -combine-access-chains transform
    - Refactor how IRContext is handled by passes
    - Improve bookkeeping for instruction result type and result id
+   - Fix over-duplication of decorations
+   - Fix handling of exits from selections in dead-branch elimination, and dead code
+     elimination.
+   - Fix handling of certain kinds of flow control in merge-return
+   Fixes:
    - #1721: Fix size bug when folding vector shuffles
    - #1722: Fix size infinite loop when folding vector shuffles
    - #1724: Fix finding a constant of a specific type
    - #1727: Dead branch elim: Reorder blocks if needed to satisfy dominance rule
    - #1729: Handle VariablePointers cases in various optimizations
    - #1731: Fix vector shuffle with literal id indicating undef value
+   - #1736: Fix handling of decorations and phis in merge-return
+   - #1787: Fix handling of decorations related to access chains
+   - #1865: Avoid leaking memory for SPIR-V constant values
  - Validator
    - Improve error messages
+   - Avoid platform-dependent traversal ordering, to ensure consistent messages
    - Use libspirv::Instruction where possible
    - Add option to skip all block layout checks
+   - Validate all type IDs
+   - Validate uses of OpFunction
+   - Validate uses of OpTypeFunction
+   - Disallow a struct containing its own type https://crbug.com/874372
    - #1685: Vulkan permits non-monotonic offsets for block members
    - #1697: Enforce block layout rules even when using relaxed block layout option
    - #1719: Fix line number for vector shuffle valiation error
+   - #1789: Avoid assertion failure when validating some functions
+   - #1800: Fix validation of OpCopyMemorySized
+   - #1822: Stop enforcing struct member offset montonicity
+   - #1831: Disallow void members in structs
 
 v2018.4 2018-07-08
  - General: