Commit Graph

10 Commits

Author SHA1 Message Date
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