Christian Parpart 32ba5f5ae7 libsolidity: Extend the AST for named AST nodes in order to get precise locations for names. ... The actual SourceLocation on an ASTNode is representing the whole ASTNode whereas in an LSP (for example) you are also interested in the SourceLocation of a name of a construct (e.g. variable decarlation, function definition, ...). This also properly encodes non-existend sources as `-1` in the JSON output (eliminating the use of `numeric_limits<size_t>::max()`).		2021-02-10 18:13:09 +01:00
..
analysis	OverrideSpecifier: Check for null before dereferencing	2021-02-04 13:17:28 +01:00
ast	libsolidity: Extend the AST for named AST nodes in order to get precise locations for names.	2021-02-10 18:13:09 +01:00
codegen	Replace "runtime" by "deployed" naming.	2021-02-10 00:56:16 +01:00
formal	Merge pull request #10836 from ethereum/smt_fix_cex_inheritance	2021-02-03 18:49:25 +01:00
interface	Replace "runtime" by "deployed" naming.	2021-02-10 00:56:16 +01:00
parsing	libsolidity: Extend the AST for named AST nodes in order to get precise locations for names.	2021-02-10 18:13:09 +01:00
CMakeLists.txt	Add CLI and JSON option to select SMTChecker targets	2021-01-20 17:35:37 +01:00