Code

WIP Testing dev expressions#2393

Code

Closed

ekilmer wants to merge 56 commits intomastertrailofbits/manticore:masterfrom ek-wip-dev-expressionstrailofbits/manticore:ek-wip-dev-expressionsCopy head branch name to clipboard

+393-35

Commits

Commits on May 13, 2020

• Add ONE failing test

  feliam

  committed
  0cd1bc5

  Copy full SHA for 0cd1bc5

• Fix test

  feliam

  committed
  609a37e

  Copy full SHA for 609a37e

• Try fix get-related

  feliam

  committed
  b29f3ac

  Copy full SHA for b29f3ac

Commits on Jun 2, 2020

• Move regression to other

  feliam

  committed
  79aa5cc

  Copy full SHA for 79aa5cc

• blkn

  feliam

  committed
  7339eb9

  Copy full SHA for 7339eb9

• blkn

  feliam

  committed
  c121c38

  Copy full SHA for c121c38

Commits on Jun 5, 2020

• Move get related

  feliam

  committed
  3ff6b95

  Copy full SHA for 3ff6b95

• Merge branch 'master' into dev-get-related

  feliam

  authored
  02b4c69

  Copy full SHA for 02b4c69

• CC

  feliam

  committed
  00e8199

  Copy full SHA for 00e8199

• fix concolic

  feliam

  committed
  6b7f671

  Copy full SHA for 6b7f671

• lint

  feliam

  committed
  6732eb2

  Copy full SHA for 6732eb2

• DivByZero default to zero

  feliam

  committed
  4adeac2

  Copy full SHA for 4adeac2

• blkn

  feliam

  committed
  7565b4a

  Copy full SHA for 7565b4a

• Update manticore/core/smtlib/solver.py

  Show description for 1680397
  

  feliam

  and

  ekilmer

  authored
  1680397

  Copy full SHA for 1680397

• Update manticore/core/smtlib/constraints.py

  Show description for cbe55b9
  

  feliam

  and

  ekilmer

  authored
  cbe55b9

  Copy full SHA for cbe55b9

• Update manticore/core/smtlib/constraints.py

  Show description for 315ef64
  

  feliam

  and

  ekilmer

  authored
  315ef64

  Copy full SHA for 315ef64

• remove odd string

  feliam

  committed
  6155a4d

  Copy full SHA for 6155a4d

• Merge branch 'dev-get-related' of github.com:trailofbits/manticore into dev-get-related

  feliam

  committed
  38dbfd6

  Copy full SHA for 38dbfd6

• lint

  feliam

  committed
  1491cbd

  Copy full SHA for 1491cbd

• mypy lint

  feliam

  committed
  264eb04

  Copy full SHA for 264eb04

• Update manticore/core/smtlib/visitors.py

  Show description for e0130a4
  

  feliam

  and

  ekilmer

  authored
  e0130a4

  Copy full SHA for e0130a4

• lint

  feliam

  committed
  d0e9abf

  Copy full SHA for d0e9abf

Commits on Jun 8, 2020

• Add Docs

  feliam

  committed
  9807b37

  Copy full SHA for 9807b37

Commits on Jun 9, 2020

• Merge branch 'master' into dev-get-related

  feliam

  committed
  728e021

  Copy full SHA for 728e021

• merge

  feliam

  committed
  e584fb2

  Copy full SHA for e584fb2

Commits on Jun 10, 2020

• Replace modulo with masks

  

  Eric Hennenfent

  committed
  bf3a2b9

  Copy full SHA for bf3a2b9

• Blacken

  

  Eric Hennenfent

  committed
  3eb96f8

  Copy full SHA for 3eb96f8

• blkn

  feliam

  committed
  5e54189

  Copy full SHA for 5e54189

• Merge branch 'dev-get-related' of github.com:trailofbits/manticore into dev-get-related

  feliam

  committed
  a0ab429

  Copy full SHA for a0ab429

• fix mypy

  feliam

  committed
  536ec71

  Copy full SHA for 536ec71

• fix mypy

  feliam

  committed
  a83e8c2

  Copy full SHA for a83e8c2

• Add tests for signed LT behavior

  

  Eric Hennenfent

  committed
  37144d9

  Copy full SHA for 37144d9

• New test

  feliam

  committed
  1b8754d

  Copy full SHA for 1b8754d

• Fix constant folding

  feliam

  committed
  787e51f

  Copy full SHA for 787e51f

• merge

  feliam

  committed
  dca9adb

  Copy full SHA for dca9adb

• lint

  feliam

  committed
  dfa7a84

  Copy full SHA for dfa7a84

• lint

  feliam

  committed
  b841038

  Copy full SHA for b841038

• lint

  feliam

  committed
  735a963

  Copy full SHA for 735a963

• Unittesting power

  feliam

  committed
  b54a448

  Copy full SHA for b54a448

• Permisive read_buffer

  feliam

  committed
  02563cd

  Copy full SHA for 02563cd

• Preserve precision in constant folding

  

  Eric Hennenfent

  committed
  3fab981

  Copy full SHA for 3fab981

Commits on Jun 11, 2020

• Strip left-in print debugging

  

  Eric Hennenfent

  committed
  f7fb8bb

  Copy full SHA for f7fb8bb

• fix wasm

  feliam

  committed
  2f5d4d2

  Copy full SHA for 2f5d4d2

• Merge branch 'dev-get-related' of github.com:trailofbits/manticore into dev-get-related

  feliam

  committed
  18064f8

  Copy full SHA for 18064f8

• Fix

  feliam

  committed
  52d8eb4

  Copy full SHA for 52d8eb4

Commits on Jun 12, 2020

• REmove get_related from the default path and fix arm test

  feliam

  committed
  f1dfb80

  Copy full SHA for f1dfb80

• blkn

  feliam

  committed
  d5b577e

  Copy full SHA for d5b577e

• fix related to tests

  feliam

  committed
  79b42ed

  Copy full SHA for 79b42ed

• blkn

  feliam

  committed
  ec8489f

  Copy full SHA for ec8489f

• Fix bug in test and disable debug messages in Solver

  feliam

  committed
  2113a73

  Copy full SHA for 2113a73

• smtlib config to disable multiple check-sat in newer z3

  feliam

  committed
  c2a21ba

  Copy full SHA for c2a21ba

Commits on Jun 15, 2020

• Disable log test and fix merging poc vs variable migration

  feliam

  committed
  f87e1e2

  Copy full SHA for f87e1e2

• blkn

  feliam

  committed
  2eb630d

  Copy full SHA for 2eb630d

• Avoid exception in some callbacks

  feliam

  committed
  8818ea3

  Copy full SHA for 8818ea3

• can_raise at did_will

  feliam

  committed
  27db1b8

  Copy full SHA for 27db1b8

Commits on Feb 27, 2021

• Merge branch 'master'

  Show description for 040bd6f
  ekilmer

  committed
  040bd6f

  Copy full SHA for 040bd6f