search

viperproject / viperserver

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

Update Z3 to 4.8.7 #105

Closed ArquintL closed 1 year ago

ArquintL commented 1 year ago

Related to Viper-IDE #359

ArquintL commented 1 year ago

bors merge