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 |
|
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 |
|
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 |
|
chriseth
|
fe0d027d45
|
Merge pull request #11785 from ethereum/someMoreBaseFees
Some more base fees.
|
2021-08-12 19:48:10 +02:00 |
|
Leonardo
|
b0164bd2a4
|
Merge pull request #11795 from ethereum/smt_fix_ext_constructor
[SMTChecker] Fix false positive on external calls from constructors
|
2021-08-12 19:34:57 +02:00 |
|
chriseth
|
93ebdb9e6e
|
Merge pull request #11772 from v-sreekesh/v-sreekesh-external-fix-voting
updated public to external for the functions
|
2021-08-12 19:08:19 +02:00 |
|
Leo Alt
|
6ee60aa628
|
Fix false positive on external calls from constructors
|
2021-08-12 18:51:55 +02:00 |
|
chriseth
|
c87c0f02bd
|
Test updates.
|
2021-08-12 16:56:12 +02:00 |
|
chriseth
|
90c4623460
|
Some more base fees.
|
2021-08-12 16:37:21 +02:00 |
|
Sreekesh V
|
9b9e52e53e
|
updated public to external for the functions
changed public to external for the functions
|
2021-08-12 16:24:40 +02:00 |
|
chriseth
|
23b16a1e20
|
Merge pull request #11783 from ethereum/authorized_proxies
Authorized Proxies
|
2021-08-12 16:18:16 +02:00 |
|
chriseth
|
7977c8c7ce
|
Authorized Proxies
|
2021-08-12 15:39:32 +02:00 |
|
chriseth
|
e3bec1a8a6
|
Merge pull request #11761 from ethereum/change-refunds-london
Updated changes in refunds: EIP-3529
|
2021-08-12 15:34:21 +02:00 |
|
chriseth
|
ccdc11ea5b
|
Merge pull request #11741 from ethereum/shadowing_inlineasm_fix_yul_codegen
Fixed inline assembly external identifier access.
|
2021-08-12 14:38:24 +02:00 |
|
Leonardo
|
2faf8c6a5b
|
Merge pull request #11776 from ethereum/smt_fix_constants
[SMTChecker] Fix ICE when running on Uniswap V2
|
2021-08-12 13:16:57 +02:00 |
|
Daniel Kirchner
|
13b4e15e1c
|
Merge pull request #11789 from ethereum/updateReleasePPAScript
Add hirsute to release_ppa script.
|
2021-08-12 13:15:02 +02:00 |
|
Leo Alt
|
10397e440c
|
Fix ICE in constants
|
2021-08-12 10:53:01 +02:00 |
|
chriseth
|
01d15f8754
|
Additionaly safety check for npm package version.
|
2021-08-12 10:52:34 +02:00 |
|
chriseth
|
a4c94a1b5b
|
Fixed inline assembly external identifier access.
|
2021-08-11 18:18:29 +02:00 |
|
Daniel Kirchner
|
f7e9263cea
|
Add hirsute and impish to and remove groovy from release_ppa script.
|
2021-08-11 17:00:02 +02:00 |
|
Leonardo
|
cc4e24c200
|
Merge pull request #11788 from ethereum/develop_088
Start 0.8.8
|
2021-08-11 16:15:09 +02:00 |
|
Leo Alt
|
5d7a2f37ea
|
Start 0.8.8
|
2021-08-11 15:30:11 +02:00 |
|