Commits

Branch selector

 test-multiple-pythons

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 4, 2021

• Test Python 3.6 and 3.8

  ekilmer

  committed
  edf92fa

  Copy full SHA for edf92fa

Commits on Mar 2, 2021

• Don't run OSX tests on PR

  ekilmer

  committed
  d575cf7

  Copy full SHA for d575cf7

Commits on Mar 1, 2021

• Attempt to Fix solc Installation MacOS (#2392)

  Show description for d55f30d
  

  Eric Hennenfent

  and

  ekilmer

  authored
  d55f30d

  Copy full SHA for d55f30d

Commits on Feb 8, 2021

• Syscall specific hooks (#2389)

  Show description for d85a9a2
  sschriner

  authored
  d85a9a2

  Copy full SHA for d85a9a2

Commits on Jan 27, 2021

• TUI Support Infrastructure (#1620)

  Show description for 5a258f4
  

  3 peopleauthored
  5a258f4

  Copy full SHA for 5a258f4

Commits on Jan 12, 2021

• Fix coveralls upload (#2387)

  ekilmer

  authored
  334b3aa

  Copy full SHA for 334b3aa

• docs: fix simple typo, straigth -> straight (#2381)

  Show description for 21a8491
  timgates42

  authored
  21a8491

  Copy full SHA for 21a8491

Commits on Jan 5, 2021

• Attempt to allow symbolic balances from the start (#1818)

  feliam

  authored
  089e089

  Copy full SHA for 089e089

Commits on Dec 8, 2020

• Fix state.cpu.PC member (#1825)

  Show description for abf8a8b
  

  Eric Hennenfent

  authored
  abf8a8b

  Copy full SHA for abf8a8b

Commits on Dec 7, 2020

• Bump black and mypy (#1824)

  feliam

  authored
  6325e48

  Copy full SHA for 6325e48

Commits on Nov 6, 2020

• Manticore 0.3.5 (#1808)

  Show description for 5ea4f90
  

  Eric Hennenfent

  authored
  5ea4f90

  Copy full SHA for 5ea4f90

• Fix yices timeout argument (#1817)

  feliam

  authored
  be91243

  Copy full SHA for be91243

• Detect default solver (#1820)

  Show description for 5b5f37c
  

  montyly

  and

  Eric Hennenfent

  authored
  5b5f37c

  Copy full SHA for 5b5f37c

Commits on Oct 30, 2020

• Ignore Gas Calculations by Default (#1816)

  Show description for c8e5e25
  

  Eric Hennenfent

  authored
  c8e5e25

  Copy full SHA for c8e5e25

Commits on Oct 6, 2020

• native/cpu/x86: Add support for CPUID EAX=80000000h (#1811)

  woodruffw

  authored
  2152023

  Copy full SHA for 2152023

Commits on Sep 22, 2020

• Change types.FunctionType=<class 'function'> (#1803)

  Show description for ca50424
  

  Rodothea Myrsini (Romy) Tsoupidi

  and

  Eric Hennenfent

  authored
  ca50424

  Copy full SHA for ca50424

• Fix test regressions (#1804)

  Show description for 1480f4b
  

  Eric Hennenfent

  authored
  1480f4b

  Copy full SHA for 1480f4b

Commits on Sep 9, 2020

• State Introspection API (#1775)

  Show description for f46f78b
  

  Eric Hennenfent

  and

  ekilmer

  authored
  f46f78b

  Copy full SHA for f46f78b

Commits on Sep 8, 2020

• Fix EVM account existence checks for selfdestruct and call (#1801)

  Show description for 76ccb04
  wolflo

  authored
  76ccb04

  Copy full SHA for 76ccb04

Commits on Aug 27, 2020

• Add partial implementation of sendto syscall (#1791)

  Show description for a41c19a
  ekilmer

  authored
  a41c19a

  Copy full SHA for a41c19a

Commits on Aug 25, 2020

• crytic-compile: use latest release (#1795)

  Show description for 2eaf7c0
  montyly

  authored
  2eaf7c0

  Copy full SHA for 2eaf7c0

• Update gas metering for calls to empty accounts (#1774)

  Show description for 6d590e1
  

  wolflo

  and

  Eric Hennenfent

  authored
  6d590e1

  Copy full SHA for 6d590e1

Commits on Aug 20, 2020

• Fix BitVec with symbolic offset and fix TranslatorSmtlib.unique thread safety (#1792)

  Show description for 3a256d7
  geohot

  authored
  3a256d7

  Copy full SHA for 3a256d7

Commits on Aug 17, 2020

• Fix Coveralls for external PRs (#1794)

  Show description for 0f904d5
  ekilmer

  authored
  0f904d5

  Copy full SHA for 0f904d5

Commits on Aug 14, 2020

• Convert plugin list to dict (#1781)

  Show description for 402de84
  

  Eric Hennenfent

  authored
  402de84

  Copy full SHA for 402de84

• Symbolic-length reads from symbolic sockets (#1786)

  Show description for 85aa9ee
  

  3 peopleauthored
  85aa9ee

  Copy full SHA for 85aa9ee

Commits on Aug 12, 2020

• Removing Thread unsafe global caching (#1788)

  feliam

  authored
  0ec842c

  Copy full SHA for 0ec842c

• Add Manticore native State-specific hooks (#1777)

  Show description for 4334d89
  

  ekilmer

  and

  Eric Hennenfent

  authored
  4334d89

  Copy full SHA for 4334d89

Commits on Aug 11, 2020

• Linux: Add stat method for FdLike (#1780)

  Show description for 9b2c2f2
  

  ekilmer

  and

  Eric Hennenfent

  authored
  9b2c2f2

  Copy full SHA for 9b2c2f2

Commits on Aug 6, 2020

• Use default handler for symbolic system call arguments (#1785)

  Show description for f20a011
  

  ekilmer

  and

  Eric Hennenfent

  authored
  f20a011

  Copy full SHA for f20a011

Commits on Aug 5, 2020

• Change the default to threading (#1779)

  Show description for 2347b21
  

  feliam

  and

  Eric Hennenfent

  authored
  2347b21

  Copy full SHA for 2347b21

Commits on Aug 4, 2020

• Coveralls Take 2 (#1784)

  Show description for 547a59c
  ekilmer

  authored
  547a59c

  Copy full SHA for 547a59c

• Capture return values in run.sh (#1776)

  Show description for 2159aa7
  

  Eric Hennenfent

  authored
  2159aa7

  Copy full SHA for 2159aa7

Commits on Jul 14, 2020

• Create a model for strncpy (#1770)

  Show description for 8a8f35c
  

  sschriner

  and

  ekilmer

  authored
  8a8f35c

  Copy full SHA for 8a8f35c

Commits on Jul 9, 2020

• Add doc, fix output bugs (#1769)

  Show description for da51351
  

  feliam

  and

  Eric Hennenfent

  authored
  da51351

  Copy full SHA for da51351

Pagination

Previous

Next