Mathias L. Baumann b2ac0dada4 Merge pull request #13210 from timweri/display_human_readable_type_name_in_conversion ...

Display human readable type name in error messages

2022-07-06 17:31:53 +02:00

..

analysis

Display human readable type name in conversion error message

2022-07-06 10:49:51 -04:00

ast

Rename _short in toString to _withoutDataLocation

2022-07-06 10:49:58 -04:00

codegen

Checks for overflow/underflow after add/sub operations.

2022-06-23 14:41:12 -03:00

formal

Check early if solvers are available.

2022-05-11 20:02:31 +02:00

interface

Added a flag to record when a source is reconstructed from JSON so garbage code snippets are not printed after source location.

2022-07-05 11:41:24 -03:00

lsp

LSP: Implement semantic tokens

2022-05-18 14:54:16 +02:00

parsing

Merge pull request #13185 from ethereum/functionCall_locations

2022-07-04 16:40:45 +02:00

CMakeLists.txt

Rename ASTJsonConverter to ASTJsonExporter

2022-06-16 18:05:51 +02:00