This website requires JavaScript.
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
cvc5
solidity
/
libsolidity
T
Add File
New File
Upload File
Apply Patch
Copy Permalink
Download directory as ZIP
Download directory as TAR.GZ
History
Martin Blicha
43f7a0f1cb
[SMTChecker]: Update CVC4 to cvc5
2023-06-07 22:39:36 +02:00
..
analysis
Disallow immutable initialization in try catch statements
2023-05-09 14:48:14 +02:00
ast
Allow qualified access to events from other contracts
2023-05-26 12:52:52 +02:00
codegen
Yul AST output on the CLI and in Standard JSON
2023-05-26 12:35:31 +02:00
formal
[SMTChecker]: Update CVC4 to cvc5
2023-06-07 22:39:36 +02:00
interface
YulStack: When Yul optimization is not requested, run Yul optimizer with a minimal sequence instead of disabling it
2023-06-07 12:13:38 +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
