Code

Revert causes#220

Code

Draft

shellygr wants to merge 10 commits intomasterCertora/Documentation:masterfrom shelly/gapsfromvoododocrevertCertora/Documentation:shelly/gapsfromvoododocrevertCopy head branch name to clipboard

+252-1

Commits

Commits on Feb 10, 2024

• to be tested - to-storage copies

  shellygr

  committed
  cb0e51c

• update

  shellygr

  committed
  d694904

Commits on Feb 16, 2024

• further elaboration on the loop subject

  shellygr

  committed
  d0e97f9

• subtitle added

  shellygr

  committed
  59797d0

• formatting

  shellygr

  committed
  7cf39aa

• Merge branch 'master' into shelly/gapsfromvoodoodoc

  shellygr

  authored
  91be959

• formatting

  shellygr

  committed
  27677e9

• Merge branch 'shelly/gapsfromvoodoodoc' of https://github.com/Certora/Documentation into shelly/gapsfromvoodoodoc

  shellygr

  committed
  8c69f6c

• WIP - revert causes parsing

  shellygr

  committed
  54f4727

Commits on Feb 17, 2024

• Expanding on a more complicated revert cause

  shellygr

  committed
  21aa673