cerc-io/solidity
11
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
fuzzCombinedSolver
solidity/libsolutil
T
History
chriseth 9d15a8bb66 Typos.
2022-02-23 19:06:35 +01:00
..
Algorithms.h
Add missing header to Algorithms.h.
2021-03-15 13:50:24 +01:00
AnsiColorized.h
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
Assertions.h
Define solThrow() macro to make throwing simple errors less verbose
2021-10-11 20:35:00 +02:00
BooleanLP.cpp
Typos.
2022-02-23 19:06:35 +01:00
BooleanLP.h
Compilation fix.
2022-02-23 18:30:19 +01:00
CDCL.cpp
Enable magic squares 4
2022-02-23 19:04:08 +01:00
CDCL.h
Combined solver.
2022-02-23 12:23:11 +01:00
CMakeLists.txt
Combined solver.
2022-02-23 12:23:11 +01:00
Common.h
Split Common.h into Numeric.h.
2021-09-23 15:27:29 +02:00
CommonData.cpp
Rename escapeAndQuoteYulString() back to escapeAndQuoteString()
2021-07-14 21:29:01 +02:00
CommonData.h
Fix util::valueOrDefault.
2022-01-31 19:33:09 +01:00
CommonIO.cpp
Function to read a number of bytes from an input stream.
2021-12-01 16:24:56 +01:00
CommonIO.h
Function to read a number of bytes from an input stream.
2021-12-01 16:24:56 +01:00
cxx20.h
Control flow graph for Yul.
2021-07-15 15:24:12 +02:00
ErrorCodes.h
Document the panic function of library deployment
2021-05-26 15:51:46 +01:00
Exceptions.cpp
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
Exceptions.h
Merge pull request #11800 from spiyer99/separate-control-flow-from-error-reporting-in-CommandLineParser
2021-12-06 16:50:27 +01:00
FixedHash.h
Split Common.h into Numeric.h.
2021-09-23 15:27:29 +02:00
FunctionSelector.h
Extract function to compute function selector from signature.
2020-10-12 17:57:34 +02:00
IndentedWriter.cpp
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
IndentedWriter.h
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
IpfsHash.cpp
Split Common.h into Numeric.h.
2021-09-23 15:27:29 +02:00
IpfsHash.h
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
JSON.cpp
Make --pretty-json work with Standard JSON output
2021-07-26 16:00:46 +02:00
JSON.h
Document JsonFormat
2021-09-21 10:49:13 +01:00
Keccak256.cpp
Remove unneeded include files
2021-06-07 12:53:18 -04:00
Keccak256.h
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
LazyInit.h
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
LEB128.h
Add LEB128 encoding functions & tests.
2020-09-28 16:06:19 -05:00
LinearExpression.h
Combined solver.
2022-02-23 12:23:11 +01:00
LP.cpp
remove couts
2022-02-23 18:24:10 +01:00
LP.h
Typos.
2022-02-23 19:06:35 +01:00
Numeric.cpp
Split Common.h into Numeric.h.
2021-09-23 15:27:29 +02:00
Numeric.h
Split Common.h into Numeric.h.
2021-09-23 15:27:29 +02:00
picosha2.h
Adding fixes for signedness warnings in libsolutil
2020-06-02 19:01:29 +02:00
Result.h
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
SetOnce.h
Make annotations `SetOnce or optional` where feasible
2020-09-22 17:38:21 +02:00
StringUtils.cpp
Remove unneeded include files
2021-06-07 12:53:18 -04:00
StringUtils.h
Split Common.h into Numeric.h.
2021-09-23 15:27:29 +02:00
SwarmHash.cpp
Fix undefined behaviour on 32-bit platforms in swarm hash.
2021-01-13 15:52:58 +01:00
SwarmHash.h
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
UTF8.cpp
Enable more C++ compiler warnings
2020-12-10 21:03:58 +00:00
UTF8.h
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
vector_ref.h
Remove byte-reinterpret conversion operator from vector_ref
2020-03-15 18:38:59 -04:00
Views.h
Dereference.
2021-01-12 14:28:27 +01:00
Visitor.h
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
Whiskers.cpp
Whiskers: Support conditional value parameters for lists
2021-10-12 17:07:08 +02:00
Whiskers.h
Whiskers: Support conditional value parameters for lists
2021-10-12 17:07:08 +02:00