Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on May 16, 2018

• Bool variables should not allow arithmetic comparison

  

  Leonardo Alt

  authored and

  chriseth

  committed
  0b6eea0

Commits on May 15, 2018

• [SMTChecker] Declaring all state vars before any function is visited

  

  Leonardo Alt

  authored and

  chriseth

  committed
  4117e85

• [SMTChecker] Support to integer and Bool storage vars

  

  Leonardo Alt

  authored and

  chriseth

  committed
  2dbb35d

Commits on May 2, 2018

• Revert "BREAKING: Bool variables should not allow arithmetic comparison"

  chriseth

  authored
  8debded

• Merge pull request ethereum#4003 from ethereum/bool_vars_comparison

  Show description for 42289b6
  chriseth

  authored
  42289b6

• Add virtual destructors on base classes.

  aarlt

  committed
  f94b793

Commits on Apr 27, 2018

• Bool variables should not allow arithmetic comparison

  

  Leonardo Alt

  committed
  ab251c7

Commits on Apr 19, 2018

• [SMTChecker] Remove 'information is erase' message for if-else

  

  Leonardo Alt

  committed
  ba3d16f

Commits on Apr 18, 2018

• [SMTChecker] Using solUnimplementedAssert instead of solAssert when applicable

  

  Leonardo Alt

  committed
  78ba346

Commits on Apr 17, 2018

• [SMTChecker] Integration with CVC4

  

  Leonardo Alt

  authored and

  axic

  committed
  ae3350a

Commits on Apr 5, 2018

• [SMTChecker] Removing usage of UFs to access SSA indices

  

  Leonardo Alt

  committed
  8d087d1

Commits on Mar 12, 2018

• [SMTChecker_Bool] Fix PR review comments: method renaming and solAssert

  

  Leonardo Alt

  committed
  9b64dc5

• [SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.

  

  Leonardo Alt

  committed
  c2d26eb

• [SMTChecker] Support to Bool variables

  

  Leonardo Alt

  committed
  6a940f0

Commits on Mar 4, 2018

• This z3 option is necessary for good solving performance

  

  Leonardo Alt

  committed
  5d74b86

Commits on Feb 28, 2018

• Fix PR comments

  

  Leonardo Alt

  committed
  8b1b4b7

• Fix PR comments

  

  Leonardo Alt

  committed
  cff0836

• Supported types listed in SSAVariable

  

  Leonardo Alt

  committed
  21c6b80

• Integer min and max values placed under SymbolicIntVar instead of SMTChecker

  

  Leonardo Alt

  committed
  3b2851e

• [SMTChecker] A little refactoring on SSA vars

  

  Leonardo Alt

  committed
  f41591b

Commits on Jan 4, 2018

• [SMTChecker] Variables are merged after branches (ite variables)

  

  Leonardo Alt

  committed
  d0abc53

Commits on Dec 18, 2017

• [SMTChecker] Fix typo in the code (satisifable->satisfiable)

  

  Leonardo Alt

  committed
  b588134

Commits on Dec 13, 2017

• [SMTChecker] Helper functions to add an expression to the solver conjoined with or implied by the current path conditions

  

  Leonardo Alt

  committed
  a1e296e

• [SMTChecker] Keep track of current path conditions

  

  Leonardo Alt

  committed
  2af4d7c

Commits on Nov 30, 2017

• Fix expression creation problems.

  chriseth

  committed
  a256983

• Fix signed division.

  chriseth

  committed
  d160ec8

• Unary operators and division.

  chriseth

  committed
  19e0674

Commits on Nov 23, 2017

• Explain IntIntFun and merge assertion.

  chriseth

  committed
  0e2a965

Commits on Nov 22, 2017

• Introduce sorts for smt expressions.

  chriseth

  committed
  762d591

• Fix problem with non-value-typed variables.

  

  chriseth

  authored and

  axic

  committed
  8538a25

• For loop.

  

  chriseth

  authored and

  axic

  committed
  19d5c42

• Fix boolean constants.

  

  chriseth

  authored and

  axic

  committed
  95a65dc

• Check for conditions being constant.

  

  chriseth

  authored and

  axic

  committed
  22c689d

• Tests.

  

  chriseth

  authored and

  axic

  committed
  e5de4a6

• Track usage of variables.

  

  chriseth

  authored and

  axic

  committed
  b373776

Pagination

PreviousNext