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
23,823 Commits 348 Branches 121 Tags
e7fe310bc29997a609eb94117c49816d4d662ffe
Commit Graph
23823 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Martin Blicha e7fe310bc2 Remove unnecessary header 2023-09-05 12:37:56 +02:00
Martin Blicha da2f4cb100 Try to parse values only for satisfiable answer 2023-09-05 12:37:56 +02:00
Martin Blicha efb0d4253c Use callback properly in SMTLib2 interface 2023-09-05 12:37:56 +02:00
Martin Blicha cabec89872 Removing SMT portfolio 2023-09-05 12:37:56 +02:00
Martin Blicha 1e190abf6e Initial work on unified way to interact with solvers 2023-09-05 12:37:56 +02:00
Daniel 16ae76cad7 Merge pull request #14533 from ethereum/fix-std-namespace-asan 
Fix missing std qualifier for ASAN
 2023-09-05 11:04:13 +02:00
Nikola Matic ae36323edb Fix missing std qualifier for ASAN 2023-09-05 08:49:23 +02:00
Daniel e43968599e Merge pull request #14468 from ethereum/push0-rematerializer-default-sequence 
Push0 rematerializer default sequence
 2023-09-04 19:27:33 +02:00
Nikola Matic fdc6699159 Rematerialize zero literals with default cleanup sequence 
Add unused pruner step to the end of the default cleanup sequence
 2023-09-04 15:40:33 +02:00
Daniel 1b8e792eb6 Merge pull request #14530 from ethereum/fix-oz-failing-test 
Fix failing OZ test
 2023-09-04 13:08:47 +02:00
Nikola Matic 76e0d81354 Fix failing OZ test 2023-09-04 12:23:12 +02:00
Nikola Matić 737c1abbdf Merge pull request #14525 from molecula451/purge-std 
deprecate using namespace std
 2023-09-04 11:02:15 +02:00
PaulandNikola Matić b3230b0bdc deprecate using namespace std 
test: updat filereader test

deprecate namespace std

deprecate namespace std

deprecate namespace std

deprecate namespace std

deprecate namespace std

deprecate namespace std

deprecate namespace std

deprecate namespace std

deprecated std namespace

deprecated std namespace

deprecated std namespace

deprecated std namespace

deprecated std namespace

deprecated std namespace

deprecated std namespace

deprecated std namespace

deprecated std namespace

depecrate namespace std

deprecated namespace std

check ci

clean line

Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>

purge line

pure line

deprecate std

deprecate std

deprecate std

deprecate std

deprecate std

deprecate

deprecate std

bye namespace
 2023-09-04 10:12:07 +02:00
Nikola Matić df03f1412d Merge pull request #14522 from junaire/purge-using-namespace-std-in-libyul 
Purge using namespace std in libyul
 2023-08-29 12:38:50 +02:00
Jun Zhang eff410eb74 Purge using namespace std in libyul 
Signed-off-by: Jun Zhang <jun@junz.org>
 2023-08-29 11:51:59 +02:00
Daniel 26912e0ee2 Merge pull request #14515 from junaire/bump-fmtlib-version 
Bump fmtlib to 9.1.0
 2023-08-28 17:24:20 +02:00
Nikola Matić 88b8368932 Merge pull request #14512 from junaire/yul-opt-kill-namespace-std 
Purge using namespace std from libyul/optimiser
 2023-08-28 16:01:03 +02:00
Jun Zhang c2362c3362 Purge using namespace std from libyul/optimiser 
Signed-off-by: Jun Zhang <jun@junz.org>
 2023-08-28 21:14:56 +08:00
Jun Zhang 2cf23e15d8 Bump fmtlib to 9.1.0 
In our downstream project, we have two dependencies: solidity and spdlog.
Both of them depend on fmtlib. Unfortunately, the versions of fmtlib they
use do not match, which leads to compilation failure.

The issue arises because spdlog attempts to use solidity's fmtlib, but the
specific version (v8.0.1) has a bug. Ref: https://github.com/gabime/spdlog/issues/2142

While we could keep this change in our own fork, we believe it would
be worthwhile to contribute it back to the upstream since spdlog is a
very popular logging library.

Signed-off-by: Jun Zhang <jun@junz.org>
 2023-08-28 13:58:56 +08:00
Nikola Matić 925bfeb24b Merge pull request #14513 from junaire/yul-backend-namespace-std 
Purge using namespace std from libyul/backends
 2023-08-28 07:56:38 +02:00
Jun Zhang 1ebdab43d8 Purge using namespace std from libyul/backends 
Signed-off-by: Jun Zhang <jun@junz.org>
 2023-08-24 11:12:52 +08:00
Daniel 37e18612c5 Merge pull request #14505 from ethereum/syntax-test-more-extension-points 
Make `SyntaxTest` easier to extend with custom expectations
 2023-08-23 18:48:37 +02:00
Kamil Śliwak e847596e39 CommonSyntaxTest: Add support for syntax tests with custom expectations in addition to expected errors 2023-08-23 18:00:01 +02:00
Kamil Śliwak c965d6332c SyntaxTest: Allow derived test cases to filter out warnings and infos 2023-08-23 18:00:01 +02:00
Kamil Śliwak 73b9077ab0 SyntaxTest: Default-initialize boolean fields without showing the value 
- These get re-initialized in constructor anyway. The only purpose if initializing here is our convention to always initialize primitive types at declaration time. We don't want to have to repeat the defaults though.
 2023-08-23 18:00:01 +02:00
Kamil Śliwak b1ead4af94 Order Error::Severity enum from most to least severe 
- Also reorder Error::Type to match initial values for some consistency
 2023-08-23 18:00:01 +02:00
Kamil Śliwak c5b81b66cd Define Error::severity() 2023-08-23 18:00:01 +02:00
Daniel 78b1f5acc2 Merge pull request #14511 from ethereum/semantic-tests-via-ir 
Semantic tests via IR
 2023-08-23 16:42:03 +02:00
Nikola Matić 589adee306 Merge pull request #14514 from junaire/solc-namespace-std 
Purge using namespace std from solc
 2023-08-23 10:57:05 +02:00
Jun Zhang 86ed964c6a Purge using namespace std from solc 
Signed-off-by: Jun Zhang <jun@junz.org>
 2023-08-23 16:12:26 +08:00
Kamil Śliwak 1bb596096b fixup! Change semantic tests to use the proper via IR pipeline, without rerunning on exceptions 2023-08-22 20:43:46 +02:00
Kamil Śliwak a4d777643d fixup! Change semantic tests to use the proper via IR pipeline, without rerunning on exceptions 2023-08-22 20:19:20 +02:00
Kamil Śliwak 38decf05dd Update gas expectations 2023-08-22 20:00:03 +02:00
Kamil Śliwak ffd495bd89 Increase gas in call_options_overload test to make it pass on homestead 
- After the test framework changes it fails via Yul on Homestead but passes on all other EVM versions and on legacy. The test itself does not seem to be testing these specific numbers so and increasing them resolves the problem.
 2023-08-22 20:00:03 +02:00
Daniel Kirchner b9db435684 Rerun SolidityEndToEndTest.cpp tests on stack errors. 2023-08-22 20:00:03 +02:00
Kamil Śliwak bc6d10f11d SemanticTest: Add a setting that explicitly states the minimal Yul optimization level that avoids "Stack too deep" 2023-08-22 20:00:00 +02:00
Daniel Kirchner 8e9496eb8b Change semantic tests to use the proper via IR pipeline, without rerunning on exceptions 2023-08-22 19:58:31 +02:00
Kamil Śliwak 60b18a13d2 Merge pull request #14507 from ethereum/circleci-config-commands 
Refactor CircleCI config to define proper commands for reused fragments
 2023-08-22 17:36:11 +02:00
Kamil Śliwak af6d7793fb CI: Remove redundant ./ prefixes from script invocation and path arguments 2023-08-22 15:51:13 +02:00
Kamil Śliwak 97f206ea89 CI: Add persist_executables_to_workspace_osx 2023-08-22 15:47:22 +02:00
Kamil Śliwak ccf2896594 CI: Remove store_artifacts_solc_windows 
- For consistency: other things are also hard-coded in the Windows jobs
 2023-08-22 15:47:22 +02:00
Kamil Śliwak e57581e730 CI: Convert multi-step templates into proper commands 2023-08-22 15:47:22 +02:00
Kamil Śliwak 3d9f633bcd CI: Convert artifact templates to commands 2023-08-22 15:47:22 +02:00
Kamil Śliwak d0dc9e7af0 CI: Convert single-step templates into proper commands 2023-08-22 15:47:22 +02:00
Kamil Śliwak a442f0608a CI: Remove store_test_results to make naming less confusing 2023-08-22 15:47:22 +02:00
Daniel 06b003b23c Merge pull request #14504 from Saw-mon-and-Natalie/fix-known-state-typo 
fixed a typo in `KnownState.h`
 2023-08-22 15:21:34 +02:00
Saw-mon & Natalie 9ae42aab4c fixed a typo in KnownState.h 2023-08-22 14:37:11 +02:00
Kamil Śliwak c703b5cd8c Merge pull request #14479 from ethereum/remove-error-recovery 
Remove parser error recovery mode
 2023-08-22 12:47:06 +02:00
Kamil Śliwak 9adbced98e Remove parser error recovery mode 2023-08-22 12:00:11 +02:00
Daniel c96db51013 Merge pull request #14309 from ethereum/astPropertyTests 
AST Property tests
 2023-08-21 19:21:20 +02:00