chriseth
c91cc8d0ed
Add abijson test for fixed point types.
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
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
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
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
948665ff89
Merge pull request #11749 from ethereum/simplifyConvertEvenMOre
...
Simplify yul conversion function even more.
2021-08-17 14:39:59 +02:00
chriseth
704820cc6e
Update tests.
2021-08-16 22:24:06 +02:00
Alexander Arlt
866617b353
[isoltest] Add support for fixed point types.
2021-08-16 13:07:22 +02:00
chriseth
d7a802e4bf
Merge pull request #11682 from ethereum/fixedPointTypes
...
Fixed point types for isoltest
2021-08-13 09:37:29 +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
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
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
Leo Alt
10397e440c
Fix ICE in constants
2021-08-12 10:53:01 +02:00
chriseth
a4c94a1b5b
Fixed inline assembly external identifier access.
2021-08-11 18:18:29 +02:00
hrkrshnn
892700d769
Tests for basefee as identifier in inline assembly
...
Also added basefee to `EVMVersion::hasOpcode(...)`
2021-08-11 10:46:40 +02:00
hrkrshnn
7f1a2be0fe
Allow basefee as Yul identifier for EVMVersion < london
...
This was done to prevent basefee from being a breaking change. This change will be removed in 0.9.0.
TODO revert this commit in breaking.
2021-08-11 10:46:08 +02:00
hrkrshnn
79733fca48
Set default EVM version to London.
2021-08-11 09:54:14 +02:00
hrkrshnn
43605d9299
Tests and Changelog for basefee.
2021-08-11 09:51:12 +02:00
Leo Alt
ee6285d6d7
Do not create VCs for underoverflow by default for Sol >=0.8
2021-08-09 14:12:31 +02:00
chriseth
db85849648
Merge pull request #11737 from ethereum/fix_shift_cleanup
...
Yul: Fix cleanup for left shift of bytes types.
2021-08-05 12:55:42 +02:00
chriseth
6b888b531b
Refactor conversion function.
2021-08-05 11:48:35 +02:00
chriseth
0112fed73b
Yul: Fix cleanup for left shift of bytes types.
2021-08-05 10:54:48 +02:00
Leo Alt
3c1f555f71
Tests
2021-08-04 13:54:50 +02:00
chriseth
ffc5cfd9a5
Remove scanner from compiler stack.
2021-08-03 15:43:17 +02:00
Leo Alt
6c8ecfa82c
Add option to choose solver
2021-07-27 17:14:21 +02:00
Kamil Śliwak
9a7c364c71
Process input files in Standard JSON mode just like in other modes
...
- This makes `-` for stdin work.
- `--ignore-missing` now works with `--standard-json`, though it's not very useful because there can be at most one input file.
- Separate errors for situations where there are no input files on the command line (this can be detected in the parser) and where they are not present on disk.
2021-07-27 15:54:32 +02:00
Leo Alt
e46abd0ca1
Update tests due to nondeterminism
2021-07-19 15:20:11 +02:00
Leo Alt
20e23171da
Update tests to z3 4.8.12
2021-07-16 14:43:52 +02:00
chriseth
f75b55071e
Remove CharStream from SourceLocation.
2021-07-14 15:12:07 +02:00
Daniel Kirchner
0a6fc89da2
Fix negation function name collision.
2021-07-08 10:47:29 +02:00
chriseth
09578e7e22
Merge pull request #11550 from ethereum/runs-constant
...
Constant for default --runs
2021-07-06 10:44:07 +02:00
Kamil Śliwak
105b4b4c8b
Update tests
2021-07-05 13:46:53 +02:00
Kamil Śliwak
9d08b5001f
Add sstore to linker tests to prevent the address from being optimized out
2021-07-01 16:54:09 +02:00
hrkrshnn
b628b115ae
Manually enabled gas statistics for erc20 token test.
2021-06-30 16:35:53 +02:00
chriseth
54b1c667f1
Merge pull request #11595 from ethereum/issue-11526
...
Fix yul codegen bug when using binary negation.
2021-06-30 11:55:42 +02:00
Mathias Baumann
c47d02066c
Fix yul codegen bug when using binary negatition.
2021-06-29 17:41:03 +02:00
chriseth
Alex Beregszaszi
Alexander Arlt
Leo Alt
hrkrshnn
Kamil Śliwak
Daniel Kirchner
Mathias Baumann