Code

modifying the help messages#68

Code

Merged

liav-certora merged 14 commits intomainCertora/Quorum:mainfrom michael/help-messages-patchCertora/Quorum:michael/help-messages-patchCopy head branch name to clipboardJan 8, 2025

+80-64

Commits

Commits on Jan 7, 2025

• modifying the help messages

  MichaelMorami

  committed
  515f33b

  Copy full SHA for 515f33b

• .

  liav-certora

  committed
  605c326

  Copy full SHA for 605c326

• refactoring args in code

  liav-certora

  committed
  31b2b30

  Copy full SHA for 31b2b30

• rename config

  liav-certora

  committed
  606ca99

  Copy full SHA for 606ca99

Commits on Jan 8, 2025

• Merge branch 'main' into michael/help-messages-patch

  liav-certora

  committed
  9e76bf0

  Copy full SHA for 9e76bf0

• Merge branch 'main' into michael/help-messages-patch

  liav-certora

  committed
  519c62d

  Copy full SHA for 519c62d

• Merge branch 'main' into michael/help-messages-patch

  liav-certora

  committed
  199d5b3

  Copy full SHA for 199d5b3

• Merge branch 'main' into michael/help-messages-patch

  liav-certora

  committed
  c2fd004

  Copy full SHA for c2fd004

• changes

  liav-certora

  committed
  1aab385

  Copy full SHA for 1aab385

• Adjust cli arg name

  nivcertora

  committed
  ec722a9

  Copy full SHA for ec722a9

• Add autocomplete for pros

  nivcertora

  committed
  e8cf166

  Copy full SHA for e8cf166

• Update CI.yml

  liav-certora

  committed
  e81018e

  Copy full SHA for e81018e

• Update CI.yml

  liav-certora

  committed
  05c0bbc

  Copy full SHA for 05c0bbc

• Update CI.yml

  liav-certora

  committed
  1962427

  Copy full SHA for 1962427