Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 20, 2022

• Mythril v0.23.3

  norhh

  authored
  d9521dc

  Copy full SHA for d9521dc

• Fix issues with Bitvec (Consensys#1642)

  Show description for 6e2a6e1
  norhh

  authored
  6e2a6e1

  Copy full SHA for 6e2a6e1

Commits on Jun 16, 2022

• Fix Bitvec issue (Consensys#1641)

  norhh

  authored
  635a37a

  Copy full SHA for 635a37a

Commits on Jun 14, 2022

• Typo: External Calls now states correctly SWC-107 (Consensys#1639)

  Show description for c869a2b
  ChristianC244

  authored
  c869a2b

  Copy full SHA for c869a2b

Commits on May 30, 2022

• Handle CRLF line endings (Consensys#1637)

  Show description for ca0edd6
  norhh

  authored
  ca0edd6

  Copy full SHA for ca0edd6

• Mythril v0.23.2

  norhh

  authored
  c65340a

  Copy full SHA for c65340a

Commits on May 26, 2022

• Fix loop bound and other instruction performance issues (Consensys#1635)

  Show description for e5fd33d
  norhh

  authored
  e5fd33d

  Copy full SHA for e5fd33d

Commits on May 24, 2022

• Fix caching for exceptions module (Consensys#1633)

  norhh

  authored
  949a982

  Copy full SHA for 949a982

Commits on May 23, 2022

• Correct comment (Consensys#1632)

  Show description for 32d2bd6
  72521

  authored
  32d2bd6

  Copy full SHA for 32d2bd6

Commits on May 19, 2022

• Mythril v0.23.1

  norhh

  authored
  0c2e136

  Copy full SHA for 0c2e136

• Fix misc issues (Consensys#1631)

  Show description for b8749f8
  norhh

  authored
  b8749f8

  Copy full SHA for b8749f8

Commits on May 16, 2022

• Use a more precise modeling of return data (Consensys#1630)

  Show description for e9c5f6a
  norhh

  authored
  e9c5f6a

  Copy full SHA for e9c5f6a

• remove depth for jump (Consensys#1628)

  norhh

  authored
  c236dde

  Copy full SHA for c236dde

Commits on May 10, 2022

• Use int argument (Consensys#1625)

  norhh

  authored
  6b34feb

  Copy full SHA for 6b34feb

Commits on Apr 29, 2022

• fixed module links in documentation (Consensys#1622)

  zobront

  authored
  4adafd2

  Copy full SHA for 4adafd2

Commits on Apr 22, 2022

• Mythril v0.23.0

  norhh

  authored
  1cc7706

  Copy full SHA for 1cc7706

• Fix issue with PluginSkipState (Consensys#1620)

  Show description for 120d7d2
  norhh

  authored
  120d7d2

  Copy full SHA for 120d7d2

Commits on Apr 18, 2022

• dead link (Consensys#1616)

  shafu0x

  authored
  4ba3c10

  Copy full SHA for 4ba3c10

• Fix issue with cache during summaries (Consensys#1619)

  Show description for 651a17c
  norhh

  authored
  651a17c

  Copy full SHA for 651a17c

Commits on Apr 14, 2022

• Fix misc issues related to summaries (Consensys#1617)

  Show description for dfaa938
  norhh

  authored
  dfaa938

  Copy full SHA for dfaa938

Commits on Apr 4, 2022

• Use better issue annotations for search (Consensys#1615)

  Show description for 3831327
  norhh

  authored
  3831327

  Copy full SHA for 3831327

Commits on Apr 3, 2022

• Mythril v0.22.43

  norhh

  authored
  dfcf5d2

  Copy full SHA for dfcf5d2

Commits on Apr 1, 2022

• use more secure approach to call docker (Consensys#1614)

  JoranHonig

  authored
  77fdbc8

  Copy full SHA for 77fdbc8

Commits on Mar 27, 2022

• Check versions before using integer module (Consensys#1613)

  norhh

  authored
  50e1ded

  Copy full SHA for 50e1ded

Commits on Mar 25, 2022

• Remove logging (Consensys#1611)

  Show description for 042cc68
  norhh

  authored
  042cc68

  Copy full SHA for 042cc68

• Fix caching of issues across modules (Consensys#1610)

  Show description for 46b2667
  norhh

  authored
  46b2667

  Copy full SHA for 46b2667

Commits on Mar 23, 2022

• Mythril v0.22.42

  norhh

  authored
  1b26ce8

  Copy full SHA for 1b26ce8

• Unrestrict z3 to 4.8.15.0 (Consensys#1608)

  norhh

  authored
  ae0fd06

  Copy full SHA for ae0fd06

Commits on Mar 22, 2022

• Support TX constraints and refactor CLI (Consensys#1607)

  Show description for bb1dd3e
  norhh

  authored
  bb1dd3e

  Copy full SHA for bb1dd3e

Commits on Mar 21, 2022

• Change default execution time

  norhh

  authored
  7a49461

  Copy full SHA for 7a49461

• Beam search (Consensys#1606)

  Show description for 7d3f9b5
  norhh

  authored
  7d3f9b5

  Copy full SHA for 7d3f9b5

Commits on Mar 11, 2022

• Fix NPM code block issue (Consensys#1602)

  Show description for 8fbe2e2
  norhh

  authored
  8fbe2e2

  Copy full SHA for 8fbe2e2

Commits on Mar 9, 2022

• Handle constructor edge case (Consensys#1600)

  Show description for cf0cb15
  norhh

  authored
  cf0cb15

  Copy full SHA for cf0cb15

Commits on Mar 6, 2022

• Mythril v0.22.41

  norhh

  authored
  85296a4

  Copy full SHA for 85296a4

Commits on Mar 5, 2022

• Fixes optimizer issue (Consensys#1597)

  Show description for c88a5ed
  norhh

  authored
  c88a5ed

  Copy full SHA for c88a5ed

Pagination

Previous

Next