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
smtComp
solidity/libsolutil
T
History
Mate Soos 5b37426cad Fixing bug
2022-07-01 23:55:19 +02: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
Remove error output.
2022-07-01 14:11:30 +02:00
BooleanLP.h
Avoid copying let bindings.
2022-06-27 15:25:30 +02:00
CDCL.cpp
Fixing bug
2022-07-01 23:55:19 +02:00
CDCL.h
Better function name
2022-07-01 23:13:29 +02:00
CMakeLists.txt
Combined solver.
2022-03-20 22:33:47 +01:00
Common.h
Split Common.h into Numeric.h.
2021-09-23 15:27:29 +02:00
CommonData.cpp
Replace all locale-dependent operations with locale-agnostic counterparts
2022-03-07 17:23:08 +01: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
heap.h
Adding VSIDS variable picking, restarts, and polarity caching
2022-03-21 17:46:40 +01: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
Specify namespaces
2022-03-08 00:09:17 -05: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
Use enumerate.
2022-03-21 19:36:11 +01:00
LP.cpp
Improved iteration.
2022-06-30 21:19:36 +02:00
LP.h
Variable names only for debug.
2022-06-29 11:19:10 +02: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
Some tweaks.
2022-06-23 16:03:36 +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