viperproject / viperserver

HTTP server that manages verification requests to different tools from the Viper tool stack.
Other
10 stars 17 forks source link

Add JSON writers for new messages introduced by silver and silicon update #118

Closed jthomme1 closed 1 year ago

jthomme1 commented 1 year ago

This PR should fix the things this silicon PR broke for viperserver which became evident during the update of submodules (see #117). @Aurel300