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,781 Commits 348 Branches 121 Tags
lpsolver
Commit Graph
362 Commits
Author SHA1 Message Date
Kamil Śliwak cf024d9fa3 External test for ElementFi 2022-01-24 11:53:00 +01:00
Kamil Śliwak 36efd084df External test for PRBMath 2022-01-21 23:48:46 +01:00
Kamil Śliwak aeb9637377 External test for Uniswap V3 2022-01-21 16:10:24 +01:00
Kamil Śliwak 7b4522f507 External test for Tracer Perpetual Pools 2022-01-19 20:24:25 +01:00
Kamil Śliwak 93f7d5f8f0 External tests for Pool Together v4 2022-01-19 17:21:03 +01:00
Kamil Śliwak b1e7964ad5 CI: Add missing workflow_trigger_on_tags filter to bytecode jobs 2022-01-17 19:55:52 +01:00
Kamil Śliwak 31cf7f7adb CI: Create templates for parameterized jobs to make it easier to reuse them in multiple workflows 2022-01-17 19:55:52 +01:00
Kamil Śliwak 1af0ce0f26 External test for Bleeps 2022-01-14 23:57:14 +01:00
Daniel Kirchner 756ae673e1 Merge pull request #12536 from ethereum/optimize-mac-os-ci-jobs 
[CI] Use `large` resource class for macOS and use `-j` without spaces
 2022-01-14 23:50:04 +01:00
Kamil Śliwak 91f51b76c6 CI: Use 'large' resource class for macOS and use -j without spaces 2022-01-14 23:09:18 +01:00
Kamil Śliwak 4de1367ba7 External test for Yield Liquidator V2 2022-01-14 22:37:56 +01:00
Kamil Śliwak 054f1cb304 External test for Euler 2022-01-14 02:14:05 +01: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
Kamil Śliwak 483148ddff Include the parallel run number in gitter notifcations from CI 2022-01-10 16:26:14 +01:00
Kamil Śliwak 6980fa32e2 External test for sushiswap/trident 2022-01-10 14:37:24 +01:00
chriseth 2a7f26e2c0 Test batcher. 2021-12-30 15:02:05 +01:00
Kamil Śliwak 7e91dba663 Switch ens external test to ens-contracts repo 2021-12-22 14:45:51 +01:00
chriseth 113ecbdeb3 Merge pull request #12408 from sbillig/fix-mac-build 
Update circleci mac xcode version to 13.2
 2021-12-20 18:49:22 +01:00
chriseth 8da9239c83 Merge pull request #12396 from ethereum/ext-tests-via-ir 
External tests via IR
 2021-12-20 18:13:02 +01:00
Sean Billig 4819d010a8 Update circleci mac xcode version to 13.2 2021-12-16 20:26:14 -08:00
Christian Parpart 927b24df1f Initial implementation of Language Server 2021-12-16 17:52:49 +01:00
Kamil Śliwak 3ec05d02b5 externalTests: Add extra viaIR runs 2021-12-14 13:19:54 +01:00
chriseth 2f90f2e873 Merge pull request #12387 from ethereum/ci-adjust-parallelism 
[CI] Adjust job parallelism to actually match available resources
 2021-12-13 12:44:19 +01:00
Kamil Śliwak e6179d5356 CI: Run t_ems_test_ext_colony on nodejs 14 
- Otherwise it seems to require python, which is not available in CI. We could install it but we'll probably run into other issues on latest node and the switch to latest was not intentional anyway.
 2021-12-13 12:08:05 +01:00
Kamil Śliwak 3649103e42 Switch most external tests to use native compiler built by b_ubu_static 2021-12-10 17:43:57 +01:00
Kamil Śliwak f5830c4516 CI: Extend t_ems job to allow using both emscripten and native binaries 2021-12-10 17:43:57 +01:00
Kamil Śliwak eb8e304b47 externalTests: Add support for using a native binary 2021-12-10 17:43:57 +01:00
Kamil Śliwak af02678dee CI: Adjust job parallelism to actually match available resources 
- Some jobs don't actually run in parallel but have the `parallelism` setting enabled.
- `soltest_all` could be parallelized much more.
 2021-12-09 15:10:52 +01:00
Kamil Śliwak b96d238c23 CI: Double the number of threads for jobs that did slow down after switching to a smaller resource class 2021-12-03 12:34:18 +01:00
Kamil Śliwak 075d7b6152 CI: Remove separate compile-only runs for external tests that execute quickly 2021-12-03 12:33:34 +01:00
Kamil Śliwak 0cece8e6e7 CI: Optimize machine sizes for best speed/cost ratio 2021-12-03 12:32:40 +01:00
Kamil Śliwak c04fca7c2d Merge pull request #12192 from ethereum/hardhat-in-oz-ext-test 
Use Hardhat and the right binary for OpenZeppelin external tests
 2021-11-30 16:17:28 +01:00
Kamil Śliwak 9f59d1746b Fix OpenZeppelin external tests to actually use Hardhat and the binary built in CI 2021-11-25 21:34:53 +01:00
Kamil Śliwak 674b1ecf3f CI: Change the default node version in t_ems_ext from 14 to latest 2021-11-25 21:34:53 +01:00
Kamil Śliwak 26ac84300e CI: Extract workflow name without jq 2021-11-25 21:33:56 +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 00fb719d03 CI: Don't use # in gitter notifications 2021-11-23 16:41:22 +01:00
Kamil Śliwak 4e6b5205ac CI: Include workflow name instead of hard-coded "nightly" in gitter notifications 2021-11-23 16:40:54 +01:00
Kamil Śliwak 2aeeef83f2 Merge pull request #12214 from ethereum/parallelize-external-tests 
Parallelize external tests
 2021-11-18 17:27:57 +01:00
Kamil Śliwak cbb3e07480 Merge pull request #12141 from ethereum/via-ir-equivalence-tests 
Tests for the equivalence of one- and two-stage compilation via IR
 2021-11-18 15:17:44 +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 0ec3f523bd CI: Workaround for $CIRCLE_PULL_REQUEST pointing at random PRs in runs outside of PRs 2021-11-10 17:05:23 +01:00
Kamil Śliwak 834f9d3a6e Parallelize external test runs on CircleCI 2021-11-09 16:57:37 +01:00
Kamil Śliwak fbc48e3029 Extract helpers for managing steps in parallelized CircleCI jobs from soltest_all.sh 2021-11-09 16:57:37 +01:00
Kamil Śliwak 205e05b8f1 CI: Add gitter failure notifications to all jobs 2021-11-08 17:59:19 +01:00
Kamil Śliwak 75fd7fa93e CI: Modify notification steps to be silent in PRs 2021-11-08 17:59:19 +01:00
Daniel Kirchner a7688a0eaf Update emscripten to version 2.0.33. 2021-11-04 19:24:12 +01:00
Kamil Śliwak c76a8a738d CI: Tweak some job names to better reflect what they run 2021-11-03 12:54:56 +01:00