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 |
|
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 |
|