Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 18, 2025

• installing-solidity.rst: Use full option names and tweak example commands

  Show description for 19002a8
  cameel

  committed
  19002a8

  Copy full SHA for 19002a8

• installing-solidity.rst: Fix single backticks

  cameel

  committed
  d23bfb6

  Copy full SHA for d23bfb6

• installing-solidity.rst: Remove redundant example of usage via docker

  cameel

  committed
  d51fda0

  Copy full SHA for d51fda0

Commits on Jan 28, 2025

• docs: Update minimum compiler versions to gcc11 and clang14

  clonker

  committed
  90f0740

  Copy full SHA for 90f0740

Commits on Jan 9, 2025

• fix correct Boost compilation flags

  

  gmh5225

  authored and

  nikola-matic

  committed
  4f5adf4

  Copy full SHA for 4f5adf4

Commits on Oct 22, 2024

• Also eliminate USE_Z3.

  ekpyron

  committed
  457bed6

  Copy full SHA for 457bed6

Commits on Aug 30, 2024

• Bump min Boost dependency to 1.67 on Linux and macOS

  cameel

  committed
  2f46323

  Copy full SHA for 2f46323

Commits on Jun 21, 2024

• Docs: Small update regarding the use of Eldarica

  blishko

  committed
  fbb5eed

  Copy full SHA for fbb5eed

Commits on Jun 11, 2024

• SMTChecker: Upgrade CVC4 to cvc5

  Show description for b8ba5da
  blishko

  committed
  b8ba5da

  Copy full SHA for b8ba5da

Commits on May 15, 2024

• Remove bzzr entries from static binary section in the docs

  

  r0qs

  authored and

  nikola-matic

  committed
  e3e4f66

  Copy full SHA for e3e4f66

Commits on Mar 4, 2024

• Update docs/installing-solidity.rst

  Show description for 8f0cb8a
  

  mehtavishwa30

  and

  r0qs

  committed
  8f0cb8a

  Copy full SHA for 8f0cb8a

• Update installing-solidity.rst

  mehtavishwa30

  committed
  51b6976

  Copy full SHA for 51b6976

• Update installing-solidity.rst

  mehtavishwa30

  committed
  0225d9d

  Copy full SHA for 0225d9d

• chore: update example version of solidity in docker command

  

  minaminao

  authored and

  mehtavishwa30

  committed
  f96a851

  Copy full SHA for f96a851

• fix: typos

  

  minaminao

  authored and

  mehtavishwa30

  committed
  8709ae9

  Copy full SHA for 8709ae9

Commits on Jan 10, 2024

• Fix several minor typo (#14629)

  Show description for fbbac9c
  sukey2008

  authored
  fbbac9c

  Copy full SHA for fbbac9c

Commits on Sep 14, 2023

• fixup! Bump cmake to 3.27.4 and boost to 1.83 on Windows to work with Visual Studio 2022

  cameel

  committed
  70cf104

  Copy full SHA for 70cf104

Commits on Jul 18, 2023

• Fix broken links in docs

  nikola-matic

  committed
  aba7d17

  Copy full SHA for aba7d17

Commits on Jun 26, 2023

• Change installation documentation for Arch Linux

  Show description for b70477d
  alexjorgef

  committed
  b70477d

  Copy full SHA for b70477d

Commits on May 30, 2023

• Misspelling and terms inconsistencies (#14280)

  Show description for 3eedc63
  NunoFilipeSantos

  authored
  3eedc63

  Copy full SHA for 3eedc63

Commits on Apr 14, 2023

• fix(docs): fix missing backticks, remove latexpdfja, fix the missing help message of latexpdf, and remove unnecessary whitespace (#14101)

  Show description for e1a9446
  

  minaminao

  and

  NunoFilipeSantos

  authored
  e1a9446

  Copy full SHA for e1a9446

Commits on Feb 21, 2023

• Fix broken links for 0.8.19

  nikola-matic

  committed
  2c306ed

  Copy full SHA for 2c306ed

Commits on Jan 18, 2023

• Allow support for older boost and adjust docs

  nikola-matic

  committed
  c2e2adb

  Copy full SHA for c2e2adb

Commits on Dec 16, 2022

• update docs on the required z3 version

  

  Leo Alt

  authored and

  nikola-matic

  committed
  d5c6fd8

  Copy full SHA for d5c6fd8

Commits on Aug 11, 2022

• installing-solidity.rst: Mention the PEDANTIC flag

  cameel

  committed
  b7847c9

  Copy full SHA for b7847c9

Commits on Feb 13, 2022

• Solve issue 12658 ; Solving wrong syntax.

  Show description for 1188795
  ldfp

  authored
  1188795

  Copy full SHA for 1188795

Commits on Jan 27, 2022

• Document our version policy w/r/t SemVer

  fulldecent

  committed
  8c6f80a

  Copy full SHA for 8c6f80a

Commits on Jan 17, 2022

• Adjust documentation for linux packages not maintained by us.

  ekpyron

  committed
  776c984

  Copy full SHA for 776c984

Commits on Jan 4, 2022

• Typo: SemVer

  fulldecent

  committed
  c798ac4

  Copy full SHA for c798ac4

Commits on Nov 4, 2021

• Remove install_deps script.

  ekpyron

  committed
  a0dee79

  Copy full SHA for a0dee79

Commits on Oct 1, 2021

• Merge pull request #11873 from soroosh-sdi/cmake-check-z3-latest

  Show description for 6d80635
  

  Leonardo

  authored
  6d80635

  Copy full SHA for 6d80635

Commits on Sep 27, 2021

• Increase minimum Boost version to 1.77 on Windows

  cameel

  committed
  e3a3829

  Copy full SHA for e3a3829

Commits on Sep 24, 2021

• Require latest Z3 by default and allow relaxing the requirement with STRICT_Z3_VERSION=OFF

  Show description for 8b04ac3
  soroosh-sdi

  committed
  8b04ac3

  Copy full SHA for 8b04ac3

Commits on Jun 24, 2021

• installing-solidity.rst: Clarify that when using urls in Standard JSON with a dockerized compiler it might still be necessary to mount a volume

  cameel

  committed
  cd0ccd0

  Copy full SHA for cd0ccd0

Commits on Feb 15, 2021

• Merge pull request #10932 from ssi91/add-sha256-field-to-the-docs

  Show description for 9d762f3
  cameel

  authored
  9d762f3

  Copy full SHA for 9d762f3

Pagination

Previous

Next