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
stdlib
solidity
/
libsolidity
T
Add File
New File
Upload File
Apply Patch
Copy Permalink
Download directory as ZIP
Download directory as TAR.GZ
History
Nikola Matic
2a07761fc6
Check for import without pragma and add cmdline test
2023-02-02 11:17:15 +01:00
..
analysis
Check for import without pragma and add cmdline test
2023-02-02 11:17:15 +01:00
ast
Check for import without pragma and add cmdline test
2023-02-02 11:17:15 +01:00
codegen
Adds support for the EVM version "Paris".
2023-01-23 18:50:36 +00:00
formal
Add paris constraints to SMTChecker
2023-01-31 11:03:04 +01:00
interface
Check for import without pragma and add cmdline test
2023-02-02 11:17:15 +01:00
lsp
Allow support for older boost and adjust docs
2023-01-18 10:51:14 +01:00
parsing
Check for import without pragma and add cmdline test
2023-02-02 11:17:15 +01:00
CMakeLists.txt
Allow running Eldarica from the command line
2022-11-22 21:16:45 +01:00
