cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
21,884 Commits 348 Branches 121 Tags
3c9bb46832c43da161a41bd33cc37ac6e47ec04d
Commit Graph
10 Commits
Author SHA1 Message Date
Daniel Kirchner 38545e81c1 Update docker images to Z3 4.8.14. 2022-01-12 19:28:20 +01:00
Leo Alt aa1a17072f Update z3 version in our docker files 2021-11-24 22:06:08 +01:00
Daniel Kirchner 0ee131c937 Update emscripten Dockerfile. 2021-11-04 16:49:32 +01:00
Leo Alt f745604474 Bump docker images to z3 4.8.12 2021-07-19 15:21:20 +02:00
Daniel Kirchner c7f321c12d Update evmone and boost download links in docker images. 2021-05-10 13:25:39 +02:00
Leonardo Alt fbfcb4e71d Bump docker for z3 4.8.10 2021-01-26 11:37:11 +01:00
Daniel Kirchner d0c8c79888 Update emscripten docker image to be based on emscripten 2.0.12 and boost 1.75.0. 2021-01-13 00:33:03 +01:00
Leonardo Alt dc20e7b4b7 Update z3 on docker files 2020-09-14 16:25:29 +02:00
Alexander Arlt f7e180fb8f Push images to docker hub. 2020-07-16 14:14:51 +02:00
Alexander Arlt aed424f23e Initial docker image creation workflows. 2020-07-14 19:00:48 -05:00