solidity

cerc-io/solidity

Fork 0

You've already forked solidity

mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00

Code Issues Actions Packages Projects Releases Wiki Activity

Compare commits

base: cerc-io:develop

Branches Tags

cerc-io:develop

cerc-io:syntactic-call-graph

cerc-io:import-asm-json-updated

cerc-io:fix-data-flow-analyzer-inconsistent-variable-clearing

cerc-io:fix-isoltest-info-color

cerc-io:indent-refactor

cerc-io:new-analysis-class-body-visitation-pass

cerc-io:newAnalysis

cerc-io:experimental-codegen-IRvariables

cerc-io:forLoopSpecialCaseCodegen

cerc-io:dominator

cerc-io:transient-store

cerc-io:import-asm-json-updated-2

cerc-io:event-docs-corrections

cerc-io:new-analysis-crashes

cerc-io:absolute-path-tests

cerc-io:type-inference-bytecodecompare-fix

cerc-io:osx-cache

cerc-io:smtlib-interface-for-everything

cerc-io:yulopti-object-support

cerc-io:push0-optimisations

cerc-io:preserve-zero-literal-assignment-in-cse-for-push0

cerc-io:import-asm-json-updated-original

cerc-io:check-style-for-using-namespace-std

cerc-io:astTransform

cerc-io:cvc5

cerc-io:remove-machine-enum

cerc-io:evmjson-import-via-standard-json

cerc-io:disable-stack-allocation-with-no-optimize-yul

cerc-io:dataflow-analyzer-reverse-lookup

cerc-io:smt_default_timeout

cerc-io:stackShufflingPerformance

cerc-io:literal-suffix-docs

cerc-io:literal_suffix_functions_smt_tests

cerc-io:literal_suffix_functions

cerc-io:disable-prb-math-and-gp2-external-tests

cerc-io:disallow-immutable-initialization-in-for-loops-and-ternaries

cerc-io:update-colony-ext-test

cerc-io:NunoFilipeSantos-patch-2

cerc-io:changelog-v0.8.20

cerc-io:smallRevertOptimization

cerc-io:NunoFilipeSantos-patch-1

cerc-io:explicitly-optimize-ir-twice

cerc-io:do-not-optimize-twice-via-ir

cerc-io:cleanup-base-images

cerc-io:import-asm-json-updated-with-abstract-assembly-stack

cerc-io:jsoncpp-1.9.5

cerc-io:command-line

cerc-io:disallow-literal-suffix-overloading

cerc-io:more_restrictive_shellcheck

cerc-io:reverse-lookup-in-data-flow-analyzer

cerc-io:literal_suffix_functions_fix_external_tests

cerc-io:add-extra-test-case-for-event-natspec

cerc-io:dedeuplicate-subassembly

cerc-io:immutable-variables-style

cerc-io:rollback-to-2004

cerc-io:stdlib

cerc-io:hotfix-release-ppa

cerc-io:user-defined-operators-for-structs

cerc-io:cleanup-osx-install-deps-script

cerc-io:boost-version-docs-fix

cerc-io:boost-1.78

cerc-io:recursive_directory_iterator_deprecation_fix

cerc-io:use-directory-options-instead-of-deprecated-symlink-option

cerc-io:eof-functions-test

cerc-io:eof-functions

cerc-io:eof-functions-bak

cerc-io:improveDataFlow

cerc-io:fixing-unicode-splitting

cerc-io:rjump

cerc-io:eof1-container-test

cerc-io:eof1-container

cerc-io:ci-eof

cerc-io:eip663

cerc-io:forves

cerc-io:report-stale-triaged-issues

cerc-io:fix-unicode-splitting

cerc-io:fix-yul-interpreter-overlapping-memory-writes

cerc-io:add_parser_support_for_code_data_location

cerc-io:cse_opti_review

cerc-io:fix-lsp-uri-decoding

cerc-io:nlohmann-json

cerc-io:lsp-constrain-features

cerc-io:lsp-find-all-refs

cerc-io:move-nonstruct-test

cerc-io:paris-oh-paris

cerc-io:using-operators

cerc-io:event_and_error_selectors_allowed_to_be_constants

cerc-io:import-asm-json

cerc-io:emscripten-builder

cerc-io:forLoopSpecialCaseCodegenTest

cerc-io:lsp-trace-logfile

cerc-io:abi_emmited_events

cerc-io:breaking

cerc-io:patch-1

cerc-io:cli-logo

cerc-io:smtComp2023

cerc-io:array_literals_for_dynamic_arrays

cerc-io:disallow-contract-operators-11700

cerc-io:literal_suffix_functions_disallowed_return_values

cerc-io:fixInheritedReturnsPrivateFunction

cerc-io:disable-failing-gnosis-tests

cerc-io:ternary_operator_type_deduction

cerc-io:updateWindowsCIImage

cerc-io:ui

cerc-io:ensBackToMaster

cerc-io:fix-chainlink-ext-test

cerc-io:emptyReturnRevert2

cerc-io:smtComp

cerc-io:stdlib2

cerc-io:var_ids

cerc-io:customKnowledgeBase

cerc-io:inline_array_with_utf8

cerc-io:benchmark-with-0.8.14-binary

cerc-io:deferByteArrayIndexAccess

cerc-io:fix_invalid_options_mode_combinations

cerc-io:revert-13048-moving-operator-precedence

cerc-io:remove-workarounds-ethers562-getStorageAt

cerc-io:smt_selfdestruct

cerc-io:smt_selfdestruct_eld_cex

cerc-io:smt_eldarica_cex

cerc-io:circleci-release-binaries

cerc-io:combinedSolver

cerc-io:update-static_z3.sh

cerc-io:fullSMT

cerc-io:dl_solver

cerc-io:debugWindowsTest

cerc-io:memcopy-precompile

cerc-io:syntaxtest-add-locationstring-to-error-message

cerc-io:use_vcpkg

cerc-io:deltaLP

cerc-io:import-export-script

cerc-io:sparseVectorImpl

cerc-io:cdcl

cerc-io:rationalSolver

cerc-io:improvedDataFlow

cerc-io:lsp_solcjs

cerc-io:asm-json-import

cerc-io:terminationInOptimizer

cerc-io:creationSubAssemblyOptimization

cerc-io:redundantStoreEliminator

cerc-io:lpsolvergen

cerc-io:cosmeticSafeLoopDepth

cerc-io:fuzzCombinedSolver

cerc-io:ninja-ci

cerc-io:modernize-wasm-rebuild

cerc-io:simplex

cerc-io:lpsolver

cerc-io:hardhat-on-nodejs-16

cerc-io:newCodegen2

cerc-io:solc-js-test

cerc-io:checkStackToMemoryExternal

cerc-io:update-breaking

cerc-io:ext-test-benchmark-on-memcopy-precompile

cerc-io:lspSetIncludePaths

cerc-io:refactorFileReader

cerc-io:improvedCodeForMod

cerc-io:pylint-multicore

cerc-io:moveEncodeToCPP

cerc-io:lsp-experimental

cerc-io:lsp-related-refactors-1

cerc-io:unusedStoreEliminator

cerc-io:asm-json-reimport

cerc-io:clang-tidy

cerc-io:multicore-soltest-sh

cerc-io:optimize-ci-resource-class-small

cerc-io:optimize-ci-resource-class-medium

cerc-io:optimize-ci-resource-class-xlarge

cerc-io:optimize-ci-resource-class-large

cerc-io:optimize-ci

cerc-io:tmp-test-updated-ext-colony

cerc-io:colors

cerc-io:circleci-config-base-image-refactor

cerc-io:forwardUserDefined

cerc-io:separate-control-flow-from-error-reporting-in-CommandLineParser

cerc-io:type-cast-err-msg

cerc-io:asm-immutable-refs-mathias

cerc-io:functionOutliner

cerc-io:fixedConversionFunctionImpl

cerc-io:fixedConversionRules

cerc-io:fixBreaking

cerc-io:function-type-packed-test

cerc-io:fix-layout-user-defined

cerc-io:origin-location-in-yul-ast-json

cerc-io:flexibleArrayLiterals

cerc-io:yulDataFlowGraph

cerc-io:update-ossfuzz-ci

cerc-io:cli-standardjson

cerc-io:newCodeTransformWithSetting

cerc-io:soltestViaIR

cerc-io:some_test_gas

cerc-io:avoidNeedlessPopping

cerc-io:fixedDoc

cerc-io:fixed_point_abi

cerc-io:fuzzYulEVMCodeTransformStep4

cerc-io:fixedSemanticTests

cerc-io:smt_no_arrays_datatypes

cerc-io:fixedPointValidation

cerc-io:fixedPointCodegen

cerc-io:fixedPointTypes2

cerc-io:smt_enabled_killed_tests

cerc-io:noUtilityForViaIR

cerc-io:visualizeStackTooDeep

cerc-io:ParserBase-virtual-dtor

cerc-io:immutable-notice

cerc-io:irCodegenBinaryOperatorEvaluationOrder

cerc-io:newCodeGeneratorWithExpressionSplitter

cerc-io:fuzz-codegens

cerc-io:add-magic-stmts

cerc-io:add-for-stmt

cerc-io:add-break-continue

cerc-io:add-while-stmt

cerc-io:add-nested-if-stmt

cerc-io:add-if-stmt

cerc-io:add-expr-stmt

cerc-io:debug-memory-leaks

cerc-io:add-rvalue-expressions

cerc-io:add-contract-inheritance

cerc-io:add-assign-ops

cerc-io:add-function-calls

cerc-io:add-assignment-stmt

cerc-io:remove-smt-pragma

cerc-io:add-block-stmt

cerc-io:add-function-io

cerc-io:add-types

cerc-io:resolve-imports

cerc-io:add-function

cerc-io:add-contract

cerc-io:add-source-state

cerc-io:fuzz-input

cerc-io:add-try-catch-stmt

cerc-io:cmake-options

cerc-io:ninja-crashes-here

cerc-io:cache-definedFunction

cerc-io:use-panics

cerc-io:path-resolution-docs-current-state

cerc-io:bytecode_builtin

cerc-io:spdx

cerc-io:testfile-scanner

cerc-io:commonSwitchPrefixMover

cerc-io:safe_contracts_smt_checker_segfault

cerc-io:respectMemoryModelRevertReasonFunction

cerc-io:redundantStoreRemover

cerc-io:MemoryStoreRemover

cerc-io:ewasm-polyfill-keccak

cerc-io:eof1

cerc-io:multiple-visits-children

cerc-io:yulSourceLocations

cerc-io:fuzz-fakestackevader

cerc-io:fuzz-stackevaderdevelop

cerc-io:returnSlotAllocation2

cerc-io:returndatasizeAsZero

cerc-io:more-function-params

cerc-io:evm-yul-diff-fuzzing

cerc-io:custom-mutation

cerc-io:windows_build_errors

cerc-io:testBuildFailure

cerc-io:allocateMemoryForDeployedCode

cerc-io:optim-divmul-to-shift

cerc-io:is-swap-worth-optimizing

cerc-io:isoltest-builtin-returntype

cerc-io:osxBinaries

cerc-io:fix-use-canonical

cerc-io:fuzz-via-ir

cerc-io:function-call-graph

cerc-io:customErrorsSyntax

cerc-io:customErrors

cerc-io:smtchecker_openzepplin_ICE_test

cerc-io:pragma-fine-tune-solgen

cerc-io:catchCustomErrors

cerc-io:opensmt

cerc-io:MemoryLoadResolver

cerc-io:fix-9676-refactoring

cerc-io:fuzzDiffIR

cerc-io:codecov

cerc-io:smt-selfdestruct

cerc-io:fullSSATransform

cerc-io:experimental-mloadresolver

cerc-io:refactor-prepare-report

cerc-io:fix-external-tests-add-fake-vyper

cerc-io:ewasm-bytecode-compare

cerc-io:nonOverlappingMemory

cerc-io:develop_7

cerc-io:isoltest-balance2

cerc-io:readFromStorageArraySol2Yul

cerc-io:readFromStorageRefSol2Yul

cerc-io:managedMemory

cerc-io:fix-9288

cerc-io:fix-10397

cerc-io:enablev2bydefault

cerc-io:unused-return-parameter-pruner

cerc-io:consteval-arith-0

cerc-io:top-level-exception-handlers

cerc-io:consteval-arith

cerc-io:rulelist-dsl-comment

cerc-io:exprstmtfnucall

cerc-io:issue-7627-yul

cerc-io:releaseBranchCircleCIConfig

cerc-io:moveFunctionArgumentsToMemory

cerc-io:stackLimitEvaderRefactor4

cerc-io:stackLimitEvaderRefactor3

cerc-io:isStateScopeCheckBreaking

cerc-io:panic

cerc-io:interface-assert

cerc-io:antlr-wip

cerc-io:parallelsolcjs

cerc-io:antlr4-mutator

cerc-io:SolRegexpMutator

cerc-io:breaking_8

cerc-io:fuzz-imports

cerc-io:limit-expressions

cerc-io:errtype

cerc-io:subroutines

cerc-io:refactorSubtypecheck

cerc-io:fix-9308

cerc-io:solc-osc-8

cerc-io:ethpm3Metadata

cerc-io:evmc-hera-circleci

cerc-io:refactorRevertReasonIfDebug

cerc-io:error-type

cerc-io:interface-import

cerc-io:evm384-v3

cerc-io:evm384-v2

cerc-io:evm384

cerc-io:solProtoDag

cerc-io:assemblycleanupfuzzer

cerc-io:add-inline-assembly

cerc-io:sol-cast-semantics

cerc-io:solProto

cerc-io:warn-inheritance-order

cerc-io:assignTypesInOptimizer

cerc-io:add-multivardecl-and-dummy-exps

cerc-io:terminate-with-dot

cerc-io:limit-recursive-for-loops

cerc-io:limit-number-of-functions

cerc-io:useCalldataCopyForSelector

cerc-io:solc-fuzzer-add-yuloptimizer

cerc-io:abiv2fuzzer-with-holesv2

cerc-io:abiv2fuzzer-with-holes

cerc-io:yul-format

cerc-io:makeMSizeConstant

cerc-io:blockOutlining

cerc-io:makeConstantOptimiserUsableForYul

cerc-io:valgrind-bits

cerc-io:valueConstraints

cerc-io:identifiers2

cerc-io:inheritanceCleanup

cerc-io:type-identifiers

cerc-io:v0.8.21

cerc-io:v0.8.20

cerc-io:v0.8.19

cerc-io:v0.8.18

cerc-io:v0.8.17

cerc-io:v0.8.16

cerc-io:v0.8.15

cerc-io:v0.8.14

cerc-io:v0.8.13

cerc-io:v0.8.12

cerc-io:v0.8.11

cerc-io:v0.8.10

cerc-io:v0.8.9

cerc-io:v0.8.8

cerc-io:v0.8.7

cerc-io:v0.8.6

cerc-io:v0.8.5

cerc-io:v0.8.4

cerc-io:v0.8.3

cerc-io:v0.8.2

cerc-io:v0.8.1

cerc-io:v0.8.0

cerc-io:v0.7.6

cerc-io:v0.7.5

cerc-io:prerelease-0.8.0

cerc-io:preview-0.8.x

cerc-io:preview-0.8.0

cerc-io:v0.7.4

cerc-io:v0.7.3

cerc-io:v0.7.2

cerc-io:v0.7.1

cerc-io:v0.7.0

cerc-io:v0.6.12

cerc-io:v0.6.11

cerc-io:v0.6.10

cerc-io:v0.6.9

cerc-io:v0.6.8

cerc-io:v0.6.7

cerc-io:v0.6.6

cerc-io:v0.6.5

cerc-io:v0.5.17

cerc-io:v0.6.4

cerc-io:v0.6.3

cerc-io:v0.6.2

cerc-io:v0.6.1

cerc-io:v0.5.16

cerc-io:v0.6.0

cerc-io:v0.5.15

cerc-io:v0.5.14

cerc-io:v0.5.13

cerc-io:v0.5.12

cerc-io:v0.5.11

cerc-io:v0.5.10

cerc-io:v0.5.9

cerc-io:v0.5.8

cerc-io:v0.4.26

cerc-io:v0.5.7

cerc-io:v0.5.6

cerc-io:v0.5.5

cerc-io:v0.5.4

cerc-io:v0.5.3

cerc-io:v0.5.2

cerc-io:v0.5.1

cerc-io:v0.5.0

cerc-io:v0.4.25

cerc-io:v0.4.24

cerc-io:v0.4.23

cerc-io:v0.4.22

cerc-io:blareleasee

cerc-io:v0.4.21

cerc-io:v0.4.20

cerc-io:v0.4.19

cerc-io:v0.4.18

cerc-io:v0.4.17

cerc-io:v0.4.16

cerc-io:v0.4.15

cerc-io:v0.4.14

cerc-io:v0.4.13

cerc-io:v0.4.12

cerc-io:v0.4.11

cerc-io:v0.0.3

cerc-io:testrelease3

cerc-io:v0.0.2

cerc-io:testrelese

cerc-io:v0.4.10

cerc-io:v0.4.9

cerc-io:v0.4.8

cerc-io:0.4.8

cerc-io:test2

cerc-io:test

cerc-io:v0.4.7

cerc-io:untagged-3024eaee36d028412763

cerc-io:untagged-27b6b8c17c231218d703

cerc-io:v0.4.6

cerc-io:untagged-eb67220b6c6b5ba404ca

cerc-io:untagged-ac13667a0597c2802196

cerc-io:v0.4.5

cerc-io:v0.4.4

cerc-io:v0.4.3

cerc-io:v0.4.2

cerc-io:v0.4.1

cerc-io:v0.4.0

cerc-io:v0.3.6

cerc-io:v0.3.5

cerc-io:v0.3.4

cerc-io:v0.3.3

cerc-io:v0.3.2

cerc-io:v0.3.1

cerc-io:v0.3.0

cerc-io:v0.2.2

cerc-io:v0.2.1

cerc-io:untagged-ff7b0e94b20e6d64965b

cerc-io:untagged-24465e90214f721b8ea9

cerc-io:testrelease2

cerc-io:v0.2.0

cerc-io:v0.1.7

cerc-io:v0.1.6

cerc-io:v0.1.5

cerc-io:v0.1.4

cerc-io:v0.1.3

cerc-io:v0.1.2

...

compare: cerc-io:v0.8.16