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
9bf88d5459a2630583e45fb53ad4b80ebf9b859d
solidity/test
T
History
Leonardo 726c5ff68c Merge pull request #10777 from blishko/smt-fix-checked 
[SMTChecker] Fix BMC crash related to `unchecked` blocks
2021-01-15 16:46:32 +01:00
..
cmdlineTests
Round up allocations to multiples of 32.
2021-01-14 21:52:17 +00:00
compilationTests
Disallow certain implicit conversions between integer types.
2021-01-12 08:23:47 +01:00
contracts
Tests/Docs: changing type of msg.sender and tx.origin into address
2020-12-14 16:55:48 +01:00
evmc
Enable more C++ compiler warnings
2020-12-10 21:03:58 +00:00
externalTests
Tests after making all explicit address conversions as non-payable
2020-12-14 18:46:01 +01:00
formal
Optimize iszero(sub(x, y)) to eq(x, y).
2020-12-22 15:11:48 +01:00
libevmasm
Merge remote-tracking branch 'origin/develop' into breaking
2020-12-08 21:00:09 +01:00
liblangutil
Remove the \b, \f, \v escape sequences from the Scanner
2020-12-07 21:10:03 +00:00
libsolidity
Merge pull request #10777 from blishko/smt-fix-checked
2021-01-15 16:46:32 +01:00
libsolutil
Add comprehensive tests for FixedHash
2020-12-11 12:20:37 +00:00
libyul
Simplify test and add Changelog entry.
2021-01-06 11:33:08 +01:00
scripts
Create unit tests for prepare_report.py
2021-01-11 17:06:59 +01:00
tools
ossfuzz: Add option to force SMT pragma and set it in solc fuzzers
2020-12-21 11:55:58 +01:00
yulPhaser
Enable the -Wconversion warning
2020-12-08 16:45:24 +00:00
.solhint.json
…
.solhintignore
…
boostTest.cpp
Enable more C++ compiler warnings
2020-12-10 21:03:58 +00:00
buglist_test_vectors.md
…
buglistTests.js
…
CMakeLists.txt
Add comprehensive tests for FixedHash
2020-12-11 12:20:37 +00:00
cmdlineTests.sh
cmdlineTests.sh: Fix the script failing to detect that --ast option does not exist
2020-12-12 06:30:57 +01:00
Common.cpp
Merge remote-tracking branch 'origin/develop' into breaking
2020-12-14 11:33:40 +01:00
Common.h
Force running abi coder v1 instead of v2.
2020-12-09 15:25:15 +01:00
CommonSyntaxTest.cpp
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
CommonSyntaxTest.h
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
docsCodeStyle.sh
…
EVMHost.cpp
Enable the -Wconversion warning
2020-12-08 16:45:24 +00:00
EVMHost.h
EVMHost: keep precompile balance/settings across resets
2020-09-24 18:51:39 +01:00
ExecutionFramework.cpp
Merge remote-tracking branch 'origin/develop' into breaking
2020-12-07 17:13:48 +01:00
ExecutionFramework.h
Merge remote-tracking branch 'origin/develop' into breaking
2020-12-07 17:13:48 +01:00
externalTests.sh
Add jobs and scripts running external tests for Gnosis v2
2020-12-07 14:09:18 +01:00
InteractiveTests.h
Extract boost smt and remove unused tests
2020-09-23 17:55:55 +02:00
Metadata.cpp
Enable the -Wconversion warning
2020-12-08 16:45:24 +00:00
Metadata.h
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
stopAfterParseTests.sh
Fix test/stopAfterParseTests.sh for macos.
2020-10-28 17:59:56 -05:00
TestCase.cpp
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
TestCase.h
Add support for ewasm evmc vm.
2020-09-08 12:41:42 -05:00
TestCaseReader.cpp
Add corpus based multi source fuzzer
2020-07-21 13:43:29 +02:00
TestCaseReader.h
Add corpus based multi source fuzzer
2020-07-21 13:43:29 +02:00