viper-data-collection changes

viperproject / carbon

Verification-condition-generation-based verifier for the Viper intermediate verification language.

Mozilla Public License 2.0

30 stars 21 forks source link

viper-data-collection changes #491

Closed Simon-Hostettler closed 9 months ago

Simon-Hostettler commented 10 months ago

This PR should only be accepted after this Silver PR has been merged and the Silver submodule in this repository has been updated.

Added code to Carbon to submit programs which are verified through Carbon directly to the viper-data-collection backend. (submitter.submit() won’t do anything unless —submitForEvaluation is explicitly passed.)