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
19,105 Commits 348 Branches 121 Tags 100 MiB
264e1a61d4
Commit Graph

19105 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Kamil Śliwak
264e1a61d4 prepare_report.py: --exit-on-error option 2020-12-22 07:51:50 +01:00
Kamil Śliwak
eb8b7d5c23 prepare_report.py: More information on stdout, with verbosity control 2020-12-22 07:51:50 +01:00
Kamil Śliwak
d2904e9f7f prepare_report.py: Add --report-file option 2020-12-22 07:51:50 +01:00
Kamil Śliwak
15a1f74460 prepare_report.py: Add --force-no-optimize-yul flag to work around a bug in solc 0.6.0/0.6.1 2020-12-22 07:51:50 +01:00
Kamil Śliwak
2b316ea018 prepare_report.py: Make parsing more lax to handle output from older compiler versions 2020-12-22 07:51:50 +01:00
Kamil Śliwak
f2b060e68d prepare_report: Handle internal compiler errors in Standard JSON as errors, not missing bytecode 2020-12-22 07:51:50 +01:00
Kamil Śliwak
b3922bc300 prepare_report: Add command-line options for switching between SMT pragma stripping and only disabling the SMT checker 2020-12-22 07:51:48 +01:00
Kamil Śliwak
d71de88bc1 prepare_report.py: Add support for switching between CLI and Standard JSON compiler interfaces 2020-12-22 07:50:28 +01:00
Kamil Śliwak
88d2a923ae Create unit tests for prepare_report.py 2020-12-22 07:34:37 +01:00
Kamil Śliwak
5952c3dd71 Modernize prepare_report.py and make it easier to extend 
- Add argument parser
- Add type annotations
- Use pathlib
- Split into functions
- Use dataclasses to separate report data from presentation
- Provide more information if the script is interrupted
 2020-12-22 07:34:37 +01:00
Kamil Śliwak
48eeaa8f80 prepare_report: Make error/missing data placeholders actually look like placeholders 2020-12-22 07:34:37 +01:00
Kamil Śliwak
d0dcc0a3f5 prepare_report: Report missing metadata as well 2020-12-22 07:34:37 +01:00
Kamil Śliwak
cd82498fe8 prepare_report: Unify error/missing data handling between JS and Python versions 2020-12-22 07:34:37 +01:00
Kamil Śliwak
82b9344da8 prepare_report.js: Replace var with const/let + minor cleanup 2020-12-22 04:56:10 +01:00
Kamil Śliwak
54609054b6 Extract the script embedded in storebytecode.js into a separate file 2020-12-22 01:51:50 +01:00
Alex Beregszaszi
67712d50ba
Merge pull request #10665 from smarteasy/develop 
Update introduction-to-smart-contracts.rst
 2020-12-20 13:39:41 +00:00
smareasy
e5695448db
Update introduction-to-smart-contracts.rst 2020-12-20 15:16:23 +09:00
Leonardo
158154bac3
Merge pull request #10345 from ethereum/ir-runtime 
Output runtime object in IR
 2020-12-18 17:19:40 +01:00
Bhargava Shastry
72efdd3e51
Merge pull request #10606 from ethereum/update-ossfuzz-docker-image 
ossfuzz: Update ossfuzz docker image that now contains sanitized libgmp
 2020-12-18 15:27:52 +01:00
Alex Beregszaszi
7e20a095a8
Merge pull request #10652 from ethereum/smt_constants_inplce 
[SMTChecker] Replace constants by their value in-place
 2020-12-18 14:22:32 +00:00
chriseth
85ac8513e1
Merge pull request #10651 from ethereum/rename-asmscope 
Rename AsmScope* to Scope*
 2020-12-18 14:32:23 +01:00
chriseth
c4ade1753e
Merge pull request #10445 from ethereum/modifiers 
[Sol->Yul] Implement function modifiers.
 2020-12-18 14:29:00 +01:00
Leonardo Alt
034d1ab90f [SMTChecker] Replace constants by their value in-place 2020-12-18 14:22:28 +01:00
Leonardo
6b482d4b41
Merge pull request #10647 from ethereum/ppaStaticRelease 
Build solidity-upgrade and yul-phaser statically on static PPA builds.
 2020-12-18 14:20:44 +01:00
Alex Beregszaszi
d5014ea081
Merge pull request #10642 from ethereum/semver-parser 
Report meaningful error if parsing a version pragma failed
 2020-12-18 13:09:06 +00:00
Alex Beregszaszi
0425936c8a Rename AsmScope* to Scope* 2020-12-18 11:55:17 +00:00
Alex Beregszaszi
b14a6a10cc Report meaningful error if parsing a version pragma failed 2020-12-18 11:50:37 +00:00
chriseth
8c455a1a99
Merge pull request #10650 from haltman-at/update-payable-docs 
Mark msg.sender and tx.origin as nonpayable in docs
 2020-12-18 11:21:06 +01:00
Leonardo
16832985f5
Merge pull request #10614 from blishko/smt-overidden-modifiers 
[SMTChecker] Fix analysis of overriding modifiers
 2020-12-18 09:26:34 +01:00
Harry Altman
bfe80dec6b Mark msg.sender and tx.origin as nonpayable in docs 2020-12-17 22:04:04 -05:00
Harikrishnan Mulackal
8194cbb497
Merge pull request #10640 from ethereum/error-cleanup 
Improve the Error class with a constructor for secondaryLocation
 2020-12-17 17:58:28 +01:00
Martin Blicha
7078e8f8f8 [SMTChecker] Fix analysis of overriding modifiers 2020-12-17 17:05:54 +01:00
chriseth
242bf9b6dc Document modifier changes. 2020-12-17 17:00:51 +01:00
chriseth
1fa371d426 Tests 2020-12-17 17:00:51 +01:00
chriseth
35908c602b Modifiers for constructors. 2020-12-17 17:00:51 +01:00
chriseth
ccaa81fbe7 Implement function modifiers. 2020-12-17 17:00:51 +01:00
Daniel Kirchner
1afdfc2c84 Build solidity-upgrade and yul-phaser statically on static PPA builds. 2020-12-17 16:09:23 +01:00
Đorđe Mijović
9328503265
Merge pull request #10572 from ethereum/smt_abi 
[SMTChecker] Support ABI functions as uninterpreted functions
 2020-12-17 15:53:05 +01:00
Alex Beregszaszi
97173247c0 Improve the Error class with a constructor for secondaryLocation 
Remove occurances of Error construction using the boost helpers.
 2020-12-17 13:50:04 +00:00
Leonardo Alt
50be39fc21 Add and update tests 2020-12-17 14:42:49 +01:00
Leonardo Alt
7ba91cdc33 Changelog 2020-12-17 14:03:17 +01:00
Leonardo Alt
2cbf33ca1c SMTChecker support ABI functions as UFs 2020-12-17 14:03:17 +01:00
Alex Beregszaszi
2fa0e3c88a
Merge pull request #10641 from ethereum/yul-error 
Simplify StackTooDeepError in Yul
 2020-12-17 12:46:26 +00:00
Alex Beregszaszi
9230faf9a3 Simplify StackTooDeepError in Yul 2020-12-16 20:35:11 +00:00
Alex Beregszaszi
2be078b4d0
Merge pull request #10637 from ethereum/remove99 
Remove version pragmas using `.99`.
 2020-12-16 20:14:44 +00:00
chriseth
191070d322 Remove version pragmas using .99. 2020-12-16 19:39:02 +00:00
Alex Beregszaszi
953d18c6cb Output runtime object in IR 2020-12-16 19:23:10 +00:00
Alex Beregszaszi
a993ab4db7
Merge pull request #10638 from ethereum/setver081 
Set version to 0.8.1.
 2020-12-16 19:23:03 +00:00
chriseth
21ed65d956 Set version to 0.8.1. 2020-12-16 20:08:13 +01:00
chriseth
c7dfd78e57
Merge pull request #10636 from ethereum/smt_fix_constant 
Fix constant evaluation build
 2020-12-16 18:04:09 +01:00