chriseth
|
0520a040de
|
fixup! Add more tests
|
2021-08-16 18:19:48 +02:00 |
|
chriseth
|
1c9baafe26
|
fixup! Fixed point type conversions.
|
2021-08-16 14:20:16 +02:00 |
|
chriseth
|
14293ea02a
|
Merge branch 'fixedPointTypes' into fixedSemanticTests
|
2021-08-16 14:02:28 +02:00 |
|
Alexander Arlt
|
866617b353
|
[isoltest] Add support for fixed point types.
|
2021-08-16 13:07:22 +02:00 |
|
Alex Beregszaszi
|
698bfb3cb9
|
Add more tests
|
2021-08-16 12:14:21 +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
|
52bb72347d
|
Update tests.
|
2021-08-13 16:32:54 +02:00 |
|
chriseth
|
1d2ce1e878
|
Allow inline assembly access to fixed point types.
|
2021-08-13 16:32:54 +02:00 |
|
chriseth
|
e5d980e0c1
|
Fixed point type conversions.
|
2021-08-13 16:32:54 +02:00 |
|
chriseth
|
e347aa55f8
|
Merge branch 'fixedConversionRules' into convertMerge
|
2021-08-13 16:06:46 +02:00 |
|
chriseth
|
97c0c8337f
|
Fixed point conversion tests.
|
2021-08-13 16:05:08 +02:00 |
|
chriseth
|
45fc4baafa
|
Update tests.
|
2021-08-13 16:05:08 +02:00 |
|
chriseth
|
c60609e6d5
|
No operators on fixed point types beyond comparison.
|
2021-08-13 16:05:08 +02:00 |
|
chriseth
|
28e8f5571b
|
Allow explicit conversion from rational to fixed if it fits value range.
|
2021-08-13 16:05:08 +02:00 |
|
chriseth
|
1e816332f3
|
Fix up fixed point type class.
|
2021-08-13 16:05:08 +02: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 |
|
Daniel Kirchner
|
e28d00a76d
|
Merge pull request #11763 from ethereum/basefee-hasOpcode
Allow basefee as Yul identifier for EVMVersion < london
|
2021-08-11 14:14:21 +02:00 |
|
Harikrishnan Mulackal
|
98a259a92d
|
Merge pull request #11784 from ethereum/set-release-date
Set the release date and updated bugs_by_version.json
|
2021-08-11 12:52:37 +02:00 |
|
hrkrshnn
|
2c0c27c6d4
|
Set the release date and updated bugs_by_version.json
|
2021-08-11 12:13:07 +02:00 |
|
Harikrishnan Mulackal
|
3d33f212c8
|
Merge pull request #11780 from ethereum/sort-changelog-0.8.7
Sort changelog for 0.8.7 release
|
2021-08-11 11:43:57 +02:00 |
|
Daniel Kirchner
|
7b5595b0ad
|
Merge pull request #11775 from ethereum/docs-resources
[DOCS] Update resources.rst
|
2021-08-11 11:43:10 +02:00 |
|
Daniel Kirchner
|
990a072fe5
|
Merge pull request #11782 from ethereum/smt_show_unproved_flag
[SMTChecker] Make show unproved CLI a flag
|
2021-08-11 11:35:24 +02:00 |
|
franzihei
|
a2e73d7896
|
Update resources.rst
|
2021-08-11 10:59:02 +02:00 |
|
Leo Alt
|
8ce878621a
|
Make show unproved CLI a flag
|
2021-08-11 10:54:03 +02:00 |
|