Alexander Arlt b23a0316a1 Fix some deprecated calls.		2023-01-11 22:18:53 -05:00
..
analysis	Merge pull request #13384 from zemse/develop	2023-01-09 17:59:29 +01:00
ast	Merge pull request #13384 from zemse/develop	2023-01-09 17:59:29 +01:00
codegen	Consistent terminology for attached/bound functions	2022-12-07 19:31:41 +01:00
formal	Consistent terminology for attached/bound functions	2022-12-07 19:31:41 +01:00
interface	Merge pull request #13733 from ethereum/eofSetting	2022-11-23 20:37:24 +01:00
lsp	Fix some deprecated calls.	2023-01-11 22:18:53 -05:00
parsing	feat: allow named parameters in mapping types	2022-12-08 11:56:58 +01:00
CMakeLists.txt	Allow running Eldarica from the command line	2022-11-22 21:16:45 +01:00