Code

Viper data collection changes#751

Code

Draft

Simon-Hostettler wants to merge 4 commits intoviperproject:masterviperproject/gobra:masterfrom Simon-Hostettler:masterSimon-Hostettler/gobra:masterCopy head branch name to clipboard

+47

Commits

Commits on Dec 23, 2023

• added submitter to GoVerifier, flag to config

  Simon-Hostettler

  committed
  efdbce0

  Copy full SHA for efdbce0

Commits on Mar 2, 2024

• updated submitter code

  Simon-Hostettler

  committed
  ba8eb24

  Copy full SHA for ba8eb24

Commits on Mar 24, 2024

• viper data collection changes

  Simon-Hostettler

  committed
  edac923

  Copy full SHA for edac923

• viper data collection changes

  Simon-Hostettler

  committed
  73bc773

  Copy full SHA for 73bc773