Code

UI/UX improvements#53

Code

Merged

automergerpr-permission-manager[bot] merged 9 commits intomasterruntimeverification/komet:masterfrom ui-ux-improvementsruntimeverification/komet:ui-ux-improvementsCopy head branch name to clipboardDec 19, 2024

+93-25

Commits

Commits on Dec 9, 2024

• fix prove_parser help text: Test => Prove

  bbyalcinkaya

  committed
  e904515

Commits on Dec 11, 2024

• add --id <function_name> option

  bbyalcinkaya

  committed
  06b6c73

• add --max-examples option

  bbyalcinkaya

  committed
  abcb341

• add --directory option

  bbyalcinkaya

  committed
  f43b9f0

• Set Version: 0.1.46

  

  devops

  committed
  f571a31

Commits on Dec 17, 2024

• fix --directory: find kasmer.json in the specified dir.

  bbyalcinkaya

  committed
  1599fb2

Commits on Dec 19, 2024

• update docstrings

  bbyalcinkaya

  committed
  ecb827a

• Merge branch 'master' into ui-ux-improvements

  bbyalcinkaya

  authored
  b17b599

• Set Version: 0.1.47

  

  devops

  committed
  2488d42