Code

Add sv-comp CI run#541

Code

Merged

Jezurko merged 9 commits intomastertrailofbits/vast:masterfrom svcomp-citrailofbits/vast:svcomp-ciCopy head branch name to clipboardApr 22, 2024

+243-176

Commits

Commits on Apr 22, 2024

• gh: Add sv-comp CI run.

  Jezurko

  committed
  e35852d

  Copy full SHA for e35852d

• gh: Checkout sv-comp patch to special branch.

  Jezurko

  committed
  9c41582

  Copy full SHA for 9c41582

• gh: Merge benchmarking workflows into prerelease workflow.

  Jezurko

  committed
  e216eb4

  Copy full SHA for e216eb4

• gh: Add sv-comp evaluation.

  Jezurko

  committed
  52d8638

  Copy full SHA for 52d8638

• www: Add SV-Comp benchmark results.

  Jezurko

  committed
  2379acb

  Copy full SHA for 2379acb

• gh: Pull from the CI branch in sv-comp evaluation job.

  Jezurko

  committed
  fabaf11

  Copy full SHA for fabaf11

• gh: Fix prerelease trigger.

  Jezurko

  committed
  43a2485

  Copy full SHA for 43a2485

• gh: Simplify one-line arguments in prerelease action.

  Jezurko

  committed
  6ee14b3

  Copy full SHA for 6ee14b3

• gh: Remove redundant git install for sv-comp test suite.

  Jezurko

  committed
  c39b836

  Copy full SHA for c39b836