cerc-io/solidity
10
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
20,714 Commits 348 Branches 121 Tags 100 MiB
fixedConversionFunctionImpl
Commit Graph

20714 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth
c91cc8d0ed Add abijson test for fixed point types. 2021-10-06 13:57:38 +02:00
Kamil Śliwak
f108d304f5 optimizer.rst: Fix a code block with incorrectly set Bash highlighting 2021-10-06 13:57:38 +02:00
Daniel Kirchner
0ed8aba935 Add missing header. 2021-10-06 13:57:38 +02:00
chriseth
d33eaf48b8 Fix conversion. 2021-10-06 13:56:25 +02:00
chriseth
c4c0d0502d Test for external calls. 2021-10-06 13:56:25 +02:00
chriseth
0e875ec4d7 ABI validation tests. 2021-10-06 13:56:25 +02:00
chriseth
a717146b00 Syntax test. 2021-10-06 13:56:25 +02:00
chriseth
5b9da8418d Tests. 2021-10-06 13:56:25 +02:00
chriseth
c1c4b4951c Implement abi encoding. 2021-10-06 13:56:25 +02:00
chriseth
a6f739f38d Tests 2021-10-06 13:56:25 +02:00
chriseth
2beb87eb02 Fix parsing fixed point values. 2021-10-06 13:56:25 +02:00
Alex Beregszaszi
0fe7d787f3 Add more tests 2021-10-06 13:56:25 +02:00
chriseth
231f668c7f Update tests. 2021-10-06 13:56:24 +02:00
chriseth
bed40c16e3 Allow inline assembly access to fixed point types. 2021-10-06 13:56:13 +02:00
chriseth
d1aa217936 Fixed point type conversions. 2021-10-06 13:56:13 +02:00
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