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
21,014 Commits 348 Branches 121 Tags 100 MiB
59e8bbb1d7
Commit Graph

21014 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Daniel Kirchner
c82f9b9fab Mark recursive calls in yul control flow graph. 2021-08-19 16:54:43 +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
chriseth
07def75084
Merge pull request #11774 from ethereum/refactorRedundantAssign 
Refactor redundant assign
 2021-08-13 15:05:50 +02:00
chriseth
3622b30a1d Refactor RedundantAssignEliminator. 2021-08-13 14:25:14 +02:00
chriseth
d7a802e4bf
Merge pull request #11682 from ethereum/fixedPointTypes 
Fixed point types for isoltest
 2021-08-13 09:37:29 +02:00
Daniel Kirchner
4fdf7db02e
Merge pull request #11796 from ethereum/smt_fix_develop 
Fix SMT test develop
 2021-08-12 23:15:21 +02:00
Leo Alt
937af7d722 Fix SMT test 2021-08-12 22:34:18 +02:00
Alexander Arlt
d6b9b4175b [isoltest] Add support for fixed point types. 2021-08-12 21:27:51 +02:00