Code

Viper Data Collection changes#1510

Code

Open

Simon-Hostettler wants to merge 6 commits intoviperproject:masterviperproject/prusti-dev:masterfrom Simon-Hostettler:masterSimon-Hostettler/prusti-dev:masterCopy head branch name to clipboard

+106-2

Commits

Commits on Dec 27, 2023

• moved code to prusti-server

  Simon-Hostettler

  committed
  baa6644

  Copy full SHA for baa6644

• changed deps

  Simon-Hostettler

  committed
  59c6273

  Copy full SHA for 59c6273

• changed reqwest client

  Simon-Hostettler

  committed
  e1e4c32

  Copy full SHA for e1e4c32

• changed submission logic

  Simon-Hostettler

  committed
  4ccf4c2

  Copy full SHA for 4ccf4c2

Commits on Mar 2, 2024

• updated submitter code

  Simon-Hostettler

  committed
  75aaff5

  Copy full SHA for 75aaff5

Commits on Mar 24, 2024

• viper data collection changes

  Simon-Hostettler

  committed
  99fd557

  Copy full SHA for 99fd557