Logo
Explore Help
Sign In
cerc-io/solidity
Watch 11
Star 0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
f121e7e9dd34a65474d6f92fc9ce23d6fd0396d3
solidity/libsolidity
T
History
Pawel Gebal 6574c10f25 SMTChecker: Visit the condition in for and while loops after loop is unrolled
2023-08-03 13:36:41 +02:00
..
analysis
Relax restrictions on immutable initialization
2023-07-14 15:29:32 +02:00
ast
Merge pull request #14347 from ethereum/fixTypeCheckingAbiDecode
2023-07-18 18:14:45 +02:00
codegen
Always generate code for .selector member access.
2023-07-18 18:15:32 +02:00
formal
SMTChecker: Visit the condition in for and while loops after loop is unrolled
2023-08-03 13:36:41 +02:00
interface
Fix yul ast ID to 0 instead of 1.
2023-07-28 17:48:35 +02:00
lsp
Fixes compilation errors with some clangs
2023-02-03 21:37:50 -05:00
parsing
Experimental standard library
2023-06-06 17:16:23 +02:00
CMakeLists.txt
User-defined operators: AST
2023-02-22 00:06:17 +01:00
Powered by Gitea Version: 1.27.3 Page: 53ms Template: 3ms
Auto
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API