Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Detect default solver #1820

Merged
merged 3 commits into from Nov 6, 2020
Merged

Detect default solver #1820

merged 3 commits into from Nov 6, 2020

Conversation

montyly
Copy link
Member

@montyly montyly commented Nov 6, 2020

Try yices, if not present use z3

@montyly montyly requested a review from feliam November 6, 2020 14:32
feliam
feliam approved these changes Nov 6, 2020
View reviewed changes
Copy link
Contributor

@feliam feliam left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We'll need to change the readme's ". By default Manticore will use Z3"

@ehennenfent ehennenfent merged commit 5b5f37c into master Nov 6, 2020
@ehennenfent ehennenfent deleted the dev-detect-default-solver branch November 6, 2020 19:22
This was referenced Nov 6, 2020
Closed
Merged
ekilmer added a commit that referenced this pull request Nov 10, 2020
@ekilmer
Merge branch 'master' into chess
20c1526 
* master:
  Manticore 0.3.5 (#1808)
  Fix yices timeout argument (#1817)
  Detect default solver (#1820)
  Ignore Gas Calculations by Default (#1816)
  native/cpu/x86: Add support for CPUID EAX=80000000h (#1811)
@ehennenfent ehennenfent added this to Done in Manticore Nov 10, 2020
@ehennenfent ehennenfent linked an issue Nov 10, 2020 that may be closed by this pull request
Get the building-secure-contracts working out of the box #1814
Closed
ekilmer added a commit that referenced this pull request Feb 27, 2021
@ekilmer
Merge branch 'master'
040bd6f 
* master: (43 commits)
  Syscall specific hooks (#2389)
  TUI Support Infrastructure (#1620)
  Fix coveralls upload (#2387)
  docs: fix simple typo, straigth -> straight (#2381)
  Attempt to allow symbolic balances from the start (#1818)
  Fix state.cpu.PC member (#1825)
  Bump black and mypy (#1824)
  Manticore 0.3.5 (#1808)
  Fix yices timeout argument (#1817)
  Detect default solver (#1820)
  Ignore Gas Calculations by Default (#1816)
  native/cpu/x86: Add support for CPUID EAX=80000000h (#1811)
  Change types.FunctionType=<class 'function'> (#1803)
  Fix test regressions (#1804)
  State Introspection API (#1775)
  Fix EVM account existence checks for selfdestruct and call (#1801)
  Add partial implementation of sendto syscall (#1791)
  crytic-compile: use latest release (#1795)
  Update gas metering for calls to empty accounts (#1774)
  Fix BitVec with symbolic offset and fix TranslatorSmtlib.unique thread safety (#1792)
  ...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@feliam feliam feliam approved these changes

Assignees
No one assigned
Labels
None yet
Projects
Manticore
  
Done
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Get the building-secure-contracts working out of the box
3 participants
@montyly @feliam @ehennenfent