Code

V5 changelog#174

Code

Merged

shellygr merged 18 commits intomasterCertora/Documentation:masterfrom shelly/v5changelogCertora/Documentation:shelly/v5changelogCopy head branch name to clipboardNov 22, 2023

+44-1

Commits

Commits on Nov 10, 2023

• draft v5 change guide

  mdgeorge4153

  committed
  009a6de

  Copy full SHA for 009a6de

• finished a section

  mdgeorge4153

  committed
  fa4c5fc

  Copy full SHA for fa4c5fc

• tweaks

  mdgeorge4153

  committed
  ea3c427

  Copy full SHA for ea3c427

• Merge branch 'mike/delete-summaries' into mike/v5-breaking-changes

  mdgeorge4153

  committed
  68ddc5c

  Copy full SHA for 68ddc5c

• linked to DELETE summaries

  mdgeorge4153

  committed
  5be4d9b

  Copy full SHA for 5be4d9b

• Merge branch 'master' into mike/v5-breaking-changes

  mdgeorge4153

  authored
  ee1118f

  Copy full SHA for ee1118f

Commits on Nov 14, 2023

• add CLI section

  rahav-certora

  committed
  007541b

  Copy full SHA for 007541b

• test

  rahav-certora

  committed
  f1924b1

  Copy full SHA for f1924b1

Commits on Nov 16, 2023

• revert

  rahav-certora

  committed
  9f75fed

  Copy full SHA for 9f75fed

• contract to parametric_contract

  rahav-certora

  committed
  80e7f5f

  Copy full SHA for 80e7f5f

• test

  rahav-certora

  committed
  4b13073

  Copy full SHA for 4b13073

• rename

  rahav-certora

  committed
  6149d09

  Copy full SHA for 6149d09

• clean

  rahav-certora

  committed
  90f34f9

  Copy full SHA for 90f34f9

• DOC-350: Add CERT-926 docs to the v5 changes doc set. (#173)

  Show description for e3a4bc7
  steve-certora

  authored
  e3a4bc7

  Copy full SHA for e3a4bc7

• cleanup

  shellygr

  committed
  82a2042

  Copy full SHA for 82a2042

Commits on Nov 22, 2023

• v5 changelog

  shellygr

  committed
  14a8f6f

  Copy full SHA for 14a8f6f

• Merge remote-tracking branch 'origin/master' into shelly/v5changelog

  shellygr

  committed
  f88269b

  Copy full SHA for f88269b

• CR

  shellygr

  committed
  a4077d3

  Copy full SHA for a4077d3