Leo Alt
|
ac528cfd1b
|
add static array length constraint
|
2021-08-30 17:15:16 +02:00 |
|
Leo Alt
|
16bc15acac
|
Fix false negative on storage array references returned by internal functions
|
2021-08-28 09:30:53 +02:00 |
|
Leo Alt
|
60b866f9d8
|
Fix ICE on multi-source use of abi.*
|
2021-08-27 18:55:36 +02:00 |
|
Leo Alt
|
8e81df1bd3
|
Do not show redundant unsupported errors in SMTChecker
|
2021-08-27 16:25:09 +02:00 |
|
Kamil Śliwak
|
13f46ebb1e
|
FileReader: Normalize base path and strip it from normalized source paths
|
2021-08-27 15:10:46 +02:00 |
|
Leonardo
|
6e6bbb2f83
|
Merge pull request #11837 from soroosh-sdi/use-range-v3-part2
Using range-v3 instead of boost
|
2021-08-26 09:38:27 +02:00 |
|
Leo Alt
|
61160aa0e7
|
Add constraints correlating address(this).balance and msg.value
|
2021-08-25 21:10:08 +02:00 |
|
Leo Alt
|
718f392849
|
Don't erase things for BMC if function call is staticcall
|
2021-08-25 14:09:46 +02:00 |
|
Leo Alt
|
a55685c04f
|
Erase balances when delegatecall is seen
|
2021-08-25 12:39:26 +02:00 |
|
soroosh-sdi
|
b0ce98bcb2
|
Using range-v3 instead of boost
Signed-off-by: soroosh-sdi <soroosh.sardari@gmail.com>
|
2021-08-24 23:50:23 +04:30 |
|
soroosh-sdi
|
0417ee2a21
|
Replace boost::adaptors with range-v3
Signed-off-by: soroosh-sdi <soroosh.sardari@gmail.com>
|
2021-08-24 13:07:26 +04:30 |
|
Kamil Śliwak
|
6b7857d56b
|
Merge pull request #11650 from ethereum/boost-path-in-read-file-as-string
Use `boost::filesystem::path` in `readFileAsString()`
|
2021-08-20 19:45:54 +02:00 |
|
Leo Alt
|
d89d63bf9c
|
Use the nondeterministic interface also for BARECALL
|
2021-08-19 16:34:01 +02:00 |
|
Marenz
|
121fd40f74
|
Allow reading of immutables during construction time
|
2021-08-19 13:59:05 +02:00 |
|
Kamil Śliwak
|
cb1a0f08ca
|
readFileAsString(): Accept path as boost::filesystem::path instead of string
|
2021-08-17 12:58:33 +02:00 |
|
chriseth
|
94c4e1e172
|
Simplify yul conversion function even more.
|
2021-08-16 22:24:06 +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
|
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
|
95091f6b58
|
Implemented block.basefee in Solidilty and basefee() in Yul.
Also added basefee to Yul grammar.
|
2021-08-09 16:18:08 +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 |
|
Leo Alt
|
08c065ee04
|
Add option divModWithSlacks
|
2021-08-06 15:50:25 +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 |
|
chriseth
|
467cbf92bc
|
Only provide code generator to CodeTransform.
|
2021-08-04 18:38:10 +02:00 |
|
Leo Alt
|
3c1f555f71
|
Tests
|
2021-08-04 13:54:50 +02:00 |
|
Leo Alt
|
41087f3195
|
Add CLI and JSON option to show unproved targets
|
2021-08-04 13:54:50 +02:00 |
|
Leo Alt
|
685d7a8c99
|
Bundle all unproved targets in a single message and only show all if setting chooses that
|
2021-08-04 13:54:50 +02:00 |
|
chriseth
|
ae519c1278
|
Merge pull request #11658 from ethereum/removeScannerFromCompilerStack
Remove scanner from compiler stack
|
2021-08-03 17:47:39 +02:00 |
|
Christian Parpart
|
d203c80abd
|
Eliminate unnecessary m_source from Parser
|
2021-08-03 16:03:45 +02:00 |
|
Christian Parpart
|
6294aa871a
|
Simplify AsmParser::parse(.) usage
|
2021-08-03 15:43:17 +02:00 |
|
chriseth
|
ffc5cfd9a5
|
Remove scanner from compiler stack.
|
2021-08-03 15:43:17 +02:00 |
|
Mathias Baumann
|
2ee6c7be64
|
Print @src and @use-src locations in AsmPrinter
|
2021-08-03 15:29:52 +02:00 |
|
Leo Alt
|
6c8ecfa82c
|
Add option to choose solver
|
2021-07-27 17:14:21 +02:00 |
|
Ladislav Sladecek
|
9bbeea58c8
|
Make --pretty-json work with Standard JSON output
|
2021-07-26 16:00:46 +02:00 |
|
Kamil Śliwak
|
6d6c9e6e4f
|
Merge pull request #11660 from ethereum/docs-fix-badly-indented-lists-and-blocks
[Docs] Fix badly indented lists and blocks
|
2021-07-21 18:35:19 +02:00 |
|
Mathias Baumann
|
bf204403d8
|
Add "@use-src" header for generated yul code
|
2021-07-15 14:26:01 +02:00 |
|
Marenz
|
57db4c82ba
|
Fix: Use correct byte offset separation
":" instead of ","
|
2021-07-15 13:15:21 +02:00 |
|
Kamil Śliwak
|
ce79e2515b
|
docs: Fix badly indented lists
|
2021-07-15 10:13:30 +02:00 |
|
Kamil Śliwak
|
6753c8f624
|
Rename escapeAndQuoteYulString() back to escapeAndQuoteString()
|
2021-07-14 21:29:01 +02:00 |
|
chriseth
|
e3525b81d0
|
Supply scanner to model checker.
|
2021-07-14 15:12:10 +02:00 |
|
chriseth
|
01dc77e5a2
|
Properly assign source names for AST import.
|
2021-07-14 15:12:10 +02:00 |
|
chriseth
|
f75b55071e
|
Remove CharStream from SourceLocation.
|
2021-07-14 15:12:07 +02:00 |
|
Christian Parpart
|
132fa46faa
|
Yul: Adds parsing @src comment in AsmParser to customize the AST's sourcer locations.
|
2021-07-09 11:48:00 +02:00 |
|
Daniel Kirchner
|
0a6fc89da2
|
Fix negation function name collision.
|
2021-07-08 10:47:29 +02:00 |
|
chriseth
|
566537835b
|
Merge pull request #11627 from ethereum/allowEmptyFileName
Include locations with empty source name.
|
2021-07-07 12:52:49 +02:00 |
|
chriseth
|
6ba298c82b
|
Include locations with empty source name.
|
2021-07-07 12:13:52 +02:00 |
|
Kamil Śliwak
|
7d16c7b127
|
Equality operators for ModelCheckerSettings and ImportRemapper
|
2021-07-06 17:17:18 +02:00 |
|
chriseth
|
09578e7e22
|
Merge pull request #11550 from ethereum/runs-constant
Constant for default --runs
|
2021-07-06 10:44:07 +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
|
eaac16c779
|
Merge pull request #11590 from ethereum/disallow-non-hex-zero-and-fix-bytes32-literals-in-bytes-concat
Disallow non-hex zero literals and fix 32-byte hex literals in `bytes.concat()`
|
2021-06-29 16:34:26 +02:00 |
|
Kamil Śliwak
|
6a50d088a0
|
Fix ICE for 32-byte hex literals and zero literals in bytes.concat() by disallowing them
|
2021-06-29 14:48:42 +02:00 |
|
Kamil Śliwak
|
fa3696878b
|
Fix crash when passing empty strings to bytes.concat()
|
2021-06-29 13:52:01 +02:00 |
|
Kamil Śliwak
|
1d1d74bd0e
|
RationalNumberType: Fix wrong docstring about m_compatibleBytesType being used for explicit conversions
|
2021-06-29 13:27:21 +02:00 |
|
Kamil Śliwak
|
19fada966f
|
Do not use \b, \v and \f escapes in string literals in generated Yul code
|
2021-06-28 14:13:47 +02:00 |
|
Kamil Śliwak
|
6ad6fa2382
|
Do not hard-code the default 'runs' value as 200 in code that fills out optimizer settings
|
2021-06-28 14:12:28 +02:00 |
|
Kamil Śliwak
|
6d8ef71277
|
Consistently use size_t everywhere for runs/expectedExecutionsPerDeployment
|
2021-06-28 14:09:28 +02:00 |
|
Kamil Śliwak
|
ca0b1bf3f3
|
Fix crash when passing zero to bytes.concat()
|
2021-06-25 21:26:28 +02:00 |
|
Alexander Arlt
|
8accf420ea
|
[yul] Functions: Remove dependency on AST ID.
|
2021-06-23 16:15:25 +02:00 |
|
Christian Parpart
|
f561c1e90b
|
[langutil] ParserBase: make advance() overridable and make sure it's used.
|
2021-06-23 12:53:25 +02:00 |
|
chriseth
|
c5923f7fcf
|
Prevent calls to unimplemented modifiers.
|
2021-06-22 17:08:28 +02:00 |
|
Kamil Śliwak
|
98e83303b1
|
Remove assertions preventing calldata->calldata conversion when cleanup is needed
|
2021-06-22 16:10:16 +02:00 |
|
Djordje Mijovic
|
838f59fa5b
|
Adding origin location notation to yul ir.
|
2021-06-21 18:48:20 +02:00 |
|
chriseth
|
0df8a38e55
|
Support metadata via IR.
|
2021-06-21 18:20:31 +02:00 |
|
Alex Beregszaszi
|
0e8e4eacd5
|
Pass on assembly instance from AssemblyStack to CompilerStack
This allows for generation of various output artifacts supported by the old codegen
|
2021-06-17 15:35:59 +02:00 |
|
Alex Beregszaszi
|
79794081eb
|
Extract assemble() from compileContract() in CompilerStack
|
2021-06-17 15:28:22 +02:00 |
|
Kamil Śliwak
|
59957b18dc
|
Make missing settings.optimizer.enabled key in Standard JSON equivalent to setting it to false
|
2021-06-15 16:06:22 +02:00 |
|
chriseth
|
b0a020ba97
|
Merge pull request #11530 from ethereum/IRgen-refactors
IR Codegen: Small refactoring & comment fixes
|
2021-06-14 14:33:39 +02:00 |
|
chriseth
|
9a681cf9fe
|
Merge pull request #11527 from ethereum/restartSerach
Directly restart processing calling functions.
|
2021-06-14 13:54:27 +02:00 |
|
chriseth
|
5b4a2f66e1
|
Directly restart processing calling functions.
|
2021-06-14 13:54:05 +02:00 |
|
Mathias Baumann
|
d7d64c3db5
|
IR Codegen: Small refactoring & comment fixes
|
2021-06-14 13:35:53 +02:00 |
|
chriseth
|
cf00faca33
|
Properly use AST node name also for secondary location.
|
2021-06-10 14:40:10 +02:00 |
|
chriseth
|
e5500b9f20
|
Merge pull request #11471 from ethereum/funcdef-unimplemented-modifier
Reports an error on unimplemented modifiers in a function definition.
|
2021-06-09 13:54:05 +02:00 |
|
Christian Parpart
|
a14ac1923d
|
Fixes ICE when overriding an implemented modifier with an unimplemented one.
|
2021-06-09 13:15:20 +02:00 |
|
a3d4
|
f59145f21f
|
Fix shadowing struct types by struct member names
|
2021-06-09 12:37:11 +02:00 |
|
a3d4
|
70b8b1c834
|
Do not warn about shadowing parameters in functions without implementation
|
2021-06-09 12:35:26 +02:00 |
|
Mathias Baumann
|
001a25db95
|
Fix crash in ControlFlowGraph related to free functions.
|
2021-06-09 11:10:33 +02:00 |
|
chriseth
|
3eaa37030a
|
Fix infinite recursion in function call graph generator due to recursive constant references.
|
2021-06-08 16:39:30 +02:00 |
|
chriseth
|
7d8a4e63d8
|
Merge pull request #11491 from TerranCivilian/fix-10269
Remove unneeded include files
|
2021-06-07 20:15:20 +02:00 |
|
TerranCivilian
|
c15501eea9
|
Remove unneeded include files
|
2021-06-07 12:53:18 -04:00 |
|
chriseth
|
e3e6729f22
|
Merge pull request #11481 from ethereum/unify-resolve
Unify function call resolve function used in Analysis & Yul CodeGen
|
2021-06-07 16:54:13 +02:00 |
|
Mathias Baumann
|
6a0313c456
|
Unify function call resolve function used in Analysis & Yul CodeGen
|
2021-06-07 15:23:32 +02:00 |
|
Mathias Baumann
|
354f9d1015
|
Fix: Allow multiple @return tags on public state variables
|
2021-06-07 15:16:46 +02:00 |
|
Mathias Baumann
|
aae9d347aa
|
Split DocStringParsing in two stages
one requiring type info in the next step
|
2021-06-07 14:49:46 +02:00 |
|
chriseth
|
1f8f1a3db9
|
Merge pull request #11484 from ethereum/fix-unreachable-code-anaysis
Fix revert pruner modifying function flows wrong
|
2021-06-04 12:44:35 +02:00 |
|
Mathias Baumann
|
d8ffdf11c8
|
Fix revert pruner modifying function flows wrong
|
2021-06-03 17:37:50 +02:00 |
|
chriseth
|
a8ffa6c08d
|
Merge pull request #11482 from ethereum/fixUnreachable2
Fix control-flow handling of modifiers without body.
|
2021-06-03 16:56:05 +02:00 |
|
chriseth
|
2e3ee4c156
|
Fix control-flow handling of modifiers without body.
|
2021-06-03 13:31:15 +02:00 |
|
hrkrshnn
|
c3eef8af91
|
Fix ICE related to receive function having parameters.
|
2021-06-03 13:08:57 +02:00 |
|
Daniel Kirchner
|
9be57546db
|
Merge pull request #11470 from ethereum/cacheVirtualLookup
Cache functions by name.
|
2021-06-03 11:51:08 +02:00 |
|
chriseth
|
a30cf6c3e8
|
Merge pull request #11480 from ethereum/event-mapping-fatal-error
Errors about nested mapping in event parameter are fatal.
|
2021-06-03 11:39:26 +02:00 |
|
chriseth
|
0d948ebf81
|
Cache functions by name.
|
2021-06-03 11:10:35 +02:00 |
|
hrkrshnn
|
cc915f023e
|
Errors about nested mapping in event parameter are fatal.
(Also applies for error parameters.)
|
2021-06-03 11:02:27 +02:00 |
|
chriseth
|
c55d173a28
|
Merge pull request #11479 from ethereum/fix-ice-when-assigning-implicitly-convertible-function-array-to-storage
Fix ICE when assigning implicitly convertible function array to storage
|
2021-06-03 10:52:21 +02:00 |
|
chriseth
|
b00027724a
|
Merge pull request #11478 from ethereum/fix-ice-when-calling-invalid-external-function-type
Treat invalid external function type as a fatal error
|
2021-06-03 09:00:38 +02:00 |
|