Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 3, 2024

• [buildsystem] Add STRICT_JSONCPP_VERSION option.

  

  aarlt

  authored and

  nikola-matic

  committed
  780018a

  Copy full SHA for 780018a

• [buildsystem] Add ONLY_BUILD_SOLIDITY_LIBRARIES option.

  

  aarlt

  authored and

  nikola-matic

  committed
  d178c40

  Copy full SHA for d178c40

• [buildsystem] Add USE_SYSTEM_LIBRARIES option.

  

  aarlt

  authored and

  nikola-matic

  committed
  b60ed2b

  Copy full SHA for b60ed2b

Commits on Mar 14, 2024

• Set version to 0.8.26

  nikola-matic

  committed
  4b74885

  Copy full SHA for 4b74885

Commits on Jan 25, 2024

• Set version to 0.8.25

  nikola-matic

  committed
  0e03dec

  Copy full SHA for 0e03dec

Commits on Nov 8, 2023

• Set version to 0.8.24

  cameel

  committed
  4fd869e

  Copy full SHA for 4fd869e

Commits on Oct 25, 2023

• Set version to 0.8.23

  nikola-matic

  committed
  609ef15

  Copy full SHA for 609ef15

Commits on Jul 19, 2023

• Fix typos

  omahs

  committed
  5b72c4f

  Copy full SHA for 5b72c4f

• Set version to 0.8.22

  nikola-matic

  committed
  c2670e4

  Copy full SHA for c2670e4

Commits on Jun 8, 2023

• Fix incorrect CMAKE_SOURCE_DIR usage

  Show description for 74a38fc
  junaire

  committed
  74a38fc

  Copy full SHA for 74a38fc

Commits on Jun 6, 2023

• Experimental standard library

  Show description for 47969ad
  nikola-matic

  committed
  47969ad

  Copy full SHA for 47969ad

Commits on May 10, 2023

• Set version to 0.8.21.

  ekpyron

  committed
  4b67dea

  Copy full SHA for 4b67dea

Commits on Mar 28, 2023

• use new z3

  

  Leo Alt

  committed
  3e1e43f

  Copy full SHA for 3e1e43f

Commits on Feb 22, 2023

• Set version to 0.8.20

  nikola-matic

  committed
  b6df64e

  Copy full SHA for b6df64e

• Revert "Set version to 0.8.20"

  nikola-matic

  authored
  5f0f919

  Copy full SHA for 5f0f919

• Set version to 0.8.20

  nikola-matic

  committed
  02b02f5

  Copy full SHA for 02b02f5

Commits on Feb 1, 2023

• Set version to 0.8.19

  r0qs

  committed
  e735ff1

  Copy full SHA for e735ff1

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 Nov 24, 2022

• new z3 version in cmakelist

  

  Leo Alt

  committed
  be0149d

  Copy full SHA for be0149d

Commits on Nov 22, 2022

• Code to output performance metrics for optimizer steps.

  

  chriseth

  authored and

  nikola-matic

  committed
  5950ec3

  Copy full SHA for 5950ec3

Commits on Sep 8, 2022

• Set version to 0.8.18

  cameel

  committed
  3b52445

  Copy full SHA for 3b52445

Commits on Aug 30, 2022

• Update docker images and tests

  

  Leo Alt

  committed
  16c0838

  Copy full SHA for 16c0838

Commits on Aug 11, 2022

• Added build flag to disable pedantic builds

  

  YuviTz1

  authored and

  cameel

  committed
  9290ccb

  Copy full SHA for 9290ccb

Commits on Aug 8, 2022

• Set version to 0.8.17

  cameel

  committed
  cc11c6f

  Copy full SHA for cc11c6f

Commits on Jun 15, 2022

• Set version to 0.8.16.

  ekpyron

  committed
  60004ac

  Copy full SHA for 60004ac

Commits on May 17, 2022

• Set version to 0.8.15.

  chriseth

  committed
  79554b9

  Copy full SHA for 79554b9

Commits on May 13, 2022

• Update tests and hashes for z3 4.8.17

  

  Leo Alt

  authored and

  ekpyron

  committed
  6a126f6

  Copy full SHA for 6a126f6

Commits on May 3, 2022

• update smt tests z3 4.8.16

  

  Leo Alt

  committed
  4fd7de3

  Copy full SHA for 4fd7de3

Commits on Mar 16, 2022

• Set version to 0.8.14.

  chriseth

  committed
  e786bf9

  Copy full SHA for e786bf9

Commits on Feb 16, 2022

• Set version to 0.8.13

  chriseth

  committed
  65ba798

  Copy full SHA for 65ba798

Commits on Jan 12, 2022

• update smtchecker tests for new z3

  

  Leo Alt

  committed
  9f171c0

  Copy full SHA for 9f171c0

Commits on Dec 20, 2021

• Set version to 0.8.12.

  chriseth

  committed
  ff181ad

  Copy full SHA for ff181ad

Commits on Nov 24, 2021

• bump docker hashes and z3 version

  

  Leo Alt

  committed
  406b1fb

  Copy full SHA for 406b1fb

Commits on Nov 9, 2021

• Set version to 0.8.11

  cameel

  committed
  cffb7fe

  Copy full SHA for cffb7fe

Commits on Oct 11, 2021

• Adds fmtlib as 3rdparty dependency for easier string composition.

  christianparpart

  committed
  3f08b22

  Copy full SHA for 3f08b22

Pagination

Previous

Next