Kamil Śliwak
|
f909555022
|
Treat ambiguous imports as errors
|
2021-09-27 13:14:23 +02:00 |
|
Kamil Śliwak
|
9975b5e26b
|
Detect source unit name collisions between paths specified on the command line
|
2021-09-27 13:14:23 +02:00 |
|
Kamil Śliwak
|
c8a7a1da7c
|
Add --include-path option
|
2021-09-27 13:14:23 +02:00 |
|
Kamil Śliwak
|
479ba7c523
|
Handle allowing empty paths correctly
|
2021-09-27 13:14:10 +02:00 |
|
Kamil Śliwak
|
3ac3612767
|
Whitelist base path
|
2021-09-27 13:14:10 +02:00 |
|
Kamil Śliwak
|
52dd39212d
|
Normalize allowed paths before comparing them with imports
|
2021-09-27 13:14:10 +02:00 |
|
Kamil Śliwak
|
a436abfb25
|
normalizeCLIPathForVFS(): Add an option for resolving symlinks
|
2021-09-27 13:14:10 +02:00 |
|
Kamil Śliwak
|
f0dceffe1d
|
Refactor parsing of remappings to remove duplication and improve readability
|
2021-09-27 13:14:10 +02:00 |
|
Kamil Śliwak
|
d06dc7613e
|
Print diagnostic info for more exception types in the default import callback
|
2021-09-27 13:14:10 +02:00 |
|
Alex Beregszaszi
|
3c8846e669
|
Merge pull request #11976 from ethereum/json-cleanup
Some cleanup and testing for JSON
|
2021-09-24 19:03:45 +01:00 |
|
chriseth
|
1531863835
|
Split Common.h into Numeric.h.
|
2021-09-23 15:27:29 +02:00 |
|
chriseth
|
9f8406ad37
|
Add protection against mixing "viaIR" and "non-viaIR".
|
2021-09-22 15:34:39 +02:00 |
|
chriseth
|
2741175507
|
Use function debug data.
|
2021-09-22 11:11:51 +02:00 |
|
Alex Beregszaszi
|
55c64e3ca1
|
Always explicitly initialise Json objects
|
2021-09-21 10:49:13 +01:00 |
|
Kamil Śliwak
|
fc8c4b046c
|
StandardCompiler: Do not discard non-fatal errors that happened before a fatal error
|
2021-09-16 20:29:03 +02:00 |
|
chriseth
|
c892d1904b
|
Simplify version.cpp
|
2021-09-16 16:03:27 +02:00 |
|
chriseth
|
8188ea7d66
|
Merge pull request #11931 from ethereum/different-metadata-via-ir
Different metadata for IR
|
2021-09-14 15:48:08 +02:00 |
|
Leonardo
|
e45083f319
|
Merge pull request #11606 from ethereum/info_message
Add new info severity
|
2021-09-14 14:30:07 +02:00 |
|
Kamil Śliwak
|
405a9e9971
|
Generate separate metadata for the old and the new codegen
|
2021-09-14 13:44:04 +02:00 |
|
Kamil Śliwak
|
14639efc5d
|
Print code snippets next to source locations in IR output
|
2021-09-14 12:09:59 +02:00 |
|
Leo Alt
|
e72fa7fc10
|
Add new info severity
|
2021-09-13 22:48:22 +02:00 |
|
Kamil Śliwak
|
13f46ebb1e
|
FileReader: Normalize base path and strip it from normalized source paths
|
2021-08-27 15:10:46 +02:00 |
|
Kamil Śliwak
|
cb1a0f08ca
|
readFileAsString(): Accept path as boost::filesystem::path instead of string
|
2021-08-17 12:58:33 +02:00 |
|
Leo Alt
|
08c065ee04
|
Add option divModWithSlacks
|
2021-08-06 15:50:25 +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 |
|
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 |
|
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 |
|
chriseth
|
e3525b81d0
|
Supply scanner to model checker.
|
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 |
|
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 |
|
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 |
|
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
|
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 |
|
Mathias Baumann
|
aae9d347aa
|
Split DocStringParsing in two stages
one requiring type info in the next step
|
2021-06-07 14:49:46 +02:00 |
|
Mathias Baumann
|
56ebea8b2f
|
ControlFlowAnalyser: Also consider called functions in a flow
|
2021-06-01 15:54:37 +02:00 |
|
Alex Beregszaszi
|
75c72cd54d
|
Properly support inliner in settings.optimizer.details
|
2021-05-20 20:22:34 +01:00 |
|
chriseth
|
f9c94d7c42
|
Note function entry points.
|
2021-05-04 17:15:13 +02:00 |
|