chriseth
|
3fe4b0b2c3
|
Disallow more than 77 fractional digits.
|
2021-10-06 13:55:38 +02:00 |
|
chriseth
|
96d50431bb
|
Update tests.
|
2021-10-06 13:55:38 +02:00 |
|
chriseth
|
5ecd2f2287
|
Move error message somewhere else.
|
2021-10-06 13:55:38 +02:00 |
|
chriseth
|
83ed624e9d
|
Test updates.
|
2021-10-06 13:55:38 +02:00 |
|
chriseth
|
39bbaaa9f5
|
Fixed point conversion tests.
|
2021-10-06 13:55:38 +02:00 |
|
chriseth
|
71b21a82da
|
Update tests.
|
2021-10-06 13:55:38 +02:00 |
|
chriseth
|
504c873e9d
|
No operators on fixed point types beyond comparison.
|
2021-10-06 13:55:38 +02:00 |
|
chriseth
|
64408a9173
|
Disallow bare fractional literals that incur precision loss.
|
2021-10-06 13:55:37 +02:00 |
|
chriseth
|
5df275b846
|
Allow explicit conversion from rational to fixed if it fits value range.
|
2021-10-06 13:55:37 +02:00 |
|
chriseth
|
60354490c8
|
Fix up fixed point type class.
|
2021-10-06 13:55:37 +02:00 |
|
chriseth
|
ebe90a1499
|
Restrict number of fractional digits to 77.
|
2021-08-19 17:07:59 +02:00 |
|
chriseth
|
0267af843f
|
Documentation about fixed point types.
|
2021-08-17 16:50:16 +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 |
|