cerc-io/solidity
10
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,312 Commits 348 Branches 121 Tags 100 MiB
optimize-ci-resource-class-xlarge
Commit Graph

21312 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Kamil Śliwak
3cadb1ae89 [DEBUG] Test CI run with all jobs using 8 cores (xlarge or large resource class) 2021-10-28 15:28:43 +02:00
Kamil Śliwak
4b76a7203a Revert "build_win.ps1: Use long option names for readability" 
This reverts commit b1eb6bcbc0.
 2021-10-28 15:26:48 +02:00
Kamil Śliwak
9d888ced8b [DEBUG] Disable gitter notifications 2021-10-28 15:03:29 +02:00
Kamil Śliwak
b1eb6bcbc0 build_win.ps1: Use long option names for readability 2021-10-28 13:49:10 +02:00
Kamil Śliwak
7a29d1918c CI: Remove separate compile-only runs for external tests execute quickly 2021-10-28 13:49:10 +02:00
Kamil Śliwak
23f17ecd43 [DEBUG] Move all nightly jobs to the PR runs for testing 2021-10-28 13:49:10 +02:00
Kamil Śliwak
f9c4a11dd7 Parallelize external test runs on CircleCI 2021-10-28 13:49:10 +02:00
Kamil Śliwak
6d863129c5 Extract helpers for managing steps in parallelized CircleCI jobs from soltest_all.sh 2021-10-28 13:49:10 +02:00
Kamil Śliwak
210abeba3c Use consistent syntax for Bash function declarations 2021-10-28 13:49:10 +02:00
Kamil Śliwak
8b69907f9b Generalize force_truffle_solc_modules and make it use symlinks instead of redownloading solc-js 2021-10-28 11:33:31 +02:00
Kamil Śliwak
e9ebc25398 externalTests: Neutralize npm hooks instead of replacing pragmas twice 
- This also has the nice effect of stopping projects from trying to compile contracts during installation
 2021-10-28 11:33:31 +02:00
Kamil Śliwak
65a12d6388 externalTests: Helper for neutralizing package locks 2021-10-28 11:33:31 +02:00
Kamil Śliwak
488d02ab0e externalTests: Use named tmp dirs 2021-10-28 11:33:31 +02:00
Kamil Śliwak
9dfcc08601 Enable set -e in external tests 2021-10-28 11:33:31 +02:00
Kamil Śliwak
d0292fb17f Refactor external tests to be more explicit and easier to adjust for special cases 2021-10-28 11:33:31 +02:00
Kamil Śliwak
f8853c94ca CI: Tweak some job names to better reflect what they run 2021-10-28 11:31:33 +02:00
Kamil Śliwak
a0295550b1 CI: Define a base_ dict for every image and set default values for some env variables there 2021-10-28 11:31:33 +02:00
Kamil Śliwak
344683c519 CI: Replace test_ dicts with base_ ones and make their steps explicit 2021-10-28 11:31:33 +02:00
Kamil Śliwak
00a0a0ed12 CI: Remove superfluous/unused test_ dicts 2021-10-28 11:31:33 +02:00
chriseth
cede36930d
Merge pull request #12207 from ethereum/fix-isoltest-enforce-gas-default 
Fix defaults for `--enforce-gas-cost` in isoltest
 2021-10-27 23:10:14 +02:00
Kamil Śliwak
a039431627 isoltest: Do not try to enforce gas costs when ABIEncoderV1 is used 2021-10-27 18:56:45 +02:00
Kamil Śliwak
eb2425bd7c isoltest: Fix gas tests always being enforced regardless of evm version 2021-10-27 18:56:45 +02:00
chriseth
7ebf71f315
Merge pull request #12203 from ethereum/fixuseafterfreeside 
Fix use-after-free bug.
 2021-10-27 16:43:44 +02:00
chriseth
e4a94b69be
Merge pull request #12201 from ethereum/docs-path-fix 
Fix wrong path to isoltest in docs
 2021-10-27 16:13:13 +02:00
chriseth
9be882c90d
Merge pull request #12186 from ethereum/fix-userdefined-ice 
Moved storage size assert to TypeChecker from DeclarationTypeChecker
 2021-10-27 16:12:16 +02:00
chriseth
dce13fbb6a Fix use-after-free bug. 2021-10-27 15:49:41 +02:00
Marenz
61519da4f0 Fix wrong path to isoltest in docs 2021-10-27 14:16:50 +02:00
hrkrshnn
8815d6f5f0 Moved a check related to constants to TypeChecker 
And added a proper error message when constant types containing (nested) mapping types are used.
 2021-10-26 18:43:04 +02:00
hrkrshnn
51009c005d Moved a canBeStored assert for struct members to TypeChecker 
This is to avoid a assert from failing for forward declared user defined value types.
 2021-10-26 18:43:04 +02:00
hrkrshnn
9428dbc94f Moved storage size assert to TypeChecker from DeclarationTypeChecker 2021-10-26 18:43:04 +02:00
chriseth
453f404f8f
Merge pull request #12194 from ethereum/sort-changelog 
[trivial] Sort bugfixes in changelog
 2021-10-26 16:05:24 +02:00
Marenz
f588dd34a9 Sort bugfixes in changelog 2021-10-26 15:41:42 +02:00
Harikrishnan Mulackal
401dd4337a
Merge pull request #11451 from ethereum/smt_report_invariants 
[SMTChecker] Report contract invariants
 2021-10-26 12:41:36 +02:00
Leo Alt
902a2e232b Changelog 2021-10-26 11:30:30 +02:00
Leo Alt
d04ad57ee7 Docs 2021-10-26 11:30:30 +02:00
Leo Alt
4f823c6342 CLI and JSON tests 2021-10-26 11:30:30 +02:00
Leo Alt
38b0cf7f9c SMTChecker tests 2021-10-26 11:30:30 +02:00
Leo Alt
2cbd496576 Adjust ModelCheckerSettings in tools tests 2021-10-26 11:30:30 +02:00
Leo Alt
a104443ac1 Adjust errors script to also look for infos 2021-10-26 11:30:30 +02:00
Leo Alt
37215ffcfd Add SMTCheckerTest isoltest option to ignore invariants 2021-10-26 11:30:30 +02:00
Leo Alt
3118fb3666 Add invariants option to CLI and JSON 2021-10-26 11:30:30 +02:00
Leo Alt
d419c30ca6 Add errorCode list to invariants report 2021-10-26 11:30:30 +02:00
Leo Alt
49e7627bd3 Use invariants in CHC 2021-10-26 11:30:30 +02:00
Leo Alt
bc90533c93 Add invariants to ModelCheckerSettings 2021-10-26 11:30:30 +02:00
Leo Alt
d554824f70 Add Invariants which traverses the proof and collects invariants for the given predicates 2021-10-26 11:30:30 +02:00
Leo Alt
9bcd2c18e4 Add expression substitution to Predicate 2021-10-26 11:30:30 +02:00
Leo Alt
ce72d7cd26 Add ExpressionFormatter which translates an smtutil::Expression into a Solidity-like expression string 2021-10-26 11:30:30 +02:00
Leo Alt
1d65977769 Adjust Z3Interface::fromZ3 for the extra cases 2021-10-26 11:30:30 +02:00
Leo Alt
9a87680d21 Add invariant to the solver results 2021-10-26 11:30:30 +02:00
Leo Alt
fa48abf4f1 Add new info functions 2021-10-26 11:30:30 +02:00