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
20,720 Commits 348 Branches 121 Tags
5da52048ac57316d81533c7fcef348b58ae7400d
Commit Graph
20720 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Kamil Śliwak 5da52048ac pylint_all: In non-dev mode run pylint on all files at once 
- This is much faster than running it one file at a time
 2021-08-23 23:12:56 +02:00
Kamil Śliwak 7dd24edf14 pylint_all: Handle Ctrl+C more gracefully 2021-08-23 23:12:56 +02:00
Kamil Śliwak 714cce175f pylint_all: Do not rename exit() 2021-08-23 23:12:56 +02:00
Kamil Śliwak 74c73d396a pylint_all: Use subprocess module instead of os.system() 
- As a bonus this makes the script properly stop on Ctrl+C
 2021-08-23 23:12:56 +02:00
Kamil Śliwak 0746f2adf9 pylint_all: Make better use of the PROJECT_ROOT variable 2021-08-23 23:12:56 +02:00
Kamil Śliwak 9b3e714a6c pylint_all: Use argparse for processing arguments 2021-08-23 23:12:56 +02:00
Kamil Śliwak a39eb7ae99 Merge pull request #11832 from ethereum/fix-pylint-warnings-about-encoding-in-open 
Fix pylint warnings about encoding in `open()`
 2021-08-23 23:12:12 +02:00
Kamil Śliwak 8f5a04270f Merge pull request #11835 from ethereum/fix-boost-download-from-jfrog-in-powershell 
Use empty user agent when downloading Boost from jfrog in powershell
 2021-08-23 22:05:28 +02:00
Kamil Śliwak bc68e95221 install_deps.ps1: Use empty user agent when downloading boost from jfrog to avoid being treated as a browser 2021-08-23 21:23:39 +02:00
Kamil Śliwak a6683e3226 Fix pylint warnings about encoding not being specified in open() calls 2021-08-23 19:24:35 +02:00
Kamil Śliwak 941919e8ab fix_homebrew_paths_in_standalone_zip.py: Remove a superfluous call to open() 2021-08-23 16:00:35 +02:00
Kamil Śliwak 6b7857d56b Merge pull request #11650 from ethereum/boost-path-in-read-file-as-string 
Use `boost::filesystem::path` in `readFileAsString()`
 2021-08-20 19:45:54 +02:00
Leonardo 26207968c6 Merge pull request #11820 from ethereum/smt_barecall 
[SMTChecker] CALL
 2021-08-19 18:15:38 +02:00
Leo Alt 55d197f092 Changelog 2021-08-19 16:34:16 +02:00
Leo Alt 9ea4576664 Update tests 2021-08-19 16:34:01 +02:00
Leo Alt d89d63bf9c Use the nondeterministic interface also for BARECALL 2021-08-19 16:34:01 +02:00
chriseth 45a910c2ca Merge pull request #11750 from ethereum/immutables-10463 
Allow reading of immutables during construction time
 2021-08-19 14:39:03 +02:00
chriseth 065a303b76 Merge pull request #11817 from ethereum/extendKnowledgeBase 
Extend knowledge base
 2021-08-19 14:05:46 +02:00
Marenz 121fd40f74 Allow reading of immutables during construction time 2021-08-19 13:59:05 +02:00
chriseth 2165c0d3d9 Update gas costs. 2021-08-19 13:26:52 +02:00
chriseth c6473ff32b Proof for rules. 2021-08-19 12:51:54 +02:00
chriseth a467f3205c Tests for knowledge base. 2021-08-19 12:51:54 +02:00
chriseth 2a8090d797 New simplification rules. 2021-08-19 12:51:54 +02:00
chriseth 8926274000 Fix recursion protection. 2021-08-19 12:51:54 +02:00
Kamil Śliwak cef0f1b9e1 Merge pull request #11818 from ethereum/fix-bad-bash-highlighting-in-optimizer-rst 
Fix incorrect Bash highlighting in a Yul code snippet
 2021-08-18 14:00:06 +02:00
Kamil Śliwak f794539628 optimizer.rst: Fix a code block with incorrectly set Bash highlighting 2021-08-18 13:07:22 +02:00
chriseth 4b038e3f02 Extend knowledge base. 2021-08-18 12:42:46 +02:00
Daniel Kirchner 729db521a9 Merge pull request #11812 from ethereum/addMissingHeader 
Add missing header.
 2021-08-17 16:45:33 +02:00
Daniel Kirchner f609288cba Add missing header. 2021-08-17 16:04:38 +02:00
chriseth 22482802d1 Merge pull request #11810 from ethereum/fixFixedParsingIsoltest 
Fix parsing fixed point values.
 2021-08-17 15:26:00 +02:00
chriseth 063d481bb3 Fix parsing fixed point values. 2021-08-17 14:46:11 +02:00
chriseth 948665ff89 Merge pull request #11749 from ethereum/simplifyConvertEvenMOre 
Simplify yul conversion function even more.
 2021-08-17 14:39:59 +02:00
chriseth 5015284c3a Merge pull request #11748 from ethereum/optimize_signextend 
Optimizer rules for signextend.
 2021-08-17 14:39:16 +02:00
Kamil Śliwak cb1a0f08ca readFileAsString(): Accept path as boost::filesystem::path instead of string 2021-08-17 12:58:33 +02:00
Kamil Śliwak 790d08f24b source-upgrade does not really process standard input 2021-08-17 12:55:01 +02:00
chriseth 704820cc6e Update tests. 2021-08-16 22:24:06 +02:00
chriseth 94c4e1e172 Simplify yul conversion function even more. 2021-08-16 22:24:06 +02:00
chriseth b62bb0a0b2 Merge pull request #11804 from ethereum/fixedPointTypes 
[isoltest] Leading zero for fixed point types.
 2021-08-16 22:17:48 +02:00
chriseth 4480662a58 Test. 2021-08-16 18:54:33 +02:00
hrkrshnn 59db0f1537 An equivalence check for SIGNEXTEND opcode 
Checking the implementation of SIGNEXTEND using Z3's native SignExt and Extract
 2021-08-16 18:54:33 +02:00
chriseth 5906d25a39 Formalization of SIGNEXTEND and rule proofs 2021-08-16 18:54:33 +02:00
chriseth 16787ecfd6 Optimizer rules for signextend. 2021-08-16 18:54:33 +02:00
Kamil Śliwak d59497bd92 Merge pull request #11805 from ethereum/fixSolcjs 
Remove the code for disabling `prepublish` hook before solc-js tests
 2021-08-16 17:30:56 +02:00
Daniel Kirchner 9f2885e173 Disabling of prepublish hook is no longer needed in setup_solcjs 
See https://github.com/ethereum/solc-js/pull/542
 2021-08-16 16:50:31 +02:00
chriseth 97b4ff15f1 Merge pull request #11791 from CrimsonGlory/patch-2 
Document pre-0.5.0 bytesX/uintY conversions
 2021-08-16 14:24:55 +02:00
CrimsonGlory e42ebcd612 Document pre-0.5.0 bytesX/uintY conversions 
Document pre-0.5.0 compiler behavior on bytesX/uintY conversions when they have different size.
 2021-08-16 14:24:26 +02:00
Alexander Arlt 866617b353 [isoltest] Add support for fixed point types. 2021-08-16 13:07:22 +02:00
chriseth c0a9578979 Merge pull request #11798 from adlerjohn/patch-1 
Fix typo
 2021-08-16 12:11:48 +02:00
John Adler a029b0ba67 Fix typo 
Fix missing `s`.
 2021-08-14 14:31:06 -04:00
chriseth 1a68228c28 Merge pull request #11790 from ethereum/chriseth-patch-1 
Run npm prepublish
 2021-08-13 15:17:14 +02:00