Harikrishnan Mulackal
|
1c066b1059
|
Allow type(Contract).name for abstract contracts and interfaces
|
2020-08-27 13:37:08 +02:00 |
|
Harikrishnan Mulackal
|
6f22899153
|
Disallow the exponent to be a signed integer literal
|
2020-08-27 12:08:45 +02:00 |
|
Leonardo
|
fdc4142b2c
|
Merge pull request #9661 from ethereum/smtBitwiseOr
[SMTChecker] Support bitwise or, xor and not operator
|
2020-08-26 18:20:15 +02:00 |
|
Djordje Mijovic
|
11a7763f49
|
[SMTChecker] Support bitwise or, xor and not.
|
2020-08-26 11:06:56 +02:00 |
|
chriseth
|
e72afcba47
|
Fix inlining order to correspond to source order.
|
2020-08-26 10:20:18 +02:00 |
|
chriseth
|
21489d8193
|
Merge pull request #9638 from ethereum/fixNullValuesAST
Remove null values from AST also in standard-json mode.
|
2020-08-24 15:57:33 +02:00 |
|
Đorđe Mijović
|
4dd25f7302
|
Merge pull request #9639 from ethereum/smtConditionalSupport
[SMTChecker] Supporting conditional operator
|
2020-08-21 14:25:47 +02:00 |
|
Djordje Mijovic
|
3f97a1012a
|
[SMTChecker] Supporting conditional operator
|
2020-08-20 21:39:35 +02:00 |
|
chriseth
|
4dc63875f9
|
Merge pull request #9113 from ethereum/smt_chc_overflow
[SMTChecker] Add underflow/overflow target to CHC
|
2020-08-20 13:17:00 +02:00 |
|
chriseth
|
b2b8e0e4c6
|
Merge pull request #9312 from ethereum/rewrite-loopInvariantCodeMotion
Rewrite loop invariant code motion
|
2020-08-19 14:27:04 +02:00 |
|
Harikrishnan Mulackal
|
bbf15c9af3
|
Tests and Changelog
|
2020-08-19 12:41:29 +02:00 |
|
chriseth
|
7b8cc0c49b
|
Remove null values from AST also in standard-json mode.
|
2020-08-19 11:06:14 +02:00 |
|
chriseth
|
cf5aa450bd
|
Documentation.
|
2020-08-18 11:46:59 +02:00 |
|
Leonardo Alt
|
1b720cf674
|
Changelog
|
2020-08-14 12:58:27 +02:00 |
|
Leonardo Alt
|
ec31d971e6
|
[SMTChecker] Fix tuple name for arrays
|
2020-08-07 12:28:10 +02:00 |
|
Daniel Kirchner
|
143b37af56
|
Only conditionally run old code generation in CompilerStack, StandardCompiler and semantic tests.
|
2020-08-06 15:05:17 +02:00 |
|
chriseth
|
3a409c39e4
|
Merge pull request #9518 from ethereum/smt_fix_bmc_function_inlining
[SMTChecker] Fix ICE in BMC function inlining
|
2020-08-06 00:50:04 +02:00 |
|
chriseth
|
98faf82d3f
|
Merge pull request #9563 from ethereum/constrInLib
Fix member lookup for constructor in library.
|
2020-08-05 19:07:28 +02:00 |
|
Alex Beregszaszi
|
3a617f9cf2
|
Validate expected literal kind for yul::Dialect builtins
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2020-08-05 11:37:04 +01:00 |
|
Leonardo Alt
|
8df8c6e14f
|
[SMTChecker] Fix ICE in BMC function inlining
|
2020-08-05 11:47:25 +02:00 |
|
chriseth
|
c96e997a3c
|
Fix member lookup for constructor in library.
|
2020-08-04 10:51:40 +02:00 |
|
Bhargava Shastry
|
5100effeec
|
yul: Set non movable flag to true in simplification rule for byte of right-shifted expression
|
2020-08-03 17:30:52 +02:00 |
|
Leonardo Alt
|
ad1798b000
|
[SMTChecker] Fix ICE on fixed bytes access
|
2020-07-28 17:59:42 +02:00 |
|
chriseth
|
8a136c96e9
|
Set version to 0.7.1
|
2020-07-28 17:16:57 +02:00 |
|
chriseth
|
ab0b2e1fe1
|
Prepare changelog for 0.7.0.
|
2020-07-28 12:44:08 +02:00 |
|
Alex Beregszaszi
|
6eb60bc8cd
|
Add check that regular and unicode string literals are well formatted
|
2020-07-27 18:21:17 +01:00 |
|
Alex Beregszaszi
|
8abc1a6863
|
Check for invalid ASCII in the scanner
|
2020-07-27 18:21:17 +01:00 |
|
Leonardo Alt
|
de4ae301c4
|
[SMTChecker] Fix ICE when tuples have extra effectless parens
|
2020-07-27 13:03:27 +02:00 |
|
Alex Beregszaszi
|
5ecc84e92e
|
Distinguish between stringLiteral and hexStringLiteral in the JSON AST
|
2020-07-27 10:19:24 +01:00 |
|
chriseth
|
436cf4cf12
|
Clean up changelog.
|
2020-07-23 16:51:49 +02:00 |
|
a3d4
|
5b54cfbed3
|
Report an error if immutables not assigned
|
2020-07-23 16:38:54 +02:00 |
|
chriseth
|
336fe94422
|
Merge pull request #9426 from ethereum/smt_fix_1_tuple
[SMTChecker] Fix ICE in 1-tuple chain
|
2020-07-23 15:38:17 +02:00 |
|
Djordje Mijovic
|
e7d5a7da10
|
[TypeChecker] Remove function input and return parameter names from mobileType
|
2020-07-23 14:39:49 +02:00 |
|
Leonardo Alt
|
9d2a0947e9
|
Fix 1-tuple chain
|
2020-07-23 13:46:41 +02:00 |
|
chriseth
|
6bb6783d39
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-07-22 15:26:44 +02:00 |
|
chriseth
|
e02878329d
|
Prepare for 0.6.12 release.
|
2020-07-21 16:33:48 +02:00 |
|
chriseth
|
e19e4d9db1
|
Merge pull request #9451 from ethereum/smt_fix_push_push
[SMTChecker] Fix push().push()
|
2020-07-21 11:40:37 +02:00 |
|
chriseth
|
9be5ed1220
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-07-21 11:35:28 +02:00 |
|
chriseth
|
10f93fbd8a
|
Merge pull request #9428 from ethereum/removeVar
Remove special treatment of ``var``.
|
2020-07-20 18:43:44 +02:00 |
|
Mathias Baumann
|
ba0a4de50d
|
NatSpec: Implement `@inheritdoc`
|
2020-07-20 18:32:18 +02:00 |
|
chriseth
|
93c792c696
|
Remove special treatment of `var`.
|
2020-07-20 17:22:04 +02:00 |
|
Leonardo Alt
|
2c93278719
|
Fix push().push()
|
2020-07-20 17:17:35 +02:00 |
|
chriseth
|
c8772a54c3
|
Constants are considered pure.
|
2020-07-20 15:18:23 +02:00 |
|
chriseth
|
d3647b13e4
|
Disallow public state variables overriding pure functions.
|
2020-07-20 15:18:23 +02:00 |
|
Mathias L. Baumann
|
69a596b0ff
|
Merge pull request #9418 from ethereum/stateMutForOverride
Issue state mutability restriction for overriding and not for virtual functions.
|
2020-07-20 15:01:25 +02:00 |
|
Leonardo Alt
|
2e1067a05a
|
Set type properly for event parameters
|
2020-07-17 11:17:27 +02:00 |
|
chriseth
|
ba21d26f88
|
Merge pull request #9344 from ethereum/issue-3412
Allow overrides to have a more strict mutability than super
|
2020-07-16 18:50:51 +02:00 |
|
Mathias Baumann
|
dfffecfe2c
|
Allow overrides to have a more strict mutability than super
|
2020-07-16 17:55:12 +02:00 |
|
Leonardo Alt
|
672633af0a
|
[SMTChecker] Fix ICE on compound assignment to array index
|
2020-07-16 17:44:10 +02:00 |
|
chriseth
|
aa3f51ab47
|
Issue state mutability restriction for overriding and not for virtual functions.
|
2020-07-16 17:19:35 +02:00 |
|