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
6baf5db860c49340126566f784878be10a51a9cd
solidity
/
libsolidity
T
History
Daniel Kirchner
db4dd51739
Merge pull request
#10055
from ethereum/userDefinedLibraryTypes
...
Disallow invalid use of library names as type names.
2020-10-16 18:55:42 +02:00
..
analysis
Disallow invalid use of library names as type names.
2020-10-16 18:25:08 +02:00
ast
Make sure lValueOfOrdinaryAssignment does not have an undefined value.
2020-10-14 21:00:18 +02:00
codegen
[Sol->Yul] Changing yul unimplemented test as delete bytes is implemented now.
2020-10-15 22:05:40 +02:00
formal
Merge pull request
#10025
from ethereum/smt_crypto_functions
2020-10-16 16:40:29 +01:00
interface
Add CLI option to choose model checker engine
2020-10-16 15:01:47 +01:00
parsing
Constants at file-level.
2020-10-08 18:56:17 +02:00
CMakeLists.txt
Support array slices
2020-10-01 11:52:02 +02:00
