| .. |
|
benchmarks
|
Add snark verifier benchmark test
|
2023-01-12 11:59:33 +01:00 |
|
cmdlineTests
|
[SMTChecker] Add a new trusted mode which assumes that code that is
|
2023-02-06 17:02:33 +01:00 |
|
compilationTests
|
|
|
|
contracts
|
Improve FunctionSelector helpers
|
2022-09-27 17:58:32 +02:00 |
|
evmc
|
Upgrade to evmc 10.0.0
|
2022-11-09 11:45:40 +01:00 |
|
externalTests
|
Cleanup of duplicated line leftover from previous fix
|
2023-02-06 18:10:31 -03:00 |
|
formal
|
added optimization. shl comes out from being distributed over and
|
2022-11-11 01:16:14 +05:30 |
|
libevmasm
|
Adds support for the EVM version "Paris".
|
2023-01-23 18:50:36 +00:00 |
|
liblangutil
|
|
|
|
libsolidity
|
Merge pull request #13939 from pgebal/fix_handling_bitwise_operators_when_parsing_z3_call_result
|
2023-02-09 12:16:28 +01:00 |
|
libsolutil
|
Allow running Eldarica from the command line
|
2022-11-22 21:16:45 +01:00 |
|
libyul
|
Update existing and add new test cases.
|
2023-02-02 11:40:39 +01:00 |
|
scripts
|
|
|
|
solc
|
[SMTChecker] Add a new trusted mode which assumes that code that is
|
2023-02-06 17:02:33 +01:00 |
|
tools
|
Merge pull request #12958 from ethereum/yul-fuzzer-bound-memory-accesses
|
2023-02-07 15:47:20 +01:00 |
|
yulPhaser
|
Allow running Eldarica from the command line
|
2022-11-22 21:16:45 +01:00 |
|
.solhint.json
|
|
|
|
.solhintignore
|
|
|
|
buglist_test_vectors.md
|
|
|
|
buglistTests.js
|
|
|
|
CMakeLists.txt
|
Allow running Eldarica from the command line
|
2022-11-22 21:16:45 +01:00 |
|
cmdlineTests.sh
|
Report when no contracts to compile
|
2022-12-19 13:47:03 +01:00 |
|
Common.cpp
|
Add experimental EOF options for CLI and Standard JSON.
|
2022-11-23 19:53:44 +01:00 |
|
Common.h
|
Add experimental EOF options for CLI and Standard JSON.
|
2022-11-23 19:53:44 +01:00 |
|
CommonSyntaxTest.cpp
|
|
|
|
CommonSyntaxTest.h
|
|
|
|
docsCodeStyle.sh
|
|
|
|
EVMHost.cpp
|
Add basic support for the EVM version Paris
|
2022-11-21 14:56:46 +01:00 |
|
EVMHost.h
|
Update EVMHost to match EVMC10 changes
|
2022-11-09 21:27:40 +01:00 |
|
ExecutionFramework.cpp
|
test: Support tracking gas refunds
|
2022-11-10 22:00:38 +01:00 |
|
ExecutionFramework.h
|
Update EVMHost to match EVMC10 changes
|
2022-11-09 21:27:40 +01:00 |
|
externalTests.sh
|
|
|
|
FilesystemUtils.cpp
|
|
|
|
FilesystemUtils.h
|
|
|
|
InteractiveTests.h
|
|
|
|
localeTest.sh
|
|
|
|
lsp.py
|
Fix pylint 2.16 warnings
|
2023-02-01 10:39:00 -03:00 |
|
Metadata.cpp
|
|
|
|
Metadata.h
|
|
|
|
pyscriptTests.py
|
|
|
|
soltest.cpp
|
Add experimental EOF options for CLI and Standard JSON.
|
2022-11-23 19:53:44 +01:00 |
|
stopAfterParseTests.sh
|
|
|
|
TestCase.cpp
|
|
|
|
TestCase.h
|
Add experimental EOF options for CLI and Standard JSON.
|
2022-11-23 19:53:44 +01:00 |
|
TestCaseReader.cpp
|
|
|
|
TestCaseReader.h
|
|
|
