Code

Modify Readme#11

Code

Merged

nivcertora merged 23 commits intomainCertora/Quorum:mainfrom niv/New-ReadmeCertora/Quorum:niv/New-ReadmeCopy head branch name to clipboardSep 26, 2024

+51-19

Commits

Commits on Sep 26, 2024

• Modify Readme

  nivcertora

  committed
  b63275c

  Copy full SHA for b63275c

• Merge b63275c into 1a4b673

  nivcertora

  authored
  3785c4a

  Copy full SHA for 3785c4a

• Auto change version.

  nivcertora

  committed
  9c5a66f

  Copy full SHA for 9c5a66f

• fixes

  nivcertora

  committed
  41dddd1

  Copy full SHA for 41dddd1

• Merge branch 'niv/New-Readme' of github.com:Certora/ProposalTools into niv/New-Readme

  nivcertora

  committed
  efa07ed

  Copy full SHA for efa07ed

• fixes

  nivcertora

  committed
  3d167d5

  Copy full SHA for 3d167d5

• .

  nivcertora

  committed
  5ae729a

  Copy full SHA for 5ae729a

• .

  nivcertora

  committed
  44419a9

  Copy full SHA for 44419a9

• Merge 44419a9 into 1a4b673

  nivcertora

  authored
  d7e38be

  Copy full SHA for d7e38be

• .

  nivcertora

  committed
  61adfd7

  Copy full SHA for 61adfd7

• Auto change version.

  nivcertora

  committed
  da09b42

  Copy full SHA for da09b42

• Merge branch 'niv/New-Readme' of github.com:Certora/ProposalTools into niv/New-Readme

  nivcertora

  committed
  2d76f0d

  Copy full SHA for 2d76f0d

• Merge 2d76f0d into 1a4b673

  nivcertora

  authored
  c30cd13

  Copy full SHA for c30cd13

• Auto change version.

  nivcertora

  committed
  f833e1d

  Copy full SHA for f833e1d

• .

  nivcertora

  committed
  7bea0f1

  Copy full SHA for 7bea0f1

• Merge branch 'niv/New-Readme' of github.com:Certora/ProposalTools into niv/New-Readme

  nivcertora

  committed
  4effba3

  Copy full SHA for 4effba3

• .

  nivcertora

  committed
  c05c365

  Copy full SHA for c05c365

• Merge c05c365 into 1a4b673

  nivcertora

  authored
  5703b49

  Copy full SHA for 5703b49

• Auto change version.

  nivcertora

  committed
  5788465

  Copy full SHA for 5788465

• .

  nivcertora

  committed
  2bbee30

  Copy full SHA for 2bbee30

• Merge branch 'niv/New-Readme' of github.com:Certora/ProposalTools into niv/New-Readme

  nivcertora

  committed
  6e8db82

  Copy full SHA for 6e8db82

• Merge 6e8db82 into 1a4b673

  nivcertora

  authored
  2999a0e

  Copy full SHA for 2999a0e

• Auto change version.

  nivcertora

  committed
  e1249d9

  Copy full SHA for e1249d9