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,159 Commits 348 Branches 121 Tags 100 MiB
6628f19fd8
Commit Graph

19159 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
Đorđe Mijović
8e9a5a02c2
Merge pull request #10691 from ethereum/arrayCopyIRCheck 
Adding more tests for array copying.
 2020-12-28 14:05:46 +01:00
Djordje Mijovic
c41f996c7b Adding more tests for array copying. 
Co-authored-by: Harikrishnan Mulackal <webmail.hari@gmail.com>
 2020-12-28 13:16:24 +01:00
Harikrishnan Mulackal
e06af46f3d
Merge pull request #10697 from GKStretton/patch-1 
Fix typo
 2020-12-28 13:10:24 +01:00
Greg Stretton
6aa6161881
Fix typo 2020-12-28 11:06:40 +00:00
Leonardo
03946bcd3c
Merge pull request #10694 from suriyaa/patch-1 
Update Natspec documentation URL
 2020-12-28 11:08:02 +01:00
Suriyaa Sundararuban
8649df169d
Update Natspec documentation URL 2020-12-27 14:55:40 +01:00
chriseth
2ab83217e3 Use wrapping arithmetic for exp in unchecked blocks. 2020-12-22 16:49:55 +01:00
chriseth
e299d8ba64
Merge pull request #10677 from ethereum/dirtyMemoryBytesSol2Yul 
[Sol->Yul] Disable old codegen test viaYul and create new one that fits IR semantics
 2020-12-22 16:22:38 +01:00
chriseth
04d83af1d2
Merge pull request #10492 from ethereum/arrayClearingDiffBaseSol2Yul 
[Sol->Yul] Fixing array clearing when copying from storage to storage.
 2020-12-22 15:15:03 +01:00
chriseth
d46da8e53c Optimize iszero(sub(x, y)) to eq(x, y). 2020-12-22 15:11:48 +01:00