Code

Uri/rule report changelog 7.22.1#326

Code

Merged

yoav-el-certora merged 8 commits intomasterCertora/Documentation:masterfrom uri/rule_report_changelog_7.22.1Certora/Documentation:uri/rule_report_changelog_7.22.1Copy head branch name to clipboardJan 12, 2025

+30-2

Commits

Commits on Jan 7, 2025

• renamed rule report changelog to GUI changelog as it also contains dashboard changes

  urikirsh

  committed
  0039e5b

  Copy full SHA for 0039e5b

• added log for Jan 9

  urikirsh

  committed
  d62c157

  Copy full SHA for d62c157

• added dropdown to the list of allowed words

  urikirsh

  committed
  dccc98b

  Copy full SHA for dccc98b

• correct version number

  urikirsh

  committed
  f4a1af0

  Copy full SHA for f4a1af0

Commits on Jan 8, 2025

• added prover changes

  urikirsh

  committed
  a44894d

  Copy full SHA for a44894d

• Spaces and newlines reformatting

  yoav-el-certora

  committed
  45f4b2b

  Copy full SHA for 45f4b2b

Commits on Jan 12, 2025

• Updated dates to January 12th.

  yoav-el-certora

  committed
  c78f6c5

  Copy full SHA for c78f6c5

• Merge branch 'master' into uri/rule_report_changelog_7.22.1

  yoav-el-certora

  authored
  b39567d

  Copy full SHA for b39567d