The uclid Language This extension provides syntax coloring and some handy snippets for the uclid Language. 0.0.1 Initial release of of the uclid Language extension for VSCode.