The complete list of all 178 extensions exposed for a HD Graphics 4000 GPU under Win8 64-bit is available here GLSL Hacker, OpenGL Viewer demo (latest DEV version for Windows)
GL_ARB_shader_atomic_counters (OpenGL 4.2).GL_ARB_vertex_attrib_64bit (OpenGL 4.1).GL_ARB_separate_shader_objects (OpenGL 4.1).
Compared to v3257, v3345 adds 22 new OpenGL extensions: V3345 is an OpenGL 4.0 (178 extensions: GL=159 + WGL=19) but exposes also some OpenGL 4.1 / OpenGL 4.2 and OpenGL 4.3 extensions. adds a ton of new OpenGL extensions ( OpenGL 4.1 / 4.2 / 4.3), adds Intel Wireless Display native Miracast support for wireless streaming on Windows 8.1, brings DirectX 9 optimizations and and fixes multiple bugs. Intel has released a new Win7/Win8 driver for HD Graphics 2500/4000/4200/4400/4600/5000, for Iris Graphics 5100 and for Iris Pro Graphics 5200.