search

viperproject / viperserver

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

ViperCoreServer #12

Closed WissenIstNacht closed 4 years ago

WissenIstNacht commented 4 years ago

Testing pull requests

aterga commented 4 years ago

Please change the name of this PR s.t. it describes the component that you're currently working on.

aterga commented 4 years ago

Perhaps the name of this PR is outdated, can you change it, please?