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
b4a0a793989abfc671e949b532ed6cc66612ec37
solidity/test
T
History
chriseth b4a0a79398 Merge pull request #6993 from ethereum/smt_false_positives 
[SMTChecker] Remove overflow check for assignments
2019-06-26 13:06:31 +02:00
..
cmdlineTests
yul: adds reindent() function to reindent yul source code and makes use of it in IRGenerator.
2019-06-24 12:53:50 +02:00
compilationTests
Fix new found spelling mistakes and add exceptions
2019-05-21 10:59:34 +02:00
contracts
Adjust semantics tests.
2019-04-03 17:59:04 +02:00
externalTests
Refactor & Speedups on CircleCI; split out out codecov into dedicated tests.
2019-06-21 20:26:10 +02:00
formal
Proofs for the overflow and underflow conditions in checked arithmetic for Sol->Yul code generation.
2019-06-20 15:58:10 +02:00
libdevcore
Restrict whiskers parameters to regular characters.
2019-06-19 18:46:16 +02:00
libevmasm
Optimize obsolete ANDs in combination with certain SHIFTs
2019-03-29 10:08:05 +01:00
liblangutil
Add Steve Johnson-style parser recovery rules:
2019-06-17 14:47:07 +02:00
liblll
Remove "using namespace".
2019-03-28 14:32:48 +01:00
libsolidity
Merge pull request #6993 from ethereum/smt_false_positives
2019-06-26 13:06:31 +02:00
libyul
Also optimize memory.
2019-06-20 18:43:37 +02:00
tools
Use "what" in exception reports.
2019-06-18 17:34:10 +02:00
boostTest.cpp
Allow test cases to indicate fatal errors.
2019-05-07 18:12:21 +02:00
buglist_test_vectors.md
Update bug description, add regex and tests.
2018-09-10 12:58:40 +02:00
buglistTests.js
Buglist check script supports json paths
2018-09-06 18:42:21 +02:00
CMakeLists.txt
Fixes compilation on Visual Studio 2019 (SolidityEndToEndTest.cpp's object file is too large, so we need a special flag to get it still compiling)
2019-06-12 23:46:32 +02:00
cmdlineTests.sh
Refactor & Speedups on CircleCI; split out out codecov into dedicated tests.
2019-06-21 20:26:10 +02:00
Common.cpp
Support EVM Version rules for extracted tests.
2019-03-15 17:23:20 +01:00
Common.h
Run tests with both ABIV2 and Yul optimizer.
2019-04-04 13:18:30 +02:00
ExecutionFramework.cpp
TestFramework: Remove polling and use eth_flush instead
2019-05-07 14:45:59 +02:00
ExecutionFramework.h
TestFramework: Remove polling and use eth_flush instead
2019-05-07 14:45:59 +02:00
externalTests.sh
Refactor & Speedups on CircleCI; split out out codecov into dedicated tests.
2019-06-21 20:26:10 +02:00
InteractiveTests.h
Add missing space in error recovery message.
2019-06-24 06:28:18 -04:00
Metadata.cpp
Store compiler version in CBOR metadata
2019-05-08 22:21:50 +02:00
Metadata.h
Add tiny CBOR parser
2019-03-11 13:01:37 +01:00
Options.cpp
Run tests with both ABIV2 and Yul optimizer.
2019-04-04 13:18:30 +02:00
Options.h
Support EVM Version rules for extracted tests.
2019-03-15 17:23:20 +01:00
RPCSession.cpp
TestFramework: also output failed request
2019-04-04 16:39:15 +02:00
RPCSession.h
Shutdown IPC socket gracefully in RPCSession
2019-01-31 13:16:35 +00:00
solcjsTests.sh
Use master branch from solc-js.
2019-02-11 15:29:58 +01:00
TestCase.cpp
Unify parsing of simple test expectations and require lines to start with `//`.
2019-06-11 14:05:45 +02:00
TestCase.h
Unify parsing of simple test expectations and require lines to start with `//`.
2019-06-11 14:05:45 +02:00