Daniel Kirchner 4c84b77a4b Review suggested renaming.		2022-06-16 15:05:21 +02:00
..
analysis	Propagate purity information for member access to foreign pure variables	2022-06-16 17:11:55 +05:30
ast	Warn about multiple assignments to storage byte pushes and fix warnings about multiple storage to storage copies.	2022-06-15 13:53:05 +02:00
codegen	Review suggested renaming.	2022-06-16 15:05:21 +02:00
formal	Check early if solvers are available.	2022-05-11 20:02:31 +02:00
interface	Renamed AssemblyStack to YulStack	2022-04-08 20:28:55 +02:00
lsp	LSP: Implement semantic tokens	2022-05-18 14:54:16 +02:00
parsing	Apply a better way to annotate unreachability to the C++ compiler.	2022-06-07 16:41:04 +02:00
CMakeLists.txt	LSP: Implement semantic tokens	2022-05-18 14:54:16 +02:00