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
ba722b66cb3d3cf52d2dc3d1098643b5b10b65d4
solidity/test
T
History
Leo 4a8d6618f5 Merge pull request #13974 from blishko/chc-path-condition 
[SMTChecker] Use path condition in CHC engine
2023-04-24 16:24:53 +02:00
..
benchmarks
Add snark verifier benchmark test
2023-01-12 11:59:33 +01:00
cmdlineTests
[SMTChecker] Use path condition when creating CHC targets
2023-04-21 18:56:34 +02:00
compilationTests
attempt rebase, fix free function, fix check errors
2022-04-04 22:49:12 +08:00
contracts
Improve FunctionSelector helpers
2022-09-27 17:58:32 +02:00
evmc
Upgrade to evmc 10.1.0
2023-04-23 15:51:06 +02:00
externalTests
Merge pull request #14098 from ethereum/workaround-oz-ext-test-2
2023-04-06 15:53:33 +02:00
formal
added optimization. shl comes out from being distributed over and
2022-11-11 01:16:14 +05:30
libevmasm
test: some tests for push0
2023-04-12 00:10:24 +02:00
liblangutil
Add std:: qualifier to move() calls
2022-08-30 11:12:15 +02:00
libsolidity
Merge pull request #13974 from blishko/chc-path-condition
2023-04-24 16:24:53 +02:00
libsolutil
Allow running Eldarica from the command line
2022-11-22 21:16:45 +01:00
libyul
test: some tests for push0
2023-04-12 00:10:24 +02:00
scripts
Fix pylint warning
2022-08-29 11:50:29 +02:00
solc
group unsupported warnings
2023-03-15 17:06:06 +01:00
tools
Update ubuntu ossfuzz references
2023-04-19 00:18:11 +02: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
Add std:: qualifier to move() calls
2022-08-30 11:12:15 +02:00
CommonSyntaxTest.h
[isoltest] Add support for external sources.
2021-04-26 08:27:30 -05:00
docsCodeStyle.sh
Use consistent syntax for Bash function declarations
2021-11-08 16:34:07 +01:00
EVMHost.cpp
Fix calldata handling during creation in EVMHost.
2023-04-18 12:53:50 +02:00
EVMHost.h
EVMHost: Add "support" for Blake2f
2023-04-15 13:17:02 +02: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
External test for Gnosis Protocol v2
2022-06-08 20:23:39 +02:00
FilesystemUtils.cpp
Fix compilation error.
2022-06-15 11:14:50 +02:00
FilesystemUtils.h
Ensure that native path separators are always used in symlink targets on Windows
2021-09-27 13:14:10 +02:00
InteractiveTests.h
Tests.
2022-03-02 16:42:28 +01:00
localeTest.sh
A script and CI job for testing the compiler with different locales
2022-03-14 09:08:01 +01:00
lsp.py
Keep test/lsp.py working when not on a tty
2023-03-19 16:09:42 -04:00
Metadata.cpp
Add std:: qualifier to move() calls
2022-08-30 11:12:15 +02:00
Metadata.h
Add a version of isValidMetadata() that accepts already parsed metadata
2021-09-14 13:44:04 +02:00
pyscriptTests.py
Add a script for running the Python test suites and include it in scripts/tests.sh
2021-01-22 13:37:40 +01:00
soltest.cpp
Add experimental EOF options for CLI and Standard JSON.
2022-11-23 19:53:44 +01:00
stopAfterParseTests.sh
Use consistent syntax for Bash function declarations
2021-11-08 16:34:07 +01:00
TestCase.cpp
Replace all locale-dependent operations with locale-agnostic counterparts
2022-03-07 17:23:08 +01:00
TestCase.h
Add experimental EOF options for CLI and Standard JSON.
2022-11-23 19:53:44 +01:00
TestCaseReader.cpp
Add std:: qualifier to move() calls
2022-08-30 11:12:15 +02:00
TestCaseReader.h
TestCaseReader: Add enumSetting()
2021-04-27 14:06:56 +02:00