Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 21, 2024

• Uri/update mutations to v7 (#33)

  Show description for 0598970
  urikirsh

  authored
  0598970

  Copy full SHA for 0598970

• Merge pull request #32 from Certora/shoham/fixes-v7

  Show description for 6ecd605
  shoham-certora

  authored
  6ecd605

  Copy full SHA for 6ecd605

Commits on Mar 20, 2024

• removed the storage keyword for certora-cli v7

  shoham-certora

  committed
  c1ebcee

  Copy full SHA for c1ebcee

Commits on Feb 12, 2024

• inequality going the wrong way

  derek-certora

  committed
  a0221fe

  Copy full SHA for a0221fe

• really insignificant typo

  derek-certora

  committed
  05c010d

  Copy full SHA for 05c010d

• resolve TODO on what comment means

  derek-certora

  committed
  6c707ef

  Copy full SHA for 6c707ef

• remove colon

  derek-certora

  committed
  58f3fbd

  Copy full SHA for 58f3fbd

Commits on Jan 18, 2024

• removed currently unused lesson5

  shoham-certora

  committed
  9da3173

  Copy full SHA for 9da3173

Commits on Jan 17, 2024

• Merge pull request #31 from Certora/shoham/spec-check-report

  Show description for 557c29d
  shoham-certora

  authored
  557c29d

  Copy full SHA for 557c29d

• changed borda sanity check to basic

  Show description for b69e1a0
  shoham-certora

  committed
  b69e1a0

  Copy full SHA for b69e1a0

Commits on Jan 15, 2024

• Uri/change mutation conf suffix CERT-4588 (#30)

  Show description for 6c2da25
  urikirsh

  authored
  6c2da25

  Copy full SHA for 6c2da25

Commits on Dec 21, 2023

• Merge pull request #29 from Certora/shoham/vacuity

  Show description for cc477b5
  shoham-certora

  authored
  cc477b5

  Copy full SHA for cc477b5

• minor change to vacuity solidity file

  shoham-certora

  committed
  5a7628f

  Copy full SHA for 5a7628f

• added vacuity examples to lesson 2

  shoham-certora

  committed
  5be5333

  Copy full SHA for 5be5333

Commits on Dec 20, 2023

• Merge pull request #28 from Certora/shoham/auction-fix-six

  Show description for be95494
  shoham-certora

  authored
  be95494

  Copy full SHA for be95494

• adapt english auction solution to certora-cli 6.0.0

  shoham-certora

  committed
  276ebc8

  Copy full SHA for 276ebc8

Commits on Nov 6, 2023

• Merge pull request #26 from Certora/shoham/invariants-lesson

  Show description for 6838055
  shoham-certora

  authored
  6838055

  Copy full SHA for 6838055

• cleanup

  shoham-certora

  committed
  552490c

  Copy full SHA for 552490c

Commits on Nov 5, 2023

• updated solution to address zero has zero balance

  shoham-certora

  committed
  dc71808

  Copy full SHA for dc71808

Commits on Oct 26, 2023

• organizew simple voting mutation

  shoham-certora

  committed
  0e3a1f1

  Copy full SHA for 0e3a1f1

Commits on Oct 23, 2023

• empt spec and basic conf for managers

  shoham-certora

  committed
  1cdd5f4

  Copy full SHA for 1cdd5f4

• updated config files

  Show description for e18ae6c
  shoham-certora

  committed
  e18ae6c

  Copy full SHA for e18ae6c

Commits on Oct 19, 2023

• challenge wip

  shoham-certora

  committed
  f24c034

  Copy full SHA for f24c034

Commits on Oct 16, 2023

• improved simple_voting solution and added mutation config

  shoham-certora

  committed
  0d8247d

  Copy full SHA for 0d8247d

• square root summary example

  shoham-certora

  committed
  42d730b

  Copy full SHA for 42d730b

Commits on Oct 11, 2023

• added more partial solutions to total supply

  Show description for 6bc35d2
  shoham-certora

  committed
  6bc35d2

  Copy full SHA for 6bc35d2

• added a failed approach for total supply spec

  shoham-certora

  committed
  1dc6de0

  Copy full SHA for 1dc6de0

• proving total supply is not less sum of two

  shoham-certora

  committed
  04c7973

  Copy full SHA for 04c7973

Commits on Oct 8, 2023

• added a conf fot funds managers ghost solution

  shoham-certora

  committed
  7139294

  Copy full SHA for 7139294

• spec for strict english auction

  shoham-certora

  committed
  e895a32

  Copy full SHA for e895a32

Commits on Oct 5, 2023

• run auction spec from root code dir

  shoham-certora

  committed
  fef6784

  Copy full SHA for fef6784

Commits on Oct 4, 2023

• added rule sanity to english auction conf

  shoham-certora

  committed
  efc1734

  Copy full SHA for efc1734

• separated manager spec solution to two specs

  shoham-certora

  committed
  be71f46

  Copy full SHA for be71f46

• added full spec and many buggy versions for simple voting

  shoham-certora

  committed
  91434c8

  Copy full SHA for 91434c8

Commits on Oct 3, 2023

• ghosts section - wip

  shoham-certora

  committed
  139b300

  Copy full SHA for 139b300

Pagination

Previous

Next