Commits

Branch selector

 master

User selector

chandrakananandi

Datepicker

All time

Commit History

Commits on May 21, 2024

• Merge pull request #43 from Certora/remappings-again

  Show description for 41d3045
  chandrakananandi

  authoredMay 21, 2024
  41d3045

  Copy full SHA for 41d3045

• hmmm mac build is broken..

  chandrakananandi

  committedMay 21, 2024
  e2f511a

  Copy full SHA for e2f511a

• fix regression tests

  chandrakananandi

  committedMay 21, 2024
  b968f7b

  Copy full SHA for b968f7b

• remove silly log

  chandrakananandi

  committedMay 21, 2024
  44d4397

  Copy full SHA for 44d4397

• bug fix

  chandrakananandi

  committedMay 21, 2024
  9fa92c9

  Copy full SHA for 9fa92c9

Commits on Apr 24, 2024

• Merge pull request #42 from Certora/remappings

  Show description for 078bf88
  chandrakananandi

  authoredApr 24, 2024
  078bf88

  Copy full SHA for 078bf88

Commits on Apr 23, 2024

• always strip / from lhs of a remapping

  chandrakananandi

  committedApr 23, 2024
  9a40111

  Copy full SHA for 9a40111

Commits on Apr 22, 2024

• Merge pull request #41 from Certora/cnandi/evmversion

  Show description for 6a6f72e
  chandrakananandi

  authoredApr 22, 2024
  6a6f72e

  Copy full SHA for 6a6f72e

• sync docs with rtd

  chandrakananandi

  committedApr 22, 2024
  31af55f

  Copy full SHA for 31af55f

• support for evm-version

  chandrakananandi

  committedApr 22, 2024
  b990247

  Copy full SHA for b990247

Commits on Jan 11, 2024

• Merge pull request #39 from samparsky/master

  Show description for a97670e
  chandrakananandi

  authoredJan 11, 2024
  a97670e

  Copy full SHA for a97670e

Commits on Dec 22, 2023

• Merge pull request #33 from Certora/fix_readme

  Show description for 5858eb3
  chandrakananandi

  authoredDec 22, 2023
  5858eb3

  Copy full SHA for 5858eb3

Commits on Dec 21, 2023

• update readme and fix generate_rtd

  chandrakananandi

  committedDec 21, 2023
  73a1558

  Copy full SHA for 73a1558

Commits on Nov 23, 2023

• Merge pull request #35 from Certora/cnandi/bug-fix

  Show description for 05abe4a
  chandrakananandi

  authoredNov 23, 2023
  05abe4a

  Copy full SHA for 05abe4a

• fix bug in allow paths

  chandrakananandi

  committedNov 23, 2023
  6a5678f

  Copy full SHA for 6a5678f

Commits on Oct 12, 2023

• Merge pull request #34 from Certora/oz/ubuntu20

  Show description for d1a0289
  chandrakananandi

  authoredOct 12, 2023
  d1a0289

  Copy full SHA for d1a0289

Commits on Aug 28, 2023

• Merge pull request #32 from Certora/teryanarmen-patch-1

  Show description for 88e145b
  chandrakananandi

  authoredAug 28, 2023
  88e145b

  Copy full SHA for 88e145b

Commits on Jul 12, 2023

• Update README.md

  chandrakananandi

  authoredJul 12, 2023
  87560c8

  Copy full SHA for 87560c8

• update readme with solc comment and a tiny cleanup

  chandrakananandi

  committedJul 12, 2023
  f48aad1

  Copy full SHA for f48aad1

• Merge pull request #27 from Certora/samwise/fix-delete-expression

  Show description for d6e07c2
  chandrakananandi

  authoredJul 12, 2023
  d6e07c2

  Copy full SHA for d6e07c2

Commits on Jul 10, 2023

• Merge pull request #26 from Certora/samwise/snake_case_convention

  Show description for 4d7ec00
  chandrakananandi

  authoredJul 10, 2023
  4d7ec00

  Copy full SHA for 4d7ec00

Commits on Jun 30, 2023

• Merge pull request #24 from Certora/yura-patch-1

  Show description for 2650c69
  chandrakananandi

  authoredJun 30, 2023
  2650c69

  Copy full SHA for 2650c69

Commits on May 25, 2023

• Update README.md

  chandrakananandi

  authoredMay 25, 2023
  95b7051

  Copy full SHA for 95b7051

Commits on May 18, 2023

• Merge pull request #22 from Certora/ben/fix-cli-mutations-argument

  Show description for 948e9d6
  chandrakananandi

  authoredMay 18, 2023
  948e9d6

  Copy full SHA for 948e9d6

Commits on May 15, 2023

• Merge pull request #14 from Certora/ben/mutator-refactor

  Show description for 78b7224
  chandrakananandi

  authoredMay 15, 2023
  78b7224

  Copy full SHA for 78b7224

Commits on May 12, 2023

• readme edits

  chandrakananandi

  committedMay 12, 2023
  c644662

  Copy full SHA for c644662

• readme edits

  chandrakananandi

  committedMay 12, 2023
  8e5ac9c

  Copy full SHA for 8e5ac9c

Commits on May 10, 2023

• make file

  chandrakananandi

  committedMay 10, 2023
  d579476

  Copy full SHA for d579476

Commits on May 6, 2023

• compiler

  chandrakananandi

  committedMay 6, 2023
  5d2c501

  Copy full SHA for 5d2c501

• compiler

  chandrakananandi

  committedMay 6, 2023
  066472c

  Copy full SHA for 066472c

• fixing the compiler stuff

  chandrakananandi

  committedMay 6, 2023
  3079ca8

  Copy full SHA for 3079ca8

• cleanups

  chandrakananandi

  committedMay 6, 2023
  d418c7d

  Copy full SHA for d418c7d

• clippy and fmt

  chandrakananandi

  committedMay 6, 2023
  9fada84

  Copy full SHA for 9fada84

Commits on May 5, 2023

• solc-base-path

  chandrakananandi

  committedMay 5, 2023
  4950914

  Copy full SHA for 4950914

Commits on Mar 29, 2023

• Update README.md

  chandrakananandi

  authoredMar 29, 2023
  5e419eb

  Copy full SHA for 5e419eb

Pagination

Previous

Next