Skip to content

November 2022 release
Compare
Choose a tag to compare
@github-actions github-actions released this 15 Nov 12:56
v.22.11-release
366c33e

ViperServer uses Viper's July 2022 release for its dependencies (i.e. the verification backends) and provides several bug fixes related to ViperServer's LSP functionality.

ViperServer: commit 366c33e
Silicon: commit 098881005e53a0784ed1862bea4c07408b9b6e2d
Carbon: commit 4df61d8e37d8952d0eeb69d4bb797d5934e1d2f0
Silver: commit 918bafa770a88e1b488d9a93ad5eb250be41e983

Assets 4
Loading