Commit Graph

29 Commits

Author SHA1 Message Date
Leo Alt
6a126f6ccb Update tests and hashes for z3 4.8.17 2022-05-13 15:25:10 +02:00
Leo Alt
4fd7de36f1 update smt tests z3 4.8.16 2022-05-03 14:23:27 +02:00
Daniel Kirchner
b49f486cf6 Update osx z3 archive hash. 2022-01-12 17:38:47 +01:00
Leo Alt
9f171c0f06 update smtchecker tests for new z3 2022-01-12 15:13:34 +01:00
Leo Alt
6cff73af71 update osx z3 hash 2021-11-24 20:41:22 +01:00
Leo Alt
406b1fbcec bump docker hashes and z3 version 2021-11-24 20:41:22 +01:00
Kamil Śliwak
e2e393495e Install diffutils on macOS to get diff with color support 2021-11-10 18:12:06 +01:00
Kamil Śliwak
70d78a09a7 Remove brew update and the workarounds it requires 2021-10-18 13:43:37 +02:00
Kamil Śliwak
091e15d6da Verify checksums of packages downloaded by scripts 2021-09-24 16:29:45 +02:00
Kamil Śliwak
59e8bbb1d7 Do not use --force with rm if not needed 2021-09-24 16:29:14 +02:00
Kamil Śliwak
67041fb37f Put versions of packages downloaded by scripts in variables to reduce duplication 2021-09-24 16:29:14 +02:00
hrkrshnn
6b8c32b859 Updated circleci scripts with evmone 0.8.0 docker images 2021-07-27 16:38:55 +02:00
Leo Alt
5decccaf3a update docker hashes and versions 2021-07-19 15:20:11 +02:00
hrkrshnn
d176716d47 Added extra commands that needs to be run before brew update
Fixes the following issue:

Error:
  homebrew-core is a shallow clone.
  homebrew-cask is a shallow clone.
To `brew update`, first run:
  git -C /usr/local/Homebrew/Library/Taps/homebrew/homebrew-core fetch --unshallow
  git -C /usr/local/Homebrew/Library/Taps/homebrew/homebrew-cask fetch --unshallow
These commands may take a few minutes to run due to the large size of the repositories.
This restriction has been made on GitHub's request because updating shallow
clones is an extremely expensive operation due to the tree layout and traffic of
Homebrew/homebrew-core and Homebrew/homebrew-cask. We don't do this for you
automatically to avoid repeatedly performing an expensive unshallow operation in
CI systems (which should instead be fixed to not use shallow clones). Sorry for
the inconvenience!
2021-06-17 10:34:57 +02:00
Alex Beregszaszi
3172d28c56 Upgrade hera to v0.3.2-evmc8 2021-05-13 13:15:13 +01:00
Alex Beregszaszi
99354a3b59 Upgrade evmone to 0.7.0 2021-05-12 16:56:23 +02:00
Kamil Śliwak
e76ef821a7 osx_install_dependencies.sh: Update brew explicitly to workaround auto-update issue on CircleCI
- Old versions have problems with binaries hosted on bintray. We need an up-to-date one.
- It automatically updates itself when we install boost but apparently there's a problem with that on CircleCI. An explicit update works.
2021-04-19 16:08:50 +02:00
Kamil Śliwak
1c556d0aaa osx_install_dependencies.sh: Use set -ue to fail fast on errors 2021-04-19 16:06:49 +02:00
Leonardo Alt
40221a90c4 Update smtCheckerTests for z3 4.8.10 2021-01-26 10:18:52 +01:00
Alexander Arlt
46844d433d buildpack-deps: Update hera to 0.3.2. 2020-11-26 18:28:17 -05:00
Kamil Śliwak
5560239cf5 Replace links to readthedocs.io with ones using the new domain 2020-11-18 15:20:34 +01:00
Alexander Arlt
d38eb75fb5 [circleci] Enable ewasm tests. 2020-10-01 13:21:39 -05:00
Leonardo Alt
4e448ad798 Change build hashes 2020-09-14 19:07:40 +02:00
Daniel Kirchner
af87d39bd6 Update osx deps script. 2020-05-14 14:53:38 +02:00
a3d4
760ae7f584 Update evmone version to v0.4 in docs and scripts 2020-04-14 14:34:47 +02:00
Leonardo Alt
5337f58767 Update to Z3 4.8.7 2019-12-03 20:19:20 +01:00
Mathias Baumann
eec1998a89 Update evmone version to v0.3.0 in docs and scripts 2019-11-19 16:49:43 +01:00
Leonardo Alt
999d8c6bb8 Extend CircleCI MaxOS cache keys 2019-11-11 18:48:20 +01:00
Alexander Arlt
160983141f [circleci] Add t_osx_soltest. 2019-11-08 14:44:54 -05:00