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
22,691 Commits 348 Branches 121 Tags
forLoopSpecialCaseCodegenTest
Commit Graph
70 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Mathias L. Baumann 46b9df92b1 Update PPA instructions for Z3 in checklist 2022-09-08 20:39:37 +02:00
Mathias L. Baumann f2168c16b4 Merge pull request #13467 from ethereum/check-for-unqualified-move 
Add a check for unqualified move
 2022-09-05 16:49:52 +02:00
Mathias L. Baumann b2afe9f9dc Merge pull request #13457 from ethereum/checks 
Explained Checks-Effects-Interactions
 2022-08-30 15:20:53 +02:00
Mathias L. Baumann fa5ea38ab3 Merge pull request #13409 from tcoyvwac/fix/refactor/reduce-code-duplication-ast 
Reduce duplication in AST helpers for finding try/catch clauses
 2022-08-30 11:37:49 +02:00
Mathias L. Baumann 7fdd494da7 Merge pull request #13450 from ethereum/add_yul_exception_to_compiler_errors 
added yul exception to compiler error types
 2022-08-30 00:27:25 +02:00
Mathias L. Baumann 8ea483d532 Merge pull request #13449 from ethereum/fix-undefined-order-of-evaluation 
[Tiny] Fix undefined order of evaluation
 2022-08-29 17:35:36 +02:00
Mathias L. Baumann 2ddb26ad96 Merge pull request #13429 from sotatek-dev/fix/13421 
Fix warning about DOWNLOAD_EXTRACT_TIMESTAMP on CMake 3.24
 2022-08-29 15:52:56 +02:00
Mathias L. Baumann 5a3ae1a583 Merge pull request #13422 from ethereum/cleanup-z3-script 
Cleanup static z3 script to work similar to release_ppa
 2022-08-29 14:51:39 +02:00
Mathias L. Baumann c4d9cdf643 Merge pull request #13424 from ethereum/update-emscripten-dockerfile 
Update emscripten Dockerfile to 3.1.19
 2022-08-25 16:08:03 +02:00
Mathias L. Baumann a3de6cd60e Merge pull request #12762 from ethereum/emptyReturnRevert 
Optimize ``return(x,0) -> pop(x) return(0,0)`` (and also for ``revert``).
 2022-08-22 12:42:48 +02:00
Mathias L. Baumann 3497e2b2ec Merge pull request #13413 from ethereum/fix-spelling-ci 
Use long option for spellchecker in CI
 2022-08-18 17:48:55 +02:00
Mathias L. Baumann a229d7219b Merge pull request #13411 from ethereum/fix-spelling-ci 
Fix spelling mistakes and CI spellcheck job
 2022-08-18 15:26:59 +02:00
Mathias L. Baumann 86ab18c9af Merge pull request #13287 from ethereum/bettercmdlineHelp 
Document in ``solc --help`` usage of ``--metadata`` better.
 2022-08-18 13:00:33 +02:00
Mathias L. Baumann 63f8a93ca8 Merge pull request #13304 from ethereum/tmp-fix-zep 
Disable zeppelin tests that detect wrong revert reason
 2022-07-27 17:29:49 +02:00
Mathias L. Baumann e7c5f04464 Merge pull request #12681 from devtooligan/tweak/update-max-line-length 
tweak: update maximum line length
 2022-07-11 12:57:53 +02:00
Mathias L. Baumann 8d6b20f763 Merge pull request #13103 from ethereum/lsp-rename 
Lsp rename feature
 2022-07-08 15:01:37 +02:00
Mathias L. Baumann b2ac0dada4 Merge pull request #13210 from timweri/display_human_readable_type_name_in_conversion 
Display human readable type name in error messages
 2022-07-06 17:31:53 +02:00
Mathias L. Baumann b02f64818b Merge pull request #13096 from victorknox/develop 
Moved Keywords section from 'Cheatsheet' to 'Units and Globally Available Variables'
 2022-07-06 15:30:36 +02:00
Mathias L. Baumann 45f5616b12 Merge pull request #12679 from devtooligan/tweak/expand-collide-definition 
tweak: expand definition of suggested collision naming convention
 2022-07-06 15:04:40 +02:00
Mathias L. Baumann c8aed8c150 Merge pull request #13205 from ethereum/fix-stack-overflow-importing-large-AST-json-file 
Fix segmentation fault when  importing large AST from json file
 2022-07-05 18:56:38 +02:00
Mathias L. Baumann d4e2c2cc89 Merge pull request #13185 from ethereum/functionCall_locations 
Add location for parameter names in FunctionCall ASTNode
 2022-07-04 16:40:45 +02:00
Mathias L. Baumann 48669b4bec Merge pull request #13219 from ethereum/whiskers 
Add whiskers test for weird case
 2022-06-30 17:45:54 +02:00
Mathias L. Baumann 4e721273ed Merge pull request #13220 from fulldecent/patch-26 
Update naming of Mainnet
 2022-06-30 17:41:29 +02:00
Mathias L. Baumann 05496064fe Merge pull request #13189 from ethereum/fix-externalTests-script 
Enabled external tests to use relative paths to solc binary.
 2022-06-29 19:46:00 +02:00
Mathias L. Baumann b988d3ed37 Merge pull request #13184 from ethereum/memberAccess_locations 
Add location for member in MemberAccess ASTNode
 2022-06-29 19:25:57 +02:00
Mathias L. Baumann 2e334c30ae Merge pull request #13229 from ethereum/temp-fix-ext 
Fix external test ens
 2022-06-29 18:54:26 +02:00
Mathias L. Baumann 2397f09b79 Merge pull request #13182 from ethereum/identifierPath_declarations 
Add all path declarations in IdentifierPath annotation
 2022-06-27 12:35:50 +02:00
Mathias L. Baumann 9d72842635 Merge pull request #13163 from Ruko97/formatNumberReadable_signed_int 
formatNumberReadable now prints signed integers as well
 2022-06-27 12:31:32 +02:00
Mathias L. Baumann 3ed9a38abc Merge pull request #12966 from a3d4/fix-ice-structtype-nativemembers 
Fix ICE caused by an immutable struct with mapping
 2022-06-23 16:11:28 +02:00
Mathias L. Baumann 70ca05fd73 Merge pull request #13183 from ethereum/identifierPath_locations 
Add all path locations to the IdentifierPath ASTNode
 2022-06-23 14:39:41 +02:00
Mathias L. Baumann a2a88afd98 Merge pull request #13167 from ywon0925/ICE-isoltest 
Fix validation error causing ICE with isoltest --test
 2022-06-22 17:29:34 +02:00
Mathias L. BaumannandDamian Wechman 03409beb1d Update libsolidity/analysis/NameAndTypeResolver.h 
Co-authored-by: Damian Wechman <damian.wechman.it@gmail.com>
 2022-06-22 13:25:24 +02:00
Mathias L. Baumann 75300c32a8 Merge pull request #13170 from RohitKS7/develop 
fix: Typo
 2022-06-21 17:28:56 +02:00
Mathias L. Baumann cf1b9a5241 Merge pull request #13109 from sourabhxyz/develop 
Fix commandline tests not detecting a snippet with a broken free function definition
 2022-06-09 15:31:54 +02:00
Mathias L. Baumann 1dba6aafe4 Merge pull request #12981 from ethereum/update-static-z3 
Update version & distributions for static z3 script
 2022-05-05 16:20:56 +02:00
Mathias L. Baumann 0944e6853f Merge pull request #12899 from ethereum/lsp-publishDiagnostics-trace-helper 
Implements $/setTrace and uses trace logging.
 2022-04-05 14:24:18 +02:00
Mathias L. Baumann 6c06d27f00 Merge pull request #12839 from ethereum/lsp-test-fail-fast 
lsp.py: Adds --fail-fast (-f) to terminate early on first failure.
 2022-03-23 18:24:07 +01:00
Mathias L. Baumann c139d39b9b Merge pull request #12589 from ethereum/emit-immutable-references 
Emit immutable references for pure yul code
 2022-02-07 13:21:44 +01:00
Mathias L. Baumann b6dbfdf79b Merge pull request #12494 from ethereum/AST-ImportDirective-traversal-fix 
Adds missing accepts to ImportDirective's SymbolAlias::symbol.
 2022-01-24 13:27:00 +01:00
Mathias L. Baumann 40d3223bba Merge pull request #12565 from ethereum/ice-convert-string-bytes-11677 
Fix ICE when converting from calldata string to bytes
 2022-01-20 15:50:33 +01:00
Mathias L. Baumann 63b6bbe15c Merge pull request #12471 from ethereum/modifiers-control-flow-11483 
Properly generated control flows for inherited modifiers
 2022-01-06 13:39:50 +01:00
Mathias L. Baumann 9240368e39 Merge pull request #12269 from ethereum/fix-gitter-ci-notifications-for-non-pr-runs 
Fix gitter notifications for non-PR runs in CI
 2021-11-10 18:34:08 +01:00
Mathias L. Baumann d8d2c49f0a Merge pull request #12172 from ethereum/circleci-yul-phaser-artifact 
[CI] Store yul-phaser as an artifact
 2021-10-25 12:36:01 +02:00
Mathias L. Baumann 6bca154982 Merge pull request #12129 from ethereum/better-docu-modifier-backend-12063 
Enhance documentation in regards to modifiers and return
 2021-10-18 17:55:39 +02:00
Mathias L. Baumann 6d47168af2 Merge pull request #12140 from ethereum/partsOfLSP 
Trivialities needed by LSP
 2021-10-14 18:20:04 +02:00
Mathias L. Baumann b62de4f16d Merge pull request #10373 from ethereum/docfree 
Clarify access of free functions.
 2020-11-23 13:20:31 +01:00
Mathias L. Baumann 69a596b0ff Merge pull request #9418 from ethereum/stateMutForOverride 
Issue state mutability restriction for overriding and not for virtual functions.
 2020-07-20 15:01:25 +02:00
Mathias L. Baumann a7baa25b3c Make gitter chat more visible in main readme 2020-02-18 12:03:17 +01:00
Mathias L. Baumann c635377450 Merge pull request #8313 from ethereum/checkFunctionsExistInIsoltest 
Make type error fatal to prevent assert failure at later point
 2020-02-13 16:08:13 +01:00
Mathias L. Baumann bd54176c1a Merge pull request #8248 from ethereum/functionCallOptionFollowUp 
Fix function call option parsing and add to grammar.
 2020-02-05 18:01:54 +01:00
Mathias L. Baumann 5130a2b0ae Merge pull request #8063 from ethereum/yulvisit-7656 
Use yul::AstWalker for assembly reference resolving
 2020-01-29 14:56:19 +01:00
Mathias L. Baumann a2141d3be2 Merge pull request #7869 from fulldecent/fix-kill 
Reduce usage of word kill
 2020-01-07 16:01:04 +01:00
Mathias L. Baumann 20cf9d9fef Merge pull request #8038 from ethereum/statless-typechecker-7566 
Refactor PostTypeChecker into multiple classes per usecase
 2020-01-06 14:39:58 +01:00
Mathias L. Baumann c62e89d222 Merge pull request #7925 from ethereum/update-ast-export 
Sync & update JSON AST exporting according to AST changes
 2019-12-09 12:43:33 +01:00
Mathias L. Baumann a13416f4da Merge pull request #7882 from ethereum/libyul-assert 
Actually throw YulAssertion in yulAssert
 2019-12-03 17:39:22 +01:00
Mathias L. Baumann d29a87dfdc Merge pull request #7881 from ethereum/json-cleanup 
Removed non-strict JsonParse helpers
 2019-12-03 17:38:00 +01:00
Mathias L. Baumann a45eed6dbf Merge pull request #7584 from ethereum/callback-context 
Introduce callback context in libsolc
 2019-11-26 15:29:03 +01:00
Mathias L. Baumann 4e1b9d7f1b Merge pull request #7562 from ethereum/fix-signedness 
Fixes signedness (causes compilation failure on MSVC).
 2019-10-23 16:56:57 +02:00
Mathias L. Baumann 7e01696030 Merge pull request #7554 from ethereum/develop 
Merge develop into develop_060
 2019-10-21 17:05:12 +02:00
Mathias L. Baumann 25a3a83b34 Merge pull request #7233 from ethereum/override-5424 
Implement parsing of override keyword
 2019-08-26 18:12:28 +02:00
Mathias L. Baumann e1bb4b9f81 Merge pull request #7280 from ethereum/isoltest-empty-revert 
[isoltest] Support empty revert message
 2019-08-26 11:45:36 +02:00
Mathias L. Baumann 502bf01be2 Merge pull request #7278 from ethereum/develop 
Merge develop into develop_060
 2019-08-26 10:26:48 +02:00
Mathias L. Baumann 092e62f1c9 Merge pull request #7140 from ethereum/ci-binonic-gcc-7 
fix PPA comp. error and add ubuntu:bionic gcc-7 to CI to test for it.
 2019-07-30 11:16:41 +02:00
Mathias L. Baumann 2fdc07c55e Merge pull request #7145 from ethereum/smt_fix_tuples 
[SMTChecker] Fix ICE when inlining function with tuple expression
 2019-07-29 10:14:19 +02:00
Mathias L. Baumann 3b2ebba472 Merge pull request #7040 from ethereum/smt_context_vars 
[SMTChecker] SymbolicVariables use EncodingContext to declare SMT vars
 2019-07-04 09:46:28 +02:00
Mathias L. Baumann 44c774af4b Merge pull request #6911 from ethereum/asmCallTrailingComma 
AsmParser: Disallow trailing commas in function call arguments.
 2019-06-06 14:05:11 +02:00
Mathias L. Baumann 826f2d9084 Merge pull request #6502 from ethereum/fix-ifn-loop 
Fix infinite loop when encountering unexpected test specifications
 2019-04-11 15:23:40 +02:00
Mathias L. Baumann bf653b004e Merge pull request #6496 from ethereum/move-funcs-6479 
Move convert functions to Yul module
 2019-04-10 13:28:39 +02:00
Mathias L. Baumann 6eb0349b88 Merge pull request #6380 from ethereum/fix-wrong-error-output 
Fix throw in error output
 2019-03-26 12:32:19 +01:00
Mathias L. Baumann dce27bb452 Merge pull request #6370 from ethereum/more-info-after-ci-fail 
Provide more info when CI fails
 2019-03-25 16:08:16 +01:00