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,307 Commits 348 Branches 121 Tags
c8a169e7149208b999d42fef6dfedd3ed78d64bd
Commit Graph
21307 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Kamil Śliwak c8a169e714 CI: Optimize machine sizes for best speed/cost ratio 2021-10-29 00:50:25 +02:00
Kamil Śliwak bd9a684445 Parallelize external test runs on CircleCI 2021-10-28 22:02:45 +02:00
Kamil Śliwak 81ed863699 Extract helpers for managing steps in parallelized CircleCI jobs from soltest_all.sh 2021-10-28 22:02:45 +02:00
Kamil Śliwak 02baf45d53 Use consistent syntax for Bash function declarations 2021-10-28 22:01:28 +02:00
Kamil Śliwak 66eded1f30 externalTests: Generalize force_truffle_solc_modules and make it use symlinks instead of redownloading solc-js 2021-10-28 22:01:28 +02:00
Kamil Śliwak c70b37ad33 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 22:01:28 +02:00
Kamil Śliwak 2192c2fbfd externalTests: Helper for neutralizing package locks 2021-10-28 22:01:28 +02:00
Kamil Śliwak e1327afdca externalTests: Use named tmp dirs 2021-10-28 22:01:28 +02:00
Kamil Śliwak 7afe3f73ab externalTests: Enable set -e in external tests 2021-10-28 22:01:28 +02:00
Kamil Śliwak 4fbf35c338 externalTests: Refactor to be more explicit and easier to adjust for special cases 2021-10-28 22:01:28 +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
chriseth 719b70893f Merge pull request #12144 from ethereum/clarify-linkersymbol-docs-regarding-fqln 
Clarify that `linkersymbol()` accepts but does not require a fully qualified library name
 2021-10-26 11:10:34 +02:00
chriseth ed091d05e4 Merge pull request #12190 from ethereum/fix-circleci-notification-condition 
Add missing condition to `gitter_notify` command
 2021-10-26 11:01:19 +02:00
Kamil Śliwak cc80f5e992 Add missing condition to gitter_notify command 2021-10-26 10:52:22 +02:00
Kamil Śliwak 2162039c50 Merge pull request #12142 from ethereum/bash-assert-and-stack-traces 
Assert and stack traces for Bash scripts
 2021-10-26 10:44:39 +02:00
chriseth e6e30f82ca Merge pull request #12139 from ethereum/nonamedlabelsifnotunique 
Do not use named function labels if function names are not unique.
 2021-10-25 17:50:29 +02:00