Code

Add ksoroban prove command#20

Code

Merged

rv-jenkins merged 21 commits intomasterruntimeverification/komet:masterfrom proveruntimeverification/komet:proveCopy head branch name to clipboardAug 13, 2024

+289-34

Commits

Commits on Aug 5, 2024

• Add haskell backend target

  gtrepta

  committed
  8a84494

  Copy full SHA for 8a84494

• Rename

  gtrepta

  committed
  2015b73

  Copy full SHA for 2015b73

• Add module level SorobanDefinitionInfo instances

  gtrepta

  committed
  8a4edc1

  Copy full SHA for 8a4edc1

• Rename

  gtrepta

  committed
  a431e0c

  Copy full SHA for a431e0c

• Make Kasmer.deploy_test unconditionally use the llvm definition

  gtrepta

  committed
  e1e9a5b

  Copy full SHA for e1e9a5b

• Draft of 'ksoroban prove'

  gtrepta

  committed
  8d495da

  Copy full SHA for 8d495da

• Set Version: 0.1.16

  

  devops

  committed
  c255f39

  Copy full SHA for c255f39

Commits on Aug 7, 2024

• Lemmas

  gtrepta

  committed
  9d050b7

  Copy full SHA for 9d050b7

• prove view command

  gtrepta

  committed
  d347d1d

  Copy full SHA for d347d1d

• More lemmas. test_adder now passes!

  gtrepta

  committed
  7b96ae1

  Copy full SHA for 7b96ae1

• Rename

  gtrepta

  committed
  4ed0e94

  Copy full SHA for 4ed0e94

• Set Version: 0.1.17

  

  devops

  committed
  373de18

  Copy full SHA for 373de18

Commits on Aug 8, 2024

• Fix the lemmas.

  Show description for 1364dd6
  gtrepta

  committed
  1364dd6

  Copy full SHA for 1364dd6

• Makefile: Build every soroban-semantics target

  gtrepta

  committed
  28e0741

  Copy full SHA for 28e0741

Commits on Aug 9, 2024

• Adjust how prove/fuzz gets selected

  gtrepta

  committed
  c7966e8

  Copy full SHA for c7966e8

• Add the adder proof to the tests

  gtrepta

  committed
  b7868f8

  Copy full SHA for b7868f8

• Set Version: 0.1.18

  

  devops

  committed
  fdf2a55

  Copy full SHA for fdf2a55

• Merge branch 'master' into prove

  gtrepta

  authored
  a8c9985

  Copy full SHA for a8c9985

• Set Version: 0.1.18

  

  devops

  committed
  1ad6d80

  Copy full SHA for 1ad6d80

Commits on Aug 13, 2024

• Merge branch 'master' into prove

  bbyalcinkaya

  authored
  c864bce

  Copy full SHA for c864bce

• Set Version: 0.1.20

  

  devops

  committed
  090f6fc

  Copy full SHA for 090f6fc