Code

Work on spec#1

Code

Open

shellygr wants to merge 8 commits intoAlex/specCertora/atlas:Alex/specfrom shelly/workCertora/atlas:shelly/workCopy head branch name to clipboard

+295-216

Commits

Commits on Dec 21, 2024

• notes

  shellygr

  committed
  103ecfc

• better conf

  shellygr

  committed
  0edba86

• notes on spec, some more summaries

  shellygr

  committed
  3c944b3

• gitignore

  shellygr

  committed
  ee35544

• 'working'

  shellygr

  committed
  8f29020

• new patch file

  shellygr

  committed
  53a8ca3

• cleaned up conf for transient

  shellygr

  committed
  6f52ed1

• one more thing to speed up maybe

  shellygr

  committed
  f15662a