cerc-io/solidity
16
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,169 Commits 348 Branches 121 Tags 100 MiB
d43693ecca
Commit Graph

19169 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
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
Leonardo
840b194bea
Merge pull request #10662 from blishko/smt-external-error 
[SMTChecker] Carry error information across external calls
 2020-12-29 11:05:21 +01:00
Martin Blicha
41d31fe4d4 updates to the tests 2020-12-28 20:05:52 +01:00
Martin Blicha
bb0003f5ea removed extra parameter from PredicateInstance::nondetInterface 2020-12-28 19:48:48 +01:00
Martin Blicha
58731056a3 Changelog entry 2020-12-28 16:50:04 +01:00
Martin Blicha
77dff222e9 disabling some tests because of nondeterminism in Spacer 2020-12-28 16:24:44 +01:00
Martin Blicha
745466b71f updates to the tests 2020-12-28 14:32:53 +01:00
Martin Blicha
f76ff35225 [SMTChecker] Detect errors caused by reentrancy 2020-12-28 14:32:53 +01:00