Code

Add kontrol.toml for CI Kontrol tests#11

Code

Open

palinatolmach wants to merge 5 commits intodevelopruntimeverification/_audits_Ethereum-optimism_pausability:developfrom add-kontrol-tomlruntimeverification/_audits_Ethereum-optimism_pausability:add-kontrol-tomlCopy head branch name to clipboard

+76-55

Commits

Commits on Nov 4, 2024

• Init kontrol.toml without workers, match-test

  palinatolmach

  committed
  82009aa

  Copy full SHA for 82009aa

• Add match-test to kontrol.toml

  palinatolmach

  committed
  9147872

  Copy full SHA for 9147872

Commits on Nov 5, 2024

• Rename kprove to kontrol-properties

  palinatolmach

  committed
  2777a7c

  Copy full SHA for 2777a7c

Commits on Nov 14, 2024

• Merge branch 'develop' into add-kontrol-toml

  F-WRunTime

  authored
  cce127c

  Copy full SHA for cce127c

Commits on Dec 5, 2024

• kontrol.toml: change default profile to kontrol-properties

  JuanCoRo

  committed
  1a559e1

  Copy full SHA for 1a559e1