Commits

Breadcrumbs

History for

on0.7

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 30, 2020

• [SMTChecker] More precise creation of verification targets.

  

  Martin Blicha

  committed
  c1a57ff

  Copy full SHA for c1a57ff

Commits on Oct 28, 2020

• Update SMT types docs

  

  Leonardo Alt

  committed
  7d9c080

  Copy full SHA for 7d9c080

Commits on Sep 28, 2020

• [DOCS] Change >=0.7.0 to ^0.7.0

  hrkrshnn

  committed
  8339765

  Copy full SHA for 8339765

• Docs: change >0.6.99 <0.8.0 to >=0.7.0

  hrkrshnn

  committed
  710231e

  Copy full SHA for 710231e

Commits on Aug 31, 2020

• docs: Update external links to github repos that were moved

  cameel

  committed
  46524cf

  Copy full SHA for 46524cf

Commits on Jul 7, 2020

• Documentation.

  chriseth

  committed
  479d7a0

  Copy full SHA for 479d7a0

Commits on May 20, 2020

• Merge remote-tracking branch 'origin/develop' into HEAD

  chriseth

  committed
  74b9b09

  Copy full SHA for 74b9b09

Commits on May 19, 2020

• Merge pull request #8983 from ethereum/develop

  Show description for d422a40
  chriseth

  authored
  d422a40

  Copy full SHA for d422a40

• Allow natspec comments on state variables.

  aarlt

  committed
  af8bb5f

  Copy full SHA for af8bb5f

Commits on May 18, 2020

• Update docs

  

  Leonardo Alt

  committed
  5d6dd68

  Copy full SHA for 5d6dd68

• Assume that push will not overflow

  

  Leonardo Alt

  committed
  d4d26c0

  Copy full SHA for d4d26c0

Commits on May 14, 2020

• Merge remote-tracking branch 'origin/develop' into breaking

  chriseth

  committed
  257bc6a

  Copy full SHA for 257bc6a

Commits on May 13, 2020

• Add license tags to documentation snippets.

  chriseth

  committed
  d33b67b

  Copy full SHA for d33b67b

Commits on Apr 28, 2020

• Merge remote-tracking branch 'origin/develop' into HEAD

  chriseth

  committed
  1fe5537

  Copy full SHA for 1fe5537

Commits on Apr 22, 2020

• Add internal function calls to CHC docs

  

  Leonardo Alt

  committed
  1cb68b1

  Copy full SHA for 1cb68b1

Commits on Mar 24, 2020

• Merge remote-tracking branch 'origin/develop' into breaking

  chriseth

  committed
  7d68f9f

  Copy full SHA for 7d68f9f

Commits on Mar 18, 2020

• Adds script which compiles docs example with minimum compiler version.

  

  erak

  authored and

  mijovic

  committed
  50c22f0

  Copy full SHA for 50c22f0

Commits on Mar 11, 2020

• Merge remote-tracking branch 'origin/develop' into HEAD

  chriseth

  committed
  9d92c9f

  Copy full SHA for 9d92c9f

Commits on Mar 10, 2020

• SMTChecker docs test may issue a warning

  

  Leonardo Alt

  committed
  1b17815

  Copy full SHA for 1b17815

Commits on Feb 27, 2020

• Merge remote-tracking branch 'origin/develop' into HEAD

  chriseth

  committed
  06ad5b3

  Copy full SHA for 06ad5b3

Commits on Jan 23, 2020

• Documentation for function call options.

  chriseth

  committed
  981ed5f

  Copy full SHA for 981ed5f

Commits on Jan 10, 2020

• Updates documentation to 0.7.0.

  erak

  committed
  fe16762

  Copy full SHA for fe16762

Commits on Dec 17, 2019

• Merge pull request #8027 from ethereum/v06-pragma

  Show description for d6d953f
  chriseth

  authored
  d6d953f

  Copy full SHA for d6d953f

Commits on Dec 16, 2019

• Update pragma versions for 0.6.0

  

  Chris Chinchilla

  committed
  f46218c

  Copy full SHA for f46218c

• Docs security considerations

  

  Leonardo Alt

  committed
  082f598

  Copy full SHA for 082f598

Commits on Dec 10, 2019

• [SMTChecker] Add model checking engines to docs

  

  Leonardo Alt

  committed
  2734631

  Copy full SHA for 2734631

Commits on Nov 19, 2019

• Adjusts documentation to read-only array length.

  erak

  committed
  a69a344

  Copy full SHA for a69a344

Commits on Nov 4, 2019

• Split fallback function and introduce "fallback()" and "receive()" syntax.

  ekpyron

  committed
  3321fc5

  Copy full SHA for 3321fc5

Commits on Oct 23, 2019

• Fixes source extraction from docs.

  erak

  committed
  ec53899

  Copy full SHA for ec53899

Commits on Sep 17, 2019

• [DOCS] Clearing mappings

  

  Leonardo Alt

  committed
  df0b54d

  Copy full SHA for df0b54d

Commits on May 22, 2019

• Added a reference to an extended list of security recommendations.

  guylando

  committed
  2734eae

  Copy full SHA for 2734eae

Commits on Apr 4, 2019

• Add rounding warning

  Show description for dfeb1de
  

  Chris Ward

  committed
  dfeb1de

  Copy full SHA for dfeb1de

Commits on Mar 27, 2019

• [SMTChecker] Docs

  

  Leonardo Alt

  committed
  9a612d1

  Copy full SHA for 9a612d1

Commits on Mar 5, 2019

• Update pragmas.

  chriseth

  committed
  8d401ba

  Copy full SHA for 8d401ba

Commits on Jan 22, 2019

• Move FAQ item about truncation checks

  Show description for 96fae0c
  

  Chris Ward

  committed
  96fae0c

  Copy full SHA for 96fae0c

Pagination

Previous

Next