Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 12, 2019

• Use crytic-compile#master

  montyly

  committedSep 12, 2019
  805b341

Commits on Sep 11, 2019

• Merge pull request crytic#330 from crytic/dev-human-printer

  montyly

  committedSep 11, 2019
  ec159d1

• Merge branch 'master' into dev

  montyly

  committedSep 11, 2019
  5100038

• Merge pull request crytic#329 from crytic/dev-fix-loop-break

  montyly

  committedSep 11, 2019
  bb939cc

Commits on Sep 10, 2019

• Add optimization impact level to human summary

  kaisaf

  committedSep 10, 2019
  b4165de

• Fix incorrect for(;;) parsing if break is present

  montyly

  committedSep 10, 2019
  cf7d0c7

• Merge pull request crytic#325 from burrrata/master

  montyly

  committedSep 10, 2019
  5ed0eec

• Update README.md

  montyly

  committedSep 10, 2019
  18b2bbd

• Merge pull request crytic#322 from disconnect3d/slither-cli-print-detectors-count

  montyly

  committedSep 10, 2019
  021e683

• Merge pull request crytic#323 from crytic/disconnect3d-patch-1

  montyly

  committedSep 10, 2019
  bed3cc3

Commits on Sep 4, 2019

• Update README.md

  yeqbfgxjiq

  committedSep 4, 2019
  8c80fec

Commits on Aug 27, 2019

• Fix MultipleCallsInLoop wiki url

  disconnect3d

  committedAug 27, 2019
  c3bc9fe

Commits on Aug 26, 2019

• Print detectors count on Slither CLI

  disconnect3d

  committedAug 26, 2019
  abc0563

Commits on Aug 21, 2019

• Merge pull request crytic#317 from crytic/special_case_echidna_properties

  montyly

  committedAug 21, 2019
  9922eb4

• Change to startswith

  agroce

  committedAug 21, 2019
  5468bc1

Commits on Aug 20, 2019

• ignore naming convention restriction on echidna_ and crytic_ functions

  agroce

  committedAug 20, 2019
  d3ba27b

Commits on Aug 16, 2019

• v0.6.6

  montyly

  committedAug 16, 2019
  b43d4c9

• Merge pull request crytic#314 from crytic/dev-fix-reentrancy

  montyly

  committedAug 16, 2019
  f608e98

• Fix reentrancy detector

  montyly

  committedAug 16, 2019
  e2ed64c

• v0.6.5

  montyly

  committedAug 16, 2019
  c417c04

• Merge pull request crytic#299 from Abhimanyu121/master

  montyly

  committedAug 16, 2019
  774fd91

• Merge pull request crytic#313 from crytic/dev-move-utils

  montyly

  committedAug 16, 2019
  b993bc2

Commits on Aug 15, 2019

• New Printer: Prints Contructor call sequence

  

  Abhimanyu121

  authored and

  Abhimanyu

  committedAug 15, 2019
  accb687

• Merge pull request crytic#311 from crytic/dev-refactor-reentrancy

  montyly

  committedAug 15, 2019
  d71b1a6

Commits on Aug 14, 2019

• Move .utils to slither.tools to allow use in external tools

  montyly

  committedAug 14, 2019
  4887966

Commits on Aug 13, 2019

• Merge branch 'dev' into dev-refactor-reentrancy

  montyly

  committedAug 13, 2019
  c25aa4f

• Improve constant folding

  montyly

  committedAug 13, 2019
  df0dacc

Commits on Aug 12, 2019

• Remove print

  montyly

  committedAug 12, 2019
  923d82a

• Improve solc_version information

  montyly

  committedAug 12, 2019
  de4d863

Commits on Aug 6, 2019

• Refactor reentrancy + API changes:

  montyly

  committedAug 6, 2019
  58abfbb

Commits on Jul 30, 2019

• Merge pull request crytic#305 from crytic/dev-late-subdenomination-conversion

  montyly

  committedJul 30, 2019
  54241c0

• Minor

  montyly

  committedJul 30, 2019
  13528d2

• Merge branch 'dev' into dev-late-subdenomination-conversion

  montyly

  committedJul 30, 2019
  f8b7d49

• Minor

  montyly

  committedJul 30, 2019
  2ff1b29

Commits on Jul 28, 2019

• Merge branch 'dev' into dev-late-subdenomination-conversion

  montyly

  committedJul 28, 2019
  a8b4959

Pagination

PreviousNext