cerc-io/solidity
16
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
22,956 Commits 348 Branches 121 Tags 100 MiB
f3d7dfba82
Commit Graph

881 Commits

Author SHA1 Message Date
Leo Alt
f3d7dfba82 use new docker images 2022-11-24 13:08:06 +01:00
Leo Alt
24df40de9a Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
Alex Beregszaszi
eb8af2caec Add basic support for the EVM version Paris 
This mostly means testing with evmone, but instruction renaming of difficulty->prevrandao is omitted.
 2022-11-21 14:56:46 +01:00
Nikola Matić
2fb7205dd3
Merge pull request #13532 from ethereum/evmc-update 
Upgrade to evmc10 + evmone9
 2022-11-10 02:10:29 -05:00
Alex Beregszaszi
47ed36e0db Upgrade CI and download instructions to evmone 0.9.1 and hera 0.6.0 2022-11-09 21:27:40 +01:00
Alex Beregszaszi
c50f190c02 Upgrade to evmone 0.9.1 and hera 0.6.0 in buildpack 2022-11-04 10:27:45 +01:00
Kamil Śliwak
fe118abb53 CI: Switch from deprecated circleci/buildpack-deps image to cimg/base 2022-10-26 18:22:03 +02:00
Kamil Śliwak
fb3d0a874e
Merge pull request #13643 from ethereum/ext-gp2-bug-fix 
Fix gp2 ext test failing to build, not being able to resolve the the keyv dependency
 2022-10-24 13:06:21 +02:00
Rodrigo Q. Saramago
bc7567244a
Remove ens fork 2022-10-23 17:58:13 -03:00
Rodrigo Q. Saramago
be0f633966
Update gp2 fork 2022-10-21 16:59:50 -03:00
Kamil Śliwak
9800e19df6
Merge pull request #13527 from ethereum/git-safe-directory-workaround 
Add git `safe.directory` workaround in emscripten build script
 2022-10-21 15:47:42 +02:00
Rodrigo Q. Saramago
9dbc3e0b82
Add git safe.directory workaround in emscripten build script 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2022-10-20 19:43:18 -03:00
Rodrigo Q. Saramago
6c167374f7
Disable FETCHCONTENT_FULLY_DISCONNECTED on ppa release 2022-10-05 10:13:55 +02:00
Nikola Matic
1f6a299062 Add a check for unqualified move 2022-09-05 16:05:14 +02:00
Leo Alt
cbcd8a724b Update z3 to 4.11.0 2022-08-30 12:52:22 +02:00
Leo Alt
16c0838f75 Update docker images and tests 2022-08-30 11:51:59 +02:00
Mathias L. Baumann
5a3ae1a583
Merge pull request #13422 from ethereum/cleanup-z3-script 
Cleanup static z3 script to work similar to release_ppa
 2022-08-29 14:51:39 +02:00
Leo Alt
e99e93ff5b Fix pylint warning 2022-08-29 11:50:29 +02:00
Marenz
484c9d3ff0 Update docker images for emscripten. 2022-08-25 17:09:46 +02:00
Marenz
c5e9b6e666 static_z3.sh: Update releases to include only maintained ones 2022-08-25 15:18:55 +02:00
Marenz
0475ec81f0 Cleanup static z3 script to work similar to release_ppa 2022-08-25 15:18:55 +02:00
Marenz
35870549db Dockerfile.emscripten: Use `&& instead of ;` everywhere 2022-08-25 13:08:13 +02:00
Duc Thanh Nguyen
318dedf439 Update emscripten Dockerfile to 3.1.19 2022-08-25 13:08:13 +02:00
Marenz
1b5332c2b9 Fix spelling mistakes and CI spellcheck job 2022-08-18 14:38:19 +02:00
Marenz
0fab970eb9 Remove old distributions in release_ppa script 2022-08-11 18:36:07 +02:00
Marenz
351efae5f8 Little enhancements to the ppa release script 2022-08-11 18:36:07 +02:00
Daniel Kirchner
213f951dbb Make gas diff stats script executable. 2022-08-10 16:50:42 +02:00
Kamil Śliwak
8874627dda update_bugs_by_version: Don't fail when the list gets updated 2022-08-08 17:29:47 +02:00
Kamil Śliwak
c1cbffc814 update_bugs_by_version: Use pathlib 2022-08-08 17:10:04 +02:00
Duc Thanh Nguyen
2215b6d44b Update rangev3 to 0.12.0 2022-07-05 15:55:12 -04:00
Daniel Kirchner
080d2f7868 Fix release ppa script. 2022-06-15 22:48:06 +02:00
Kamil Śliwak
2cea70c04f Skip external test benchmark diff instead of failing when previous run of the job did not succeed 2022-06-07 13:24:55 +02:00
Kamil Śliwak
f5e421ff91 pylintrc: Remove bad-whitespace form the list of disabled warnings 
- pylint complains that it's not a valid value and removing it does not make any new warnings appear
 2022-06-01 20:32:25 +02:00
Kamil Śliwak
6605dd084a gas_diff_stats.py: Replace a list with a generator as suggested by pylint 2022-06-01 20:32:25 +02:00
Kamil Śliwak
9618cb947d download_benchmarks: Script for downloading benchmark results from CircleCI 2022-05-23 14:18:29 +02:00
Kamil Śliwak
6eb09000e0
Merge pull request #12938 from ethereum/update-external-repos-script 
Script for keeping main branches of external test repos in sync with upstream
 2022-05-20 15:38:05 +02:00
Daniel Kirchner
49badcd91a Update docker images for new z3 version. 2022-05-13 17:46:42 +02:00
Daniel Kirchner
edd769a6dc Update Z3 deps ppa script. 2022-05-13 17:46:42 +02:00
Leo Alt
6a126f6ccb Update tests and hashes for z3 4.8.17 2022-05-13 15:25:10 +02:00
Leo
2aba061bde
Merge pull request #12967 from ethereum/update_z3_docker 
Update docker z3 version 4.8.16
 2022-05-12 15:23:03 +02:00
Kamil Śliwak
c0cc8ff7e7 Switch to newly built buildpack-deps images in CI 2022-05-12 14:26:07 +02:00
Leo Alt
93f9638a1b Add error id to script 2022-05-11 20:02:31 +02:00
Kamil Śliwak
c64fb7a258 docker_upgrade.sh: Workaround for git refusing to work with a repo in attached volume 2022-05-10 18:24:21 +02:00
Leo Alt
571d94b051 Update docker z3 version 2022-05-10 18:24:21 +02:00
Kamil Śliwak
6d14f5059e fixup! Script for keeping main branches of external repos in sync with upstream 2022-05-09 14:50:30 +02:00
Kamil Śliwak
be7da89cf5 Script for keeping main branches of external repos in sync with upstream 2022-05-09 14:35:35 +02:00
Marenz
1ccdb92cdb Update version & distributions for static z3 script 2022-05-05 15:27:18 +02:00
Leo Alt
4fd7de36f1 update smt tests z3 4.8.16 2022-05-03 14:23:27 +02:00
Marenz
afd9feead4 LSP.py: Implement simple send/respond framework 2022-04-13 13:22:05 +02:00
Tharun K
a608bc12f7 Moved docs.sh script to docs/ 2022-04-08 20:41:22 +02:00