cerc-io/solidity
15
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,177 Commits 348 Branches 121 Tags 100 MiB
7824ccb56d
Commit Graph

19177 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Leonardo
7824ccb56d
Merge pull request #10663 from ethereum/check_style_exclude_list_support 
scripts/check_style.sh: add exclude list support.
 2021-01-12 11:28:26 +01:00
Kamil Śliwak
22af3a555a
Merge pull request #10736 from BinacsLee/binacs-update-install-deps 
[scripts/install_deps.sh] support MacOS Big Sur
 2021-01-12 09:57:11 +01:00
chriseth
a29493120e
Merge pull request #10740 from ethereum/useZip 
Use zip.
 2021-01-12 09:40:37 +01:00
chriseth
b9de0c6155 Use zip. 2021-01-11 20:54:28 +01:00
chriseth
67d21a87c5
Merge pull request #10737 from ethereum/range-v3 
Add range-v3.
 2021-01-11 19:24:13 +01:00
chriseth
d43693ecca
Merge pull request #10675 from ethereum/refactor-bytecode-comparison-scripts 
Refactor bytecode comparison scripts
 2021-01-11 18:57:47 +01:00
chriseth
fda3a31930
Merge pull request #10560 from ethereum/arrayPushStructSol2Yul 
[Sol->Yul] Implementing missing array push
 2021-01-11 18:51:30 +01:00
Daniel Kirchner
eac2bcf72f Add range-v3. 2021-01-11 18:44:55 +01:00
Djordje Mijovic
85b8325f0b [Sol->Yul] Implementing dynamic array push for arrays of structs. 2021-01-11 17:49:42 +01:00
Kamil Śliwak
085f88d349 Create unit tests for prepare_report.py 2021-01-11 17:06:59 +01:00
Kamil Śliwak
6628f19fd8 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
 2021-01-11 17:06:59 +01:00
Kamil Śliwak
887497a406 prepare_report: Make error/missing data placeholders actually look like placeholders 2021-01-11 17:06:59 +01:00
Kamil Śliwak
fe7cc2097b prepare_report: Report missing metadata as well 2021-01-11 17:06:59 +01:00
Kamil Śliwak
9f58f77b50 prepare_report: Unify error/missing data handling between JS and Python versions 2021-01-11 17:06:59 +01:00
Kamil Śliwak
a036cbea19 prepare_report.js: Replace var with const/let + minor cleanup 2021-01-11 17:06:59 +01:00
Kamil Śliwak
42786c2d29 Extract the script embedded in storebytecode.sh into a separate file 2021-01-11 17:06:59 +01:00
BinacsLee
3329f4ab9b [scripts/install_deps.sh] support MacOS Big Sur 2021-01-11 23:50:18 +08:00
Djordje Mijovic
b06936b11c [refactor] Move copying struct to storage to it's own util function. 2021-01-11 16:26:14 +01:00
chriseth
dfcba3bbd3
Merge pull request #10733 from ethereum/fixEncodingLibrary 
Determine encoding type earlier.
 2021-01-11 15:27:09 +01:00
chriseth
e6d3fcbdc7
Merge pull request #10734 from ethereum/smt_fix_bfs_agaon 
Fix BFS visit
 2021-01-11 14:55:19 +01:00
chriseth
3804ad85f6 Enable tests. 2021-01-11 14:51:33 +01:00
Leonardo Alt
5f39662235 Fix BFS visit 2021-01-11 13:18:59 +01:00
chriseth
994fdb7517 Determine encoding type earlier. 2021-01-11 11:57:22 +01:00
chriseth
f03245d473
Merge pull request #10724 from a3d4/fix-docu-typo-windows-build 
Fix a tiny typo in building-on-windows documentation
 2021-01-08 15:40:50 +01:00
Leonardo
d11cf15d37
Merge pull request #10722 from ethereum/smt_cex_calls 
[SMTChecker] Refactor cex loop
 2021-01-07 23:57:52 +01:00
Leonardo Alt
11f56861c3 Refactor cex loop 2021-01-07 23:13:02 +01:00
a3d4
184d3f3bfd Fix a tiny typo in building-on-windows documentation 2021-01-07 03:09:32 +01:00
Harikrishnan Mulackal
5241b7b761
Merge pull request #10684 from ethereum/fixIRWrappingExp 
Use wrapping arithmetic for exp in unchecked blocks.
 2021-01-06 18:53:54 +01:00
Harikrishnan Mulackal
591f04e41c
Merge pull request #10718 from ethereum/gitignoreClion 
Extend .gitignore to all CLion build directories and allow "build" to be a symlink.
 2021-01-06 12:45:30 +01:00
Harikrishnan Mulackal
3cb48b8c60
Merge pull request #10683 from ethereum/optSubEq 
Optimize iszero(sub(x, y)) to eq(x, y).
 2021-01-06 12:22:54 +01:00
Leonardo
130fc0701b
Merge pull request #10716 from ethereum/rename_bfs 
Make BFS correct again
 2021-01-06 11:55:34 +01:00
Daniel Kirchner
308549f950 Simplify test and add Changelog entry. 2021-01-06 11:33:08 +01:00
Daniel Kirchner
0a923f02f6 Allow /build to be a symlink in .gitignore. 2021-01-06 10:34:18 +01:00
Daniel Kirchner
bac07612bf Extend .gitignore to all CLion build directory names. 2021-01-06 10:29:32 +01:00
Leonardo Alt
ced79497f5 Fix BFS 2021-01-06 10:17:17 +01:00
Alex Beregszaszi
fce6d99900
Merge pull request #10655 from ethereum/semver-empty 
Mark the empty version pragma as invalid
 2021-01-04 20:09:33 +00:00
Alex Beregszaszi
8edfa26f0a Mark the empty version pragma as invalid 2021-01-04 19:28:36 +00:00
Leonardo
fdbb4d9a8f
Merge pull request #10705 from ethereum/smt_cex_contract 
[SMTChecker] Output contract's name in counterexample
 2021-01-04 12:57:06 +01:00
Leonardo Alt
b02722ebda Add contract name to called function in cex 2021-01-04 10:03:16 +01:00
Đorđe Mijović
0e32fa8209
Merge pull request #10579 from ethereum/supportMetaTypeNameSol2Yul 
[Sol->Yul] Implementing type name.
 2020-12-30 18:46:24 +01:00
Djordje Mijovic
67c92b7f6e Updating gas costs and cmdline tests. 2020-12-30 17:48:41 +01:00
Djordje Mijovic
047d693ac9 Refactoring copyLiteralToMemoryFunction and reusing it from other functions. 
Co-authored-by: Leonardo <leo@ethereum.org>

Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
 2020-12-30 17:31:20 +01:00
Djordje Mijovic
b74c08143f Deleting yul unimplemented test. 2020-12-30 17:19:04 +01:00
Djordje Mijovic
ddb05769a5 [Sol->Yul] Implementing type name. 2020-12-30 17:19:03 +01:00
Đorđe Mijović
1837e0ae7f
Merge pull request #10661 from ethereum/smt_checked 
[SMTChecker] Checked arithmetic and unchecked blocks
 2020-12-30 16:00:31 +01:00
Leonardo Alt
78d55e6b4a [SMTChecker] Support check/unchecked 2020-12-30 12:14:30 +01:00
Leonardo
eb05826857
Merge pull request #10702 from blishko/smt-block-constraints 
[SMTChecker] Add missing constraints for block properties
 2020-12-30 09:14:47 +01:00
Martin Blicha
be0a0f4d90 [SMTChecker] Added constraints for block properties 2020-12-29 22:17:44 +01:00
Leonardo
86c30b4cf5
Merge pull request #10685 from ethereum/smt_virtual_functions 
[SMTChecker] Fix calls to virtual/overriden functions
 2020-12-29 15:05:29 +01:00
Leonardo Alt
9482e7de23 [SMTChecker] Fix calls to virtual/overriden functions 2020-12-29 11:25:20 +01:00