This PR extends the CI to build ViperTools release artifacts on GitHub. It either takes the latest stable or latest nightly release from the PM website and takes Z3 and Boogie from there.
In addition, I've unified ViperServer's main class for HTTP and LSP. There is now a CLI option to specify which one you want (HTTP being the default to be backwards compatible)
This PR extends the CI to build ViperTools release artifacts on GitHub. It either takes the latest stable or latest nightly release from the PM website and takes Z3 and Boogie from there.
In addition, I've unified ViperServer's main class for HTTP and LSP. There is now a CLI option to specify which one you want (HTTP being the default to be backwards compatible)